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 - 10 of 32 search results for `Thomas Watson`

  1. Fully-matching results

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

    https://www.cl.cam.ac.uk/research/security/ctsrd/cheri/cheriformal.html
    2 Nov 2023: M. Watson, and Peter Sewell. In ESOP 2022. [ CHERI C/C++ Programming Guide. ... Brooks Davis, Robert N. M. Watson, Alexander Richardson, Peter G. Neumann, Simon W.

  3. Christopher Pulte

    https://www.cl.cam.ac.uk/~cp526/
    18 Jul 2023: Makwana, Thomas Sewell, Kayvan Memarian, Peter Sewell, Neel Krishnaswami. Accepted for publication in POPL 2023. ... 2018. (Cambridge repository). ISA Semantics for ARMv8-A, RISC-V, and CHERI-MIPS. Alasdair Armstrong, Thomas Bauereiss, Brian Campbell,

  4. Donors - Churchill Archives Centre

    https://archives.chu.cam.ac.uk/support-us/donors/
    3 May 2023: David Rockefeller. Thomas J. Watson Jr. John Hay Whitney. John G.

  5. Department of Computer Science and Technology – Course pages 2017–18: …

    https://www.cl.cam.ac.uk/teaching/1718/lecturers.html
    26 Jun 2023: Course pages 2017–18. Contents. Index of courses by lecturer. Please check the official timetables for timetable details. Easter,Lent,Michaelmas,Michaelmas,Lent,Easter,Michaelmas,Lent,Pre-arrival,Michaelmas,Michaelmas,Lent,Easter,Michaelmas,

  6. CHERI Rigorous Engineering

    https://www.cl.cam.ac.uk/research/security/ctsrd/cheri/cheri-formal-b.html
    3 Nov 2023: M. Watson, and Peter Sewell. In ESOP 2022. [ CHERI C/C++ Programming Guide. ... Brooks Davis, Robert N. M. Watson, Alexander Richardson, Peter G. Neumann, Simon W.

  7. Department of Computer Science and Technology: Security-Oriented…

    https://www.cl.cam.ac.uk/research/security/ctsrd/soaap/
    10 Jul 2023: Robert N. M. Watson, Steven J. Murdoch, Khilan Gudka, Jonathan Anderson, Peter G. ... Khilan Gudka, Robert N. M. Watson, Steven Hand, Ben Laurie, and Anil Madhavapeddy.

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

    https://www.cl.cam.ac.uk/research/security/ctsrd/cheri/cheriformal_abstracts.html
    2 Nov 2023: Brooks Davis, Robert N. M. Watson, Alexander Richardson, Peter G. Neumann, Simon W. ... Alasdair Armstrong, Thomas Bauereiss, Brian Campbell, Alastair Reid, Kathryn E. Gray, Robert M.

  9. cheriformal.bib

    https://www.cl.cam.ac.uk/research/security/ctsrd/cheri/cheriformal_bib.html
    2 Nov 2023: techreport{UCAM-CL-TR-927, author = {Watson, Robert N. M. and Neumann, Peter G. ... and Esswood, Lawrence and Stark, Ian and Barnes, Graeme and Watson, Robert N.

  10. Former Vice-Chancellors | University of Cambridge

    https://www.cam.ac.uk/about-the-university/how-the-university-and-colleges-work/people/vice-chancellor/former-vice-chancellors
    26 May 2023: CC. 1472-75. Thomas Stoyle (again). 1475, 76. William Towne. 1485. Thomas Tuppin. ... Sir Thomas Smith. Vice-President Q. 1545. John Madew. Regius Prof. of Divinity.

  11. Curriculum VitaePeter Michael Sewell October 4, 2023…

    https://www.cl.cam.ac.uk/~pes20/cv.pdf
    4 Oct 2023: PI, jointwith Robert Watson and Simon Moore. 2019 Google DeepMind donation, £ 250 000. ... Brooks Davis, Robert N. M. Watson, Alexander Richardson, Peter G.Neumann, Simon W.

Refine your results

Format

clear all

Date

Related searches for `Thomas 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.