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 151 search results for 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 Robert Norton, Jonathan Woodruff, Alexandre Joannou, Simon W. Moore, Peter G. ... M. Watson. Thunderclap: Exploring Vulnerabilities in Operating-System IOMMU Protection from Untrustworthy Peripherals.

  3. Cambridge on World Environment Day 2024

    https://www.cam.ac.uk/stories/environmentday-research
    Thumbnail for Cambridge on World Environment Day 2024 5 Jun 2024: Image 1. Photo by Spencer Watson on Unsplash.

  4. Peter Sewell

    https://www.cl.cam.ac.uk/~pes20/
    23 May 2024: M. Watson. Blog post,, July 2022. [ Islaris: Verification of Machine Code Against Authoritative ISA Semantics. ... M. Watson, and Peter Sewell. In ESOP 2022. [ Relaxed virtual memory in Armv8-A.

  5. 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. ... Xi'an, China, April 8–12, 2017. Robert N.M. Watson, Robert M. Norton, Jonathan Woodruff, Simon W.

  6. £9.2m boost for next generation of Cambridge cancer experts |…

    https://www.cam.ac.uk/news/ps9-2m-boost-for-next-generation-of-cambridge-cancer-experts
    Thumbnail for £9.2m boost for next generation of Cambridge cancer experts | University of Cambridge 9 Apr 2024: Caroline Watson. The charity is to award the funding over the next five years to train early-career clinician scientists – doctors who also carry out medical research - as part of its ... Dr Watson said: “As we age, we all acquire mutations in the
    By: @cambridge_uni

  7. Peter Sewell: group bibliography by date

    https://www.cl.cam.ac.uk/~pes20/papers/sewellandgroupbib2.html
    23 May 2024: M. Watson, and Peter Sewell. In ESOP 2022. [ Relaxed virtual memory in Armv8-A. ... Brooks Davis, Robert N. M. Watson, Alexander Richardson, Peter G. Neumann, Simon W.

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

    https://www.cl.cam.ac.uk/~pes20/papers/topic.cheri.html
    23 May 2024: Brooks Davis, Robert N. M. Watson, Alexander Richardson, Peter G. Neumann, Simon W. ... A. Theodore Markettos, Robert N. M. Watson, Simon W. Moore, Peter Sewell, and Peter G.

  9. Peter Sewell: group bibliography, by topic

    https://www.cl.cam.ac.uk/~pes20/papers/topics.html
    23 May 2024: Brooks Davis, Robert N. M. Watson, Alexander Richardson, Peter G. Neumann, Simon W. ... A. Theodore Markettos, Robert N. M. Watson, Simon W. Moore, Peter Sewell, and Peter G.

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

    https://www.cl.cam.ac.uk/~pes20/recent.html
    23 May 2024: M. Watson. Blog post,, July 2022. [ Islaris: Verification of Machine Code Against Authoritative ISA Semantics. ... M. Watson, and Peter Sewell. In ESOP 2022. [ Relaxed virtual memory in Armv8-A.

  11. ELVER

    https://www.cl.cam.ac.uk/~pes20/index-elver.html
    23 May 2024: M. Watson, and Peter Sewell. In ESOP 2022. [ Relaxed virtual memory in Armv8-A. ... Brooks Davis, Robert N. M. Watson, Alexander Richardson, Peter G. Neumann, Simon W.

  12. Computer Laboratory: Simon Moore

    https://www.cl.cam.ac.uk/~swm11/
    8 Jul 2024: There is also a follow-on talk from Dr Watson on CHERI - Architecture support for memory protection and compartmentalisation [YouTube Video]. ... September 2017 - Talk at ARM Research Summit - Winning the War in Memory - [YouTube Video] and follow-on

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

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

  15. Department of Computer Science and Technology – Course pages 2023–24: …

    https://www.cl.cam.ac.uk/teaching/2324/AOS/
    10 May 2024: Course pages 2023–24. Advanced Operating Systems. Advanced Operating Systems. Principal lecturer: Prof Robert Watson. ... Marshall Kirk McKusick, George V. Neville-Neil, and Robert N. M. Watson.

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

  17. Department of Computer Science and Technology – Course pages 2023–24: …

    https://www.cl.cam.ac.uk/teaching/2324/L341/
    10 May 2024: Course pages 2023–24. Advanced Operating Systems. Advanced Operating Systems. Principal lecturer: Prof Robert Watson. ... Marshall Kirk McKusick, George V. Neville-Neil, and Robert N. M. Watson.

  18. Department of Computer Science and Technology: Timothy M. Jones:…

    https://www.cl.cam.ac.uk/~tmj32/papers/
    2 May 2024: Watson. IEEE Symposium on Security and Privacy (S&P), May 2020. Published version on Software Prefetching for Unstructured Mesh Applications. ... Neumann, Simon W. Moore, Robert N. M. Watson and Timothy M.

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

  20. elver.bib

    https://www.cl.cam.ac.uk/~pes20/elver_bib.html
    23 May 2024: optrecent = {true}, elver = {true} }.. @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.

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

Refine your results

Format

clear all

Date

Related searches for watson

By type

By topic

By site

Search history

Recently clicked results

Recently clicked results

Your click history is empty.

Recent searches

Recent searches

Your search history is empty.