Search
Search Funnelback University
- Refined by:
- Date: Past 3 months
11 -
30 of
134
search results for watson
Fully-matching results
-
Kayvan Memarian
https://www.cl.cam.ac.uk/~km569/21 Apr 2024: Watson, and Peter Sewell. In ASPLOS 2024. [11] CN: Verifying Systems C Code with Separation-Logic Refinement Types. ... Kayvan Memarian, Justus Matthiesen, James Lingard, Kyndylan Nienhuis, David Chisnall, Robert N. M. Watson and Peter Sewell. In -
N3005: A Provenance-aware Memory Object Model for C. Working ...
https://www.cl.cam.ac.uk/~pes20/papers/topic.WG14.html23 May 2024: Watson, and Peter Sewell. In PLDI 2016, PLDI 2016 Distinguished Paper award. [ ... M. Watson. ISO SC22 WG14 N2013, March 2016. [ N2012: Clarifying the C memory object model, Kayvan Memarian and Peter Sewell. -
Department of Computer Science and Technology – Course pages 2023–24: …
https://www.cl.cam.ac.uk/teaching/2324/AOS/10 May 2024: Course pages 2023–24. Advanced Operating Systems. Advanced Operating Systems. Principal lecturer: Prof Robert Watson. ... Marshall Kirk McKusick, George V. Neville-Neil, and Robert N. M. Watson. -
Department of Computer Science and Technology – Course pages 2023–24: …
https://www.cl.cam.ac.uk/teaching/2324/L341/10 May 2024: Course pages 2023–24. Advanced Operating Systems. Advanced Operating Systems. Principal lecturer: Prof Robert Watson. ... Marshall Kirk McKusick, George V. Neville-Neil, and Robert N. M. Watson. -
topic.cheri.bib
https://www.cl.cam.ac.uk/~pes20/papers/topic.cheri_bib.html23 May 2024: techreport{UCAM-CL-TR-927, author = {Watson, Robert N. M. and Neumann, Peter G. ... Norton and Moore, Simon W. and Neumann, Peter G. and Ian Stark and Watson, Robert N. -
https://entrepreneurship.blog.jbs.cam.ac.uk/tag/science/feed/
https://entrepreneurship.blog.jbs.cam.ac.uk/tag/science/feed/14 May 2024: of-futures-thinking/ https://entrepreneurship.blog.jbs.cam.ac.uk/2022/11/20/introducing-the-4ps-model-of-futures-thinking/#respond Richard Watson Sun, 20 Nov 2022 11:00:00 0000 ... p pemRichard Watson, Futurist in Residence, Cambridge Judge -
N3005: A Provenance-aware Memory Object Model for C. Working ...
https://www.cl.cam.ac.uk/~pes20/papers/topic.WG14_abstracts.html23 May 2024: Watson, and Peter Sewell. In PLDI 2016, PLDI 2016 Distinguished Paper award. ... M. Watson. ISO SC22 WG14 N2013, March 2016. [. N2012: Clarifying the C memory object model, Kayvan Memarian and Peter Sewell. -
John O'Neill - MRC Laboratory of Molecular Biology
https://www2.mrc-lmb.cam.ac.uk/group-leaders/n-to-s/john-oneill/26 Mar 2024: Cell). Watson et al. (2023). -
Department of Computer Science and Technology: CHERI-RISC-V
https://www.cl.cam.ac.uk/research/security/ctsrd/cheri/cheri-risc-v.html1 May 2024: 2010-2019 Robert N. M. Watson. Information provided by Robert Watson. -
Department of Computer Science and Technology: SOSP 2023 - CHERI…
https://www.cl.cam.ac.uk/research/security/ctsrd/cheri/workshops/2023sosp/1 May 2024: 2016-2021 Robert N. M. Watson. Information provided by Robert Watson. -
topic.WG14.bib
https://www.cl.cam.ac.uk/~pes20/papers/topic.WG14_bib.html23 May 2024: M. Watson}, title = {N2013: C memory object and value semantics: the space of de facto and {ISO} standards}, howpublished = {ISO SC22 WG14 N2013}, optnote = ... Watson and Peter Sewell }, title = {Into the depths of {C}: elaborating the de facto standards -
Royal Society Awards - MRC Laboratory of Molecular Biology
https://www2.mrc-lmb.cam.ac.uk/achievements/royal-society-awards/16 May 2024: Royal Society Awards & Honours The Royal Society is a Fellowship of the world's most eminent scientists and is the oldest scientific academy in -
Department of Computer Science and Technology: ASPLOS 2022 - CHERI…
https://www.cl.cam.ac.uk/research/security/ctsrd/cheri/workshops/2022asplos/1 May 2024: 2016-2021 Robert N. M. Watson. Information provided by Robert Watson. -
Department of Computer Science and Technology – Course pages 2023–24: …
https://www.cl.cam.ac.uk/teaching/2324/OpSystems/10 May 2024: Addison-Wesley. McKusick, M.K., Neville-Neil, G.N. and Watson, R.N.M. (2014) The Design and Implementation of the FreeBSD Operating System. -
Department of Computer Science and Technology: Academic staff
https://www.cl.cam.ac.uk/people/academic.html12 Jun 2024: Search site. Academic staff. Department of Computer Science and Technology. Academic staff. Telephone and email directory. Telephone:. UK prefix:. 01223. International:. 44 1223. University network:. drop prefix 3- or 7-. Email:. -
Department of Computer Science and Technology: DSbD All Hands October …
https://www.cl.cam.ac.uk/research/security/ctsrd/cheri/workshops/2022.10dsbd/1 May 2024: M. Watson. Information provided by Robert Watson. -
Department of Computer Science and Technology: CHERITech'24…
https://www.cl.cam.ac.uk/research/security/ctsrd/cheri/workshops/2024cheritech/posters.html1 May 2024: 2024-2024 Robert N. M. Watson. Information provided by Robert Watson. -
CN: Verifying systems C code with separation-logic refinement types.…
https://www.cl.cam.ac.uk/~pes20/papers/topic.Cerberus_abstracts.html23 May 2024: M. Watson, and Peter Sewell. In POPL 2019, Proc. ACM Program. ... Watson, and Peter Sewell. In PLDI 2016, PLDI 2016 Distinguished Paper award. -
Department of Computer Science and Technology – Security Group:…
https://www.cl.cam.ac.uk/research/security/project-ideas.html3 May 2024: Security Group. Project ideas. The members of our group regularly supervise the CST Part II and Part III / MPhil ACS projects of local students. Several have web pages with suggestions for potential project topics:. Academic staff:. via CTSRD project -
PhDs Examined
https://www.cl.cam.ac.uk/~jac22/students-examined.htm28 May 2024: PhDs Examined. In US terms, this is students whose committee I was on, but for whom I wasn't the advisor. Weimin Weng, Reading, 1993. Stephen Wright, Ulster, 1995. Isabelle Chrisment, Nice/INRIA, 1996. Claude Castelluccia, Nice/INRIA, oct 1998.
Search history
Recently clicked results
Recently clicked results
Your click history is empty.
Recent searches
Recent searches
Your search history is empty.