Search
Search Funnelback University
- Refined by:
- Date: Past 3 months
1 -
10 of
24
search results for `James Watson`
Fully-matching results
-
Formal Mechanised Semantics of CHERI C: Capabilities, Provenance, and …
https://www.cl.cam.ac.uk/~pes20/papers/topic.cheri.html23 May 2024: Brooks Davis, Robert N. M. Watson, Alexander Richardson, Peter G. Neumann, Simon W. ... Kayvan Memarian, Justus Matthiesen, James Lingard, Kyndylan Nienhuis, David Chisnall, Robert N.M. -
Academy of Medical Sciences - MRC Laboratory of Molecular Biology
https://www2.mrc-lmb.cam.ac.uk/achievements/academy-medical-sciences/21 May 2024: Academy of Medical Sciences The Academy of Medical Sciences is an independent body in the UK that represents the diverse spectrum of medical science –
-
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 -
Department of Computer Science and Technology: Alexandre Joannou
https://www.cl.cam.ac.uk/~aj443/22 May 2024: Brooks Davis, Robert N. M. Watson, Alexander Richardson, Peter G. Neumann, Simon W. ... Moore, John Baldwin, David Chisnall, James Clarke, Nathaniel Wesley Filardo, Khilan Gudka, Alexandre Joannou, Ben Laurie, A. -
Computer Laboratory: Résumé for Professor Simon Moore
https://www.cl.cam.ac.uk/~swm11/resume/index.html23 Jun 2024: PhD thesies:. James Roy Bulpin. Operating Systems Support for Simultaneous Multithreaded Processors, 2004. ... M. Watson Robert Norton, Jonathan Woodruff, Alexandre Joannou, Simon W. Moore, Peter G. -
Peter Sewell: group bibliography, by topic
https://www.cl.cam.ac.uk/~pes20/papers/topics.html23 May 2024: Brooks Davis, Robert N. M. Watson, Alexander Richardson, Peter G. Neumann, Simon W. ... Kayvan Memarian, Justus Matthiesen, James Lingard, Kyndylan Nienhuis, David Chisnall, Robert N.M. -
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
-
Peter Sewell: group bibliography by date
https://www.cl.cam.ac.uk/~pes20/papers/sewellandgroupbib2.html23 May 2024: Brooks Davis, Robert N. M. Watson, Alexander Richardson, Peter G. Neumann, Simon W. ... Kayvan Memarian, Justus Matthiesen, James Lingard, Kyndylan Nienhuis, David Chisnall, Robert N.M. -
N3005: A Provenance-aware Memory Object Model for C. Working ...
https://www.cl.cam.ac.uk/~pes20/papers/topic.WG14.html23 May 2024: Kayvan Memarian, Justus Matthiesen, James Lingard, Kyndylan Nienhuis, David Chisnall, Robert N.M. ... M. Watson. ISO SC22 WG14 N2013, March 2016. [ N2012: Clarifying the C memory object model, Kayvan Memarian and Peter Sewell. -
CN: Verifying systems C code with separation-logic refinement types.…
https://www.cl.cam.ac.uk/~pes20/papers/topic.Cerberus.html23 May 2024: Kayvan Memarian, Justus Matthiesen, James Lingard, Kyndylan Nienhuis, David Chisnall, Robert N.M. ... Watson, and Peter Sewell. In PLDI 2016, PLDI 2016 Distinguished Paper award.
Search history
Recently clicked results
Recently clicked results
Your click history is empty.
Recent searches
Recent searches
Your search history is empty.