Search
Search Funnelback University
- Refined by:
- Date: Past 6 months
11 -
20 of
32
search results for `John Watson`
Fully-matching results
-
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: The Digital…
https://www.cl.cam.ac.uk/research/security/ctsrd/cheri/dsbd.html22 Feb 2024: M. Watson, Alexander Richardson, Peter G. Neumann, Simon W. Moore, John Baldwin, David Chisnall, Jessica Clarke, Nathaniel Wesley Filardo, Khilan Gudka, Alexandre Joannou, Ben Laurie, A. ... Moore, Alex Bradbury, Hongyan Xia, Robert N. M. Watson, David -
Formal Mechanised Semantics of CHERI C: Capabilities, Provenance, and …
https://www.cl.cam.ac.uk/~pes20/papers/topic.cheri_abstracts.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 -
https://www.medschl.cam.ac.uk/tag/mrc-laboratory-of-molecular-biology/…
https://www.medschl.cam.ac.uk/tag/mrc-laboratory-of-molecular-biology/feed/23 Feb 2024: This was housed in the Cavendish Laboratory where the Department of Physics had its home, and it was were Max Perutz and John Kendrew developed the use of X-ray diffraction ... ten Nobel Prizes, including Fred Sanger (1958 and 1980), Max Perutz and John -
Department of Computer Science and Technology: EuroSys 2016 - CHERI…
https://www.cl.cam.ac.uk/research/security/ctsrd/cheri/workshops/2016eurosys/1 May 2024: Robert N. M. Watson (University of Cambridge). Simon W. Moore (University of Cambridge). ... John Redford (Broadcom). 2016-2021 Robert N. M. Watson. Information provided by Robert Watson. -
Alastair Beresford---Curriculum Vitae
https://www.cl.cam.ac.uk/~arb33/cv/27 May 2024: Jointly with Prof. Anderson and Dr Watson. (2014--2018). Further Java a second-year course teaching the Java language. ... 23 Jeremy Cohen, Robin North, Steven Wilkins, John Darlington, Yike Guo, Neil Hoose, Yajie Ma, John Polak, Visalakshmi Suresh, Paul -
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. ... project = {}, topic = {cheri}, optcheriformal = {false}, elver = {true}, optrecent = {true} }.. @techreport{UCAM-CL-TR-947, author = {Watson, Robert N. M. and Richardson, -
elver.bib
https://www.cl.cam.ac.uk/~pes20/elver_bib.html23 May 2024: Norton and Moore, Simon W. and Neumann, Peter G. and Ian Stark and Watson, Robert N. ... topic = {Power_and_ARM}, optrecent = {true}, elver = {true}, project = {}, pdf = {}, errata = {} }.. @techreport{UCAM-CL-TR-947, author = {Watson, Robert N. M. and -
Formal Mechanised Semantics of CHERI C: Capabilities, Provenance, and …
https://www.cl.cam.ac.uk/~pes20/elver_abstracts.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 -
https://www.medschl.cam.ac.uk/category/newsletter/newsletter-issue-21/…
https://www.medschl.cam.ac.uk/category/newsletter/newsletter-issue-21/feed/23 Feb 2024: Systems’. This was housed in the Cavendish Laboratory where the Department of Physics had its home, and it was were Max Perutz and John Kendrew developed the use of X-ray ... ten Nobel Prizes, including Fred Sanger (1958 and 1980), Max Perutz and John
Refine your results
clear all
Date
Search history
Recently clicked results
Recently clicked results
Your click history is empty.
Recent searches
Recent searches
Your search history is empty.