Search

Search Funnelback University

Search powered by Funnelback
10 results 20 results 50 results
Relevance Date (Newest first) Date (Oldest first) Title (A-Z) Title (Z-A) Distance URL (A-Z) URL (Z-A) Shuffle
1 - 20 of 83 search results for `Peter Watson`

  1. Fully-matching results

  2. 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,

  3. 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.

  4. Formal Mechanised Semantics of CHERI C: Capabilities, Provenance, and …

    https://www.cl.cam.ac.uk/~pes20/papers/topic.cheri.html
    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. ... Robert N. M. Watson, Peter G. Neumann, Jonathan Woodruff, Michael Roe, Hesham Almatary,

  5. Peter Sewell: group bibliography by date

    https://www.cl.cam.ac.uk/~pes20/papers/sewellandgroupbib2.html
    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. ... Robert N. M. Watson, Peter G. Neumann, Jonathan Woodruff, Michael Roe, Hesham Almatary,

  6. Peter Sewell: group bibliography, by topic

    https://www.cl.cam.ac.uk/~pes20/papers/topics.html
    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. ... Robert N. M. Watson, Peter G. Neumann, Jonathan Woodruff, Michael Roe, Hesham Almatary,

  7. Formal Mechanised Semantics of CHERI C: Capabilities, Provenance, and …

    https://www.cl.cam.ac.uk/~pes20/recent.html
    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.

  8. Department of Computer Science and Technology – CTSRD: Publications

    https://www.cl.cam.ac.uk/research/security/ctsrd/publications.html
    2 Mar 2024: Boston, MA, USA, November 5-8, 2017. Robert N. M. Watson, Peter G. ... Robert N. M. Watson, Peter G. Neumann, Jonathan Woodruff, Jonathan Anderson, Ross Anderson, Nirav Dave, Ben Laurie, Simon W.

  9. ELVER

    https://www.cl.cam.ac.uk/~pes20/index-elver.html
    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. ... Robert N. M. Watson, Peter G. Neumann, Jonathan Woodruff, Michael Roe, Hesham Almatary,

  10. N3005: A Provenance-aware Memory Object Model for C. Working ...

    https://www.cl.cam.ac.uk/~pes20/papers/topic.WG14_abstracts.html
    23 May 2024: Watson, and Peter Sewell. In PLDI 2016, PLDI 2016 Distinguished Paper award. ... M. Watson. ISO SC22 WG14 N2013, March 2016. [. N2012: Clarifying the C memory object model, Kayvan Memarian and Peter Sewell.

  11. Department of Computer Science and Technology – Technical reports:…

    https://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-951.html
    7 Nov 2023: PDF (3.3 MB). BibTeX record. @TechReport{UCAM-CL-TR-951, author = {Watson, Robert N. M. ... and Neumann, Peter G. and Woodruff, Jonathan and Roe, Michael and Almatary, Hesham and Anderson, Jonathan and Baldwin, John and Barnes, Graeme and Chisnall,

  12. topic.WG14.bib

    https://www.cl.cam.ac.uk/~pes20/papers/topic.WG14_bib.html
    23 May 2024: Watson and Peter Sewell }, title = {Into the depths of {C}: elaborating the de facto standards}, abstract = { C remains central to our computing infrastructure. ... M. Watson and Peter Sewell}, title = {Exploring {C} Semantics and Pointer Provenance},

  13. Department of Computer Science and Technology – Technical reports:…

    https://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-987.html
    21 Sep 2023: BibTeX record. @TechReport{UCAM-CL-TR-987, author = {Watson, Robert N. M. and Neumann, Peter G. ... Theodore and Moore, Simon W. and Murdoch, Steven J. and Nienhuis, Kyndylan and Norton, Robert and Richardson, Alexander and Rugg, Peter and Sewell, Peter

  14. Curriculum VitaePeter Michael Sewell October 4, 2023…

    https://www.cl.cam.ac.uk/~pes20/cv.pdf
    4 Oct 2023: Robert N. M. Watson, Peter G. Neumann, Jonathan Woodru, Michael Roe, HeshamAlmatary, Jonathan Anderson, John Baldwin, Graeme Barnes, David Chisnall, Jessica Clarke,Brooks Davis, Lee Eisen, Nathaniel Wesley Filardo, Richard Grisenthwaite, ... Robert N. M.

  15. Isla: Integrating full-scale ISA semantics and axiomatic concurrency…

    https://www.cl.cam.ac.uk/~pes20/papers/topic.ISA_semantics.html
    23 May 2024: M. Watson, and Peter Sewell. In ESOP 2022. [ Isla: Integrating full-scale ISA semantics and axiomatic concurrency models. ... Christopher Pulte, Shaked Flur, Will Deacon, Jon French, Susmit Sarkar, and Peter Sewell.

  16. CN: Verifying systems C code with separation-logic refinement types.…

    https://www.cl.cam.ac.uk/~pes20/papers/topic.Cerberus_abstracts.html
    23 May 2024: M. Watson, and Peter Sewell. In POPL 2019, Proc. ACM Program. ... Watson, and Peter Sewell. In PLDI 2016, PLDI 2016 Distinguished Paper award.

  17. Department of Computer Science and Technology: Capability Hardware…

    https://www.cl.cam.ac.uk/research/security/ctsrd/cheri/
    22 Feb 2024: Watson (University of Cambridge), Simon W. Moore (University of Cambridge), Peter Sewell (University of Cambridge), Brooks Davis (SRI International), and Peter Neumann (SRI International). ... Peter G. Neumann, the San Jose Mercury News's Bruce Newman

  18. topic.Cerberus.bib

    https://www.cl.cam.ac.uk/~pes20/papers/topic.Cerberus_bib.html
    23 May 2024: Watson and Peter Sewell }, title = {Into the depths of {C}: elaborating the de facto standards}, abstract = { C remains central to our computing infrastructure. ... M. Watson and Peter Sewell}, title = {Exploring {C} Semantics and Pointer Provenance},

  19. Department of Computer Science and Technology: CTSRD

    https://www.cl.cam.ac.uk/research/security/ctsrd/
    31 Oct 2023: M. Watson (University of Cambridge), Simon W. Moore (University of Cambridge), Peter Sewell (University of Cambridge), Brooks Davis (SRI International) and Peter Neumann (SRI International). ... New York Times, October 2012: article on Dr Peter G.

  20. Formal Mechanised Semantics of CHERI C: Capabilities, Undefined…

    https://www.cl.cam.ac.uk/~pes20/asplos24spring-paper110.pdf
    2 Nov 2023: Edinburgh, UKIan.Stark@ed.ac.uk. Robert N. M. WatsonUniversity of Cambridge. Cambridge, UKRobert.Watson@cl.cam.ac.uk. Peter SewellUniversity of Cambridge. ... M. Watson, and Peter Sewell. 2024. For-mal Mechanised Semantics of CHERI C: Capabilities,

  21. sewellandgroupbib2

    https://www.cl.cam.ac.uk/~pes20/papers/sewellandgroupbib2_abstracts.html
    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. ... Robert N. M. Watson, Peter G. Neumann, Jonathan Woodruff, Michael Roe, Hesham Almatary,

Refine your results

Format

clear all

Date

Related searches for `Peter Watson`

By site

Search history

Recently clicked results

Recently clicked results

Your click history is empty.

Recent searches

Recent searches

Your search history is empty.