Search
Search Funnelback University
- Refined by:
- Date: 2024
1 -
10 of
74
search results for `Peter Watson`
Fully-matching results
-
Remembering Professor Peter Watson (1930-2017) | Queens' College
https://www.queens.cam.ac.uk/life-at-queens/news-and-events/remembering-professor-peter-watson-1930-201724 Jul 2024: Remembering Professor Peter Watson (1930-2017). Wednesday, 8 February 2017. We are sad to announce that Professor Peter Watson (1950 and Fellow Commoner) has passed away after a long illness. ... Peter Watson came up to Queens' after National Service as -
Computer Laboratory: Résumé for Professor Simon Moore
https://www.cl.cam.ac.uk/~swm11/resume/index.html23 Jun 2024: M. Watson, Peter G. Neumann and Simon W. Moore. Randomized Testing of RISC-V CPUs using Direct Instruction Injection. ... Robert N.M. Watson, Peter G. Neumann Jonathan Woodruff, Jonathan Anderson, Ross Anderson, Nirav Dave, Ben Laurie, Simon W. -
Department of Computer Science and Technology: Timothy M. Jones:…
https://www.cl.cam.ac.uk/~tmj32/papers/2 May 2024: Theodore Markettos, Alfredo Mazzinghi, Robert M. Norton, Michael Roe, Peter Sewell, Stacey Son, Timothy M. ... Hongyan Xia, Jonathan Woodruff, Sam Ainsworth, Nathaniel W. Filardo, Michael Roe, Alexander Richardson, Peter Rugg, Peter G. -
Peter Sewell
https://www.cl.cam.ac.uk/~pes20/23 May 2024: Robert N. M. Watson, Peter Sewell, and William Martin. The Next Wave (The National Security Agency's review of emerging technologies), 4(1):10--21, 2023. ... M. Watson, and Peter Sewell. In ESOP 2022. [ Relaxed virtual memory in Armv8-A. -
Simon Moore | Department of Computer Science and Technology
https://www.cst.cam.ac.uk/people/swm1122 Jul 2024: Open Access) DIO: 10.1109/FPL.2019.00066. Brooks Davis, Robert N. M. Watson, Alexander Richardson, Peter G. ... Moore, Peter G. Neumann, Ben Laurie, Robert N.M. Watson. CHERI JNI: Sinking the Java security model into the C. -
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. ... Robert N. M. Watson, Peter G. Neumann, Jonathan Woodruff, Michael Roe, Hesham Almatary, Jonathan Anderson, John Baldwin, Graeme Barnes, David Chisnall, Jessica Clarke, -
Memorial Service for Peter Watson: 26 May 2017 | Queens' College
https://www.queens.cam.ac.uk/life-at-queens/news-and-events/memorial-service-for-peter-watson-26-may-201724 Jul 2024: Memorial Service for Peter Watson: 26 May 2017. Friday, 19 May 2017. ... A Memorial Service for Peter Watson will be held at 12.30pm on Friday 26th May 2017 at the University Church of Great St Mary's Church, Cambridge. -
Peter Sewell: group bibliography by date
https://www.cl.cam.ac.uk/~pes20/papers/sewellandgroupbib2.html23 May 2024: Robert N. M. Watson, Peter Sewell, and William Martin. The Next Wave (The National Security Agency's review of emerging technologies), 4(1):10--21, 2023. ... Robert N. M. Watson, Peter G. Neumann, Jonathan Woodruff, Michael Roe, Hesham Almatary, -
Peter Sewell: group bibliography, by topic
https://www.cl.cam.ac.uk/~pes20/papers/topics.html23 May 2024: Robert N. M. Watson, Peter Sewell, and William Martin. The Next Wave (The National Security Agency's review of emerging technologies), 4(1):10--21, 2023. ... Robert N. M. Watson, Peter G. Neumann, Jonathan Woodruff, Michael Roe, Hesham Almatary, -
Formal Mechanised Semantics of CHERI C: Capabilities, Provenance, and …
https://www.cl.cam.ac.uk/~pes20/recent.html23 May 2024: Robert N. M. Watson, Peter Sewell, and William Martin. The Next Wave (The National Security Agency's review of emerging technologies), 4(1):10--21, 2023. ... M. Watson, and Peter Sewell. In ESOP 2022. [ Relaxed virtual memory in Armv8-A.
Search history
Recently clicked results
Recently clicked results
Your click history is empty.
Recent searches
Recent searches
Your search history is empty.