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
21 - 30 of 78 search results for `David Watson`

  1. Fully-matching results

  2. 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: Kayvan Memarian, Justus Matthiesen, James Lingard, Kyndylan Nienhuis, David Chisnall, Robert N.M. ... M. Watson. ISO SC22 WG14 N2013, March 2016. [. N2012: Clarifying the C memory object model, Kayvan Memarian and Peter Sewell.

  3. 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: Kayvan Memarian, Justus Matthiesen, James Lingard, Kyndylan Nienhuis, David Chisnall, Robert N.M. ... Watson, and Peter Sewell. In PLDI 2016, PLDI 2016 Distinguished Paper award.

  4. recent.bib

    https://www.cl.cam.ac.uk/~pes20/recent_bib.html
    23 May 2024: M. Watson}, title = {Formal {CHERI}: rigorous engineering and design-time proof of full-scale architecture security properties}, howpublished = {Blog post, url{https://www.lightbluetouchpaper.org/2022/07/22/formal-cheri/}}, month = ... M. Watson and

  5. cheriformal.bib

    https://www.cl.cam.ac.uk/research/security/ctsrd/cheri/cheriformal_bib.html
    2 Nov 2023: cheri}, cheriformal = {true}, elver = {true}, recent = {true} }.. @techreport{UCAM-CL-TR-947, author = {Watson, Robert N. M. and Richardson, Alexander and Davis, Brooks and Baldwin, John and Chisnall, David and Clarke, ... and Esswood, Lawrence and Stark,

  6. topic.Cerberus.bib

    https://www.cl.cam.ac.uk/~pes20/papers/topic.Cerberus_bib.html
    23 May 2024: inproceedings{Cerberus-PLDI16, author = { Kayvan Memarian and Justus Matthiesen and James Lingard and Kyndylan Nienhuis and David Chisnall and Robert N.M. ... Watson and Peter Sewell }, title = {Into the depths of {C}: elaborating the de facto standards},

  7. Principal and Fellows - Homerton College

    https://review.homerton.cam.ac.uk/membership/principal-and-fellows/
    Thumbnail for Principal and Fellows - Homerton College 22 Mar 2024: 2002. Dr Penny Barton. Senior Tutor. Dr David Clifford. 2006. Dr Louise Joy. ... Dr Peggy Watson. Mr David Whitley. 2022. Mr Philip Stephenson. Dr Elaine Wilson.

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

  9. 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, ... M. Watson,

  10. topic.WG14.bib

    https://www.cl.cam.ac.uk/~pes20/papers/topic.WG14_bib.html
    23 May 2024: year = 2016, txt = {}, project = {}, optnote = {}, optannote = {}, topic = {WG14} }.. @inproceedings{Cerberus-PLDI16, author = { Kayvan Memarian and Justus Matthiesen and James Lingard and Kyndylan Nienhuis and David Chisnall and Robert N.M.

  11. Advanced topics in programming languages Michaelmas 2023 Introduction …

    https://www.cl.cam.ac.uk/teaching/2324/R277/slides-introduction.pdf
    9 Oct 2023: A Real-time Garbage Collectorwith Low Overhead and Consistent Utilization. David F. ... Bacondfb@watson.ibm.com. Perry Chengperryche@us.ibm.com. V.T. Rajanvtrajan@us.ibm.com. IBM T.J. Watson Research CenterP.O. Box 704.

Refine your results

Format

clear all

Date

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