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

  1. Fully-matching results

  2. Cambridge ReseARch Trail

    https://www.cam.ac.uk/stories/cambridge-ar-trail
    Thumbnail for Cambridge ReseARch Trail 14 Mar 2024: The trail will take you past Colleges and Departments as well as a trip past The Eagle pub where Francis Crick and James Watson announced they had "discovered the secret of

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

  4. Achievements - MRC Laboratory of Molecular Biology

    https://www2.mrc-lmb.cam.ac.uk/achievements/
    Thumbnail for Achievements - MRC Laboratory of Molecular Biology 7 Feb 2024: One of the world's leading research institutes, our scientists are working to advance understanding of biological processes at the molecular level - providing the knowledge needed to solve key problems in human health. Search this website.

  5. Department of Computer Science and Technology: CHERI Rigorous…

    https://www.cl.cam.ac.uk/research/security/ctsrd/cheri/cheri-formal.html
    22 Feb 2024: 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.

  6. Kara Rainbow - Institute of Metabolic Science-Metabolic Research…

    https://www.mrl.ims.cam.ac.uk/kara-rainbow/
    23 Feb 2024: Background and experience. I first became interested in science as a child watching an episode of Horizon with Geoff Goldblum playing James Watson!

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

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

  9. Computer Laboratory: Résumé for Professor Simon Moore

    https://www.cl.cam.ac.uk/~swm11/resume/index.html
    23 Jun 2024: PhD thesies:. James Roy Bulpin. Operating Systems Support for Simultaneous Multithreaded Processors, 2004. ... M. Watson Robert Norton, Jonathan Woodruff, Alexandre Joannou, Simon W. Moore, Peter G.

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

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

  12. EMBO Awards - MRC Laboratory of Molecular Biology

    https://www2.mrc-lmb.cam.ac.uk/achievements/embo-awards/
    Thumbnail for EMBO Awards - MRC Laboratory of Molecular Biology 10 Jan 2024: EMBO Awards & Honours The European Molecular Biology Organisation (EMBO) was founded in 1964 to promote molecular biology in Europe.  Its aim is to

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

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

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

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

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

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

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

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

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

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.