Search

Search Funnelback University

Search powered by Funnelback
41 - 50 of 145 search results for `Robert Watson`
  1. Fully-matching results

  2. 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. ... B. F. Gomes and Brooks Davis and Stephen Kell and Alexander Richardson and Robert N.
  3. Dr Robert Kingsley | Cambridge Infectious Diseases

    https://www.infectiousdisease.cam.ac.uk/directory/rak%40sanger.ac.uk
    19 Jul 2024: Gilchrist,. Melita A. Gordon,. Adam F. Cunningham,. Mark Cobbold, Margaret Goodall, Robert A. ... Quail, Mark Stevens, Michael A  Jones, Michael Watson, Andy Barron, Abigail Layton, Derek Pickard, Robert A.
  4. Department of Computer Science and Technology: CHERI Software Stack

    https://www.cl.cam.ac.uk/research/security/ctsrd/cheri/cheri-software.html
    22 Feb 2024: 2010-2019 Robert N. M. Watson. Information provided by Robert Watson.
  5. Isla: Integrating full-scale ISA semantics and axiomatic concurrency…

    https://www.cl.cam.ac.uk/~pes20/papers/topic.ISA_semantics.html
    23 May 2024: Alasdair Armstrong, Thomas Bauereiss, Brian Campbell, Alastair Reid, Kathryn E. Gray, Robert M. ... Alasdair Armstrong, Thomas Bauereiss, Brian Campbell, Shaked Flur, Kathryn E. Gray, Prashanth Mundkur, Robert M.
  6. Department of Computer Science and Technology: CHERI-QEMU

    https://www.cl.cam.ac.uk/research/security/ctsrd/cheri/cheri-qemu.html
    22 Feb 2024: 2019 Robert N. M. Watson. Information provided by Robert Watson.
  7. Department of Computer Science and Technology: CHERI Mailing Lists

    https://www.cl.cam.ac.uk/research/security/ctsrd/cheri/cheri-lists.html
    22 Feb 2024: 2010-2019 Robert N. M. Watson. Information provided by Robert Watson.
  8. Department of Computer Science and Technology: CHERI-CPU Slack

    https://www.cl.cam.ac.uk/research/security/ctsrd/cheri/cheri-slack.html
    22 Feb 2024: Please email cheri-slack@cl.cam.ac.uk to request an invitation. 2010-2019 Robert N. M. ... Watson. Information provided by Robert Watson.
  9. PhDs Examined

    https://www.cl.cam.ac.uk/~jac22/students-examined.htm
    28 May 2024: PhDs Examined. In US terms, this is students whose committee I was on, but for whom I wasn't the advisor. Weimin Weng, Reading, 1993. Stephen Wright, Ulster, 1995. Isabelle Chrisment, Nice/INRIA, 1996. Claude Castelluccia, Nice/INRIA, oct 1998.
  10. Department of Computer Science and Technology: SOSP 2023 - CHERI…

    https://www.cl.cam.ac.uk/research/security/ctsrd/cheri/workshops/2023sosp/
    1 May 2024: 2016-2021 Robert N. M. Watson. Information provided by Robert Watson.
  11. Department of Computer Science and Technology: CHERI-WebKit

    https://www.cl.cam.ac.uk/research/security/ctsrd/cheri/cheri-webkit.html
    22 Feb 2024: cheribuild morello-webkit-morello-purecap --test. 2010-2019 Robert N. M. Watson. Information provided by Robert Watson.

Refine your results

Format

Search history

Recently clicked results

Recently clicked results

Your click history is empty.

Recent searches

Recent searches

Your search history is empty.