Search
Search Funnelback University
- Refined by:
- Date: Past year
21 -
30 of
86
search results for `James Watson`
Fully-matching results
-
LMB Nobel Prizes - MRC Laboratory of Molecular Biology
https://www2.mrc-lmb.cam.ac.uk/achievements/lmb-nobel-prizes/21 Jul 2023: LMB Nobel Prizes Nobel Prizes are international awards administered by the Nobel Foundation in Stockholm, Sweden. They are awarded annually for -
Cerberus
https://www.cl.cam.ac.uk/~pes20/cerberus/1 Oct 2023: Kayvan Memarian, Justus Matthiesen, James Lingard, Kyndylan Nienhuis, David Chisnall, Robert N.M. ... David Chisnall and Robert N. M. Watson contributed to the discussion of CHERI semantics. -
Department of Computer Science and Technology: CHERI Rigorous…
https://www.cl.cam.ac.uk/research/security/ctsrd/cheri/cheri-formal.html22 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. -
Joan A. Steitz Postdoc Prize - MRC Laboratory of Molecular Biology
https://www2.mrc-lmb.cam.ac.uk/achievements/steitz-postdoc-prize/24 Oct 2023: Joan A. Steitz Postdoc Prize The Max Perutz Fund was set up in June 1980 in honour of the LMB’s founder, Max Perutz, and was established for the promotion -
Perutz Student Prize - MRC Laboratory of Molecular Biology
https://www2.mrc-lmb.cam.ac.uk/achievements/lmb-student-prize/24 Oct 2023: 2002. Marijn Ford, Chris Murawsky, James Ogle, Damon Page, Barry Thompson. ... 2001. Andrew Carter, Michael Pacold, Sin Urban, James Whyte. 2000. Richard Bayliss, Bill Clemons, Lucy Holt, Eric Tse. -
Eileen Southgate Prize - MRC Laboratory of Molecular Biology
https://www2.mrc-lmb.cam.ac.uk/achievements/eileen-southgate-prize/24 Oct 2023: Eileen Southgate Prize The Max Perutz Fund was set up in June 1980 in honour of the LMB’s founder, Max Perutz, and was established for the promotion -
Photographs - MRC Laboratory of Molecular Biology
https://www2.mrc-lmb.cam.ac.uk/about-lmb/archive/photographs/21 Jul 2023: Photographs The LMB has an extensive collection of photographs and images, a selection of which can be viewed here by either browsing the collection or -
ELVER
https://www.cl.cam.ac.uk/~pes20/index-elver.html23 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. -
N3005: A Provenance-aware Memory Object Model for C. Working ...
https://www.cl.cam.ac.uk/~pes20/papers/topic.WG14_abstracts.html23 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. -
topic.Cerberus.bib
https://www.cl.cam.ac.uk/~pes20/papers/topic.Cerberus_bib.html23 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},
Search history
Recently clicked results
Recently clicked results
Your click history is empty.
Recent searches
Recent searches
Your search history is empty.