Search
Search Funnelback University
- Refined by:
- Date: Past year
1 -
10 of
79
search results for `David Watson`
Fully-matching results
-
Computer Laboratory: Résumé for Professor Simon Moore
https://www.cl.cam.ac.uk/~swm11/resume/index.html23 Jun 2024: Refereed Conference Papers. Robert N.M. Watson, David Chisnall, Jessica Clarke, Brooks Davis, N.W. ... Jonathan Woodruff, Robert N. M. Watson, David Chisnall, Simon W. Moore, Jonathan Anderson, Brooks Davis, Ben Laurie, Peter G. -
Formal Mechanised Semantics of CHERI C: Capabilities, Provenance, and …
https://www.cl.cam.ac.uk/~pes20/papers/topic.cheri.html23 May 2024: Robert N. M. Watson, Alexander Richardson, Brooks Davis, John Baldwin, David Chisnall, Jessica Clarke, Nathaniel Filardo, Simon W. ... Robert N. M. Watson, Peter G. Neumann, Jonathan Woodruff, Michael Roe, Hesham Almatary, Jonathan Anderson, John -
Department of Computer Science and Technology – CTSRD: Publications
https://www.cl.cam.ac.uk/research/security/ctsrd/publications.html2 Mar 2024: Jonathan Anderson, Robert N. M. Watson, David Chisnall, Khilan Gudka, Brooks Davis, and Ilias Marinos. ... M. Watson, David Chisnall, Michael Roe, Brooks Davis, Edward Napierala, John Baldwin, Khilan Gudka, Peter G. -
Department of Computer Science and Technology: Alexandre Joannou
https://www.cl.cam.ac.uk/~aj443/22 May 2024: Moore, Alex Bradbury, Hongyan Xia, Robert N. M. Watson, David Chisnall, Michael Roe, Brooks Davis, Edward Napierala, John Baldwin, Khilan Gudka, Peter G. ... Robert N. M. Watson, Peter G. Neumann, Jonathan Woodruff, Michael Roe, Hesham Almatary, Jonathan -
Department of Computer Science and Technology: Bluespec Extensible…
https://www.cl.cam.ac.uk/research/security/ctsrd/beri/10 Jul 2023: Audience choice: Best presentation award.). Jonathan Woodruff, Robert N. M. Watson, David Chisnall, Simon W. ... Current CHERI ISA specification. Robert N. M. Watson, David Chisnall, Brooks Davis, Wojciech Koszek, Simon W. -
Peter Sewell: group bibliography, by topic
https://www.cl.cam.ac.uk/~pes20/papers/topics.html23 May 2024: Robert N. M. Watson, Alexander Richardson, Brooks Davis, John Baldwin, David Chisnall, Jessica Clarke, Nathaniel Filardo, Simon W. ... Robert N. M. Watson, Peter G. Neumann, Jonathan Woodruff, Michael Roe, Hesham Almatary, Jonathan Anderson, John -
Department of Computer Science and Technology: CHERI Publications
https://www.cl.cam.ac.uk/research/security/ctsrd/cheri/cheri-publications.html2 Mar 2024: Audience choice: Best presentation award.). Jonathan Woodruff, Robert N. M. Watson, David Chisnall, Simon W. ... M. Watson, David Chisnall, Michael Roe, Brooks Davis, Edward Napierala, John Baldwin, Khilan Gudka, Peter G. -
Peter Sewell: group bibliography by date
https://www.cl.cam.ac.uk/~pes20/papers/sewellandgroupbib2.html23 May 2024: Robert N. M. Watson, Alexander Richardson, Brooks Davis, John Baldwin, David Chisnall, Jessica Clarke, Nathaniel Filardo, Simon W. ... Robert N. M. Watson, Peter G. Neumann, Jonathan Woodruff, Michael Roe, Hesham Almatary, Jonathan Anderson, John -
Formal Mechanised Semantics of CHERI C: Capabilities, Provenance, and …
https://www.cl.cam.ac.uk/research/security/ctsrd/cheri/cheriformal.html2 Nov 2023: Robert N. M. Watson, Alexander Richardson, Brooks Davis, John Baldwin, David Chisnall, Jessica Clarke, Nathaniel Filardo, Simon W. ... Robert N. M. Watson, Peter G. Neumann, Jonathan Woodruff, Michael Roe, Hesham Almatary, Jonathan Anderson, John -
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
Search history
Recently clicked results
Recently clicked results
Your click history is empty.
Recent searches
Recent searches
Your search history is empty.