Search
Search Funnelback University
- Refined by:
- Date: Past year
1 -
10 of
48
search results for `Thomas Watson`
Fully-matching results
-
Peter Sewell
https://www.cl.cam.ac.uk/~pes20/23 May 2024: Christopher Pulte, Dhruv C. Makwana, Thomas Sewell, Kayvan Memarian, Peter Sewell, and Neel Krishnaswami. ... M. Watson, and Peter Sewell. In ESOP 2022. [ Relaxed virtual memory in Armv8-A. -
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. ... Alasdair Armstrong, Thomas Bauereiss, Brian Campbell, Alastair Reid, Kathryn E. Gray, Robert M. -
Formal Mechanised Semantics of CHERI C: Capabilities, Provenance, and …
https://www.cl.cam.ac.uk/~pes20/recent.html23 May 2024: Christopher Pulte, Dhruv C. Makwana, Thomas Sewell, Kayvan Memarian, Peter Sewell, and Neel Krishnaswami. ... M. Watson, and Peter Sewell. In ESOP 2022. [ Relaxed virtual memory in Armv8-A. -
Contact the Alumni & Development Team - Trinity Hall Cambridge
https://www.trinhall.cam.ac.uk/alumni/contact-us/16 May 2024: Donna Thomas-Watson. Philanthropy Officer. e: donna.thomas-watson@trinhall.cam.ac.uk. -
Peter Sewell: group bibliography by date
https://www.cl.cam.ac.uk/~pes20/papers/sewellandgroupbib2.html23 May 2024: Oskar Abrahamsson, Magnus O. Myreen, Ramana Kumar, and Thomas Sewell. In ITP 2022. [ ... Terpstra, Matt Thomas, Tommy Thorn, Caroline Trippel, Ray VanDeWalker, Muralidaran Vijayaraghavan, Megan Wachs, Andrew Waterman, Robert Watson, Derek Williams, -
ELVER
https://www.cl.cam.ac.uk/~pes20/index-elver.html23 May 2024: Brooks Davis, Robert N. M. Watson, Alexander Richardson, Peter G. Neumann, Simon W. ... Alasdair Armstrong, Thomas Bauereiss, Brian Campbell, Alastair Reid, Kathryn E. Gray, Robert M. -
Formal Mechanised Semantics of CHERI C: Capabilities, Provenance, and …
https://www.cl.cam.ac.uk/research/security/ctsrd/cheri/cheriformal.html2 Nov 2023: M. Watson, and Peter Sewell. In ESOP 2022. [ CHERI C/C++ Programming Guide. ... Brooks Davis, Robert N. M. Watson, Alexander Richardson, Peter G. Neumann, Simon W. -
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. ... Alasdair Armstrong, Thomas Bauereiss, Brian Campbell, Alastair Reid, Kathryn E. Gray, Robert M. -
Isla: Integrating full-scale ISA semantics and axiomatic concurrency…
https://www.cl.cam.ac.uk/~pes20/papers/topic.ISA_semantics_abstracts.html23 May 2024: Alasdair Armstrong, Thomas Bauereiss, Brian Campbell, Alastair Reid, Kathryn E. Gray, Robert M. ... Alasdair Armstrong, Thomas Bauereiss, Brian Campbell, Shaked Flur, Kathryn E. Gray, Prashanth Mundkur, Robert M. -
cheriformal.bib
https://www.cl.cam.ac.uk/research/security/ctsrd/cheri/cheriformal_bib.html2 Nov 2023: techreport{UCAM-CL-TR-927, author = {Watson, Robert N. M. and Neumann, Peter G. ... and Esswood, Lawrence and Stark, Ian and Barnes, Graeme and Watson, Robert N.
Search history
Recently clicked results
Recently clicked results
Your click history is empty.
Recent searches
Recent searches
Your search history is empty.