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 30 search results for `Peter Watson`

  1. Fully-matching results

  2. Computer Laboratory: Résumé for Professor Simon Moore

    https://www.cl.cam.ac.uk/~swm11/resume/index.html
    23 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.

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

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

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

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

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

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

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

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

    https://www.cl.cam.ac.uk/~pes20/papers/topic.WG14.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.

  12. topic.cheri.bib

    https://www.cl.cam.ac.uk/~pes20/papers/topic.cheri_bib.html
    23 May 2024: techreport{UCAM-CL-TR-927, author = {Watson, Robert N. M. and Neumann, Peter G. ... Norton and Moore, Simon W. and Neumann, Peter G. and Ian Stark and Watson, Robert N.

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

  14. 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},

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

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

  19. sewellandgroupbib2.bib

    https://www.cl.cam.ac.uk/~pes20/papers/sewellandgroupbib2_bib.html
    23 May 2024: author = {Peter M. Sewell}, title = {Bisimulation is Not Finitely (First-Order) Equationally Axiomatisable}, conf = {LICS 1994}, booktitle = {Proceedings of the 9th IEEE Symposium on Logic in Computer Science (Paris)}, year = {1994}, ... topic =

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

    https://www.cl.cam.ac.uk/~pes20/papers/topic.cheri_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,

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

    https://www.cl.cam.ac.uk/~pes20/papers/topic.ISA_semantics_abstracts.html
    23 May 2024: M. Watson, and Peter Sewell. In ESOP 2022. [Memory safety bugs continue to be a major source of security vulnerabilities in our critical infrastructure. ... Christopher Pulte, Shaked Flur, Will Deacon, Jon French, Susmit Sarkar, and Peter Sewell.

Refine your results

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.