Search
Search Funnelback University
41 -
50 of
487
search results for `Peter Watson`
Fully-matching results
-
Isla: Integrating full-scale ISA semantics and axiomatic concurrency…
https://www.cl.cam.ac.uk/~pes20/papers/topic.ISA_semantics.html23 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. -
Department of Computer Science and Technology – Technical reports:…
https://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-988.html28 Oct 2023: David and Campbell, Brian and Stark, Ian and Watson, Robert N. ... M. and Sewell, Peter}, title = {{CHERI C semantics as an extension of the ISO C17 standard}}, year = 2023, month = oct, url = -
Writing Europe, 500-1450 | English Faculty News
https://www.english.cam.ac.uk/news/archives/793Other contributors include: Rolf H. Bremmer Jr, Stewart Brookes, Aidan Conti, Helen Fulton, Marilena Maniaci, Debora Matos, Annina Seiler, Peter A. ... Stokes, Nadia Togni, Svetlana Tsonkova, Matilda Watson, George Younge. Posted in:Tagged:Post navigation -
Department of Computer Science and Technology – Technical reports:…
https://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-951.html7 Nov 2023: PDF (3.3 MB). BibTeX record. @TechReport{UCAM-CL-TR-951, author = {Watson, Robert N. M. ... and Neumann, Peter G. and Woodruff, Jonathan and Roe, Michael and Almatary, Hesham and Anderson, Jonathan and Baldwin, John and Barnes, Graeme and Chisnall, -
topic.WG14.bib
https://www.cl.cam.ac.uk/~pes20/papers/topic.WG14_bib.html23 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}, -
Department of Computer Science and Technology – Technical reports:…
https://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-987.html21 Sep 2023: BibTeX record. @TechReport{UCAM-CL-TR-987, author = {Watson, Robert N. M. and Neumann, Peter G. ... Theodore and Moore, Simon W. and Murdoch, Steven J. and Nienhuis, Kyndylan and Norton, Robert and Richardson, Alexander and Rugg, Peter and Sewell, Peter -
The Trinity Clock
https://clock.trin.cam.ac.uk/main.phpwinding by Alexander Watson, John Perry, Blazej Puchala, Dido Coley, Zach Foster, Jack Celliers. ... visit by Katie Thompson, Andreas Metzler, Pat Batcheler, Peter Batcheler and Rupert Gatti. -
N3005: A Provenance-aware Memory Object Model for C. Working ...
https://www.cl.cam.ac.uk/~pes20/papers/topic.WG14_abstracts.html23 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. -
David Chisnall
https://www.cl.cam.ac.uk/www.cl.cam.ac.uk/~dc552/15 Feb 2024: Moore, Peter G. Neumann and Robert N. M. Watson. ... and Neumann, Peter G. and Watson, Robert N. M.}, doi = {10.1145/3620665.3640416}, booktitle = {Proceedings of the 29th ACM International Conference on Architectural Support for Programming Languages -
CN: Verifying systems C code with separation-logic refinement types.…
https://www.cl.cam.ac.uk/~pes20/papers/topic.Cerberus_abstracts.html23 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.
Refine your results
Search history
Recently clicked results
Recently clicked results
Your click history is empty.
Recent searches
Recent searches
Your search history is empty.