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 23 search results for `James Watson`

  1. Fully-matching results

  2. 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. ... Kayvan Memarian, Justus Matthiesen, James Lingard, Kyndylan Nienhuis, David Chisnall, Robert N.M.

  3. Academy of Medical Sciences - MRC Laboratory of Molecular Biology

    https://www2.mrc-lmb.cam.ac.uk/achievements/academy-medical-sciences/
    Thumbnail for Academy of Medical Sciences - MRC Laboratory of Molecular Biology 21 May 2024: Academy of Medical Sciences The Academy of Medical Sciences is an independent body in the UK that represents the diverse spectrum of medical science –
    By: @MRC_LMB

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

  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. ... Moore, John Baldwin, David Chisnall, James Clarke, Nathaniel Wesley Filardo, Khilan Gudka, Alexandre Joannou, Ben Laurie, A.

  6. 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. ... Kayvan Memarian, Justus Matthiesen, James Lingard, Kyndylan Nienhuis, David Chisnall, Robert N.M.

  7. Royal Society Awards - MRC Laboratory of Molecular Biology

    https://www2.mrc-lmb.cam.ac.uk/achievements/royal-society-awards/
    Thumbnail for Royal Society Awards - MRC Laboratory of Molecular Biology 16 May 2024: Royal Society Awards & Honours The Royal Society is a Fellowship of the world's most eminent scientists and is the oldest scientific academy in

  8. Peter Sewell: group bibliography by date

    https://www.cl.cam.ac.uk/~pes20/papers/sewellandgroupbib2.html
    23 May 2024: Brooks Davis, Robert N. M. Watson, Alexander Richardson, Peter G. Neumann, Simon W. ... Kayvan Memarian, Justus Matthiesen, James Lingard, Kyndylan Nienhuis, David Chisnall, Robert N.M.

  9. N3005: A Provenance-aware Memory Object Model for C. Working ...

    https://www.cl.cam.ac.uk/~pes20/papers/topic.WG14.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.

  10. CN: Verifying systems C code with separation-logic refinement types.…

    https://www.cl.cam.ac.uk/~pes20/papers/topic.Cerberus.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.

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

    https://www.cl.cam.ac.uk/~pes20/papers/topic.cheri_abstracts.html
    23 May 2024: Brooks Davis, Robert N. M. Watson, Alexander Richardson, Peter G. Neumann, Simon W. ... Kayvan Memarian, Justus Matthiesen, James Lingard, Kyndylan Nienhuis, David Chisnall, Robert N.M.

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

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

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

  15. 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},

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

  17. LMB Alumni List - MRC Laboratory of Molecular Biology

    https://www2.mrc-lmb.cam.ac.uk/about-lmb/lmb-alumni/alumni/
    Thumbnail for LMB Alumni List - MRC Laboratory of Molecular Biology 11 Jun 2024: Dr Jan Drijfhout 1985. Dr Jacques Drouin 1976-1979. James Drummond 2021-2023. ... Dr Michael Graeb 2009-2013. Dr James Graham 1974-1979. Miles Graham 2022.

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

    https://www.cl.cam.ac.uk/~pes20/elver_abstracts.html
    23 May 2024: Richard Grisenthwaite, Graeme Barnes, Robert N. M. Watson, Simon W. Moore, Peter Sewell, and Jonathan Woodruff. ... M. Watson. Blog post,, July 2022. [. Islaris: Verification of Machine Code Against Authoritative ISA Semantics.

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

  20. sewellandgroupbib2

    https://www.cl.cam.ac.uk/~pes20/papers/sewellandgroupbib2_abstracts.html
    23 May 2024: Richard Grisenthwaite, Graeme Barnes, Robert N. M. Watson, Simon W. Moore, Peter Sewell, and Jonathan Woodruff. ... M. Watson. Blog post,, July 2022. [. Islaris: Verification of Machine Code Against Authoritative ISA Semantics.

  21. sewellandgroupbib2.bib

    https://www.cl.cam.ac.uk/~pes20/papers/sewellandgroupbib2_bib.html
    23 May 2024: sewellandgroupbib2.bib.. @article{physics4, author = {M. E. Woods and B. J. Hopkins and G. F. Matthews and G. M. McCracken and P. M. Sewell and H. Fahrang}, title = {An Investigation of the Secondary-Electron Emission of Carbon Samples Exposed to a

Refine your results

Format

clear all

Date

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