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

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

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

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

  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.

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

    https://www.cl.cam.ac.uk/~pes20/recent.html
    23 May 2024: M. Watson. Blog post,, July 2022. [ Islaris: Verification of Machine Code Against Authoritative ISA Semantics. ... M. Watson, and Peter Sewell. In ESOP 2022. [ Relaxed virtual memory in Armv8-A.

  13. sewellandgroupbib2

    https://www.cl.cam.ac.uk/~pes20/papers/sewellandgroupbib2_abstracts.html
    23 May 2024: M. Watson. Blog post,, July 2022. [. Islaris: Verification of Machine Code Against Authoritative ISA Semantics. ... Robert N. M. Watson, Peter G. Neumann, Jonathan Woodruff, Michael Roe, Hesham Almatary, Jonathan Anderson, John Baldwin, Graeme Barnes,

  14. Page 1 of 6 FACULTY BOARD OF BIOLOGY MEDICAL ...

    https://www.biology.cam.ac.uk/files/mvsti_minutes_22-11-29.pdf
    23 Jan 2024: Dr Milka Sarris, Dr Paul Schofield, Mr Daniel Silverthorne (CUVS rep), Dr David Summers, Dr Erica Watson, Prof Alun Williams, Dr Chad Pillinger (secretary). ... David Bainbridge left the meeting. Additional projects involved looking at communications,

  15. CHERI C semantics as an extension of the ISO C17 standard

    https://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-988.pdf
    28 Oct 2023: Vadim Zaliva, Kayvan Memarian,Ricardo Almeida, Jessica Clarke, Brooks Davis,. Alex Richardson, David Chisnall,Brian Campbell, Ian Stark,. ... 3] Robert N. M. Watson, Simon W. Moore, Peter Sewell, and Peter G.

  16. Department of Computer Science and Technology – Natural Language and…

    https://www.cl.cam.ac.uk/research/nl/publications.html
    7 Oct 2023: Shamsuddeen Hassan Muhammad, Idris Abdulmumin, Seid Muhie Yimam, David Ifeoluwa Adelani, Ibrahim Sa'id Ahmad, Nedjma Ousidhoum, Abinew Ayele, Saif M Mohammad, Meriem Beloucif. ... Social-Computation-Supporting Kinds. David Strohmaier. Canadian Journal of

  17. Technical ReportNumber 1 Computer Laboratory UCAM-CL-TR-1ISSN…

    https://www.cl.cam.ac.uk/techreports/tr-titles.pdf
    27 Nov 2023: Programming language designwith polymorphism. David Charles James Matthews. 15 JJ Thomson AvenueCambridge CB3 0FDUnited Kingdomphone 44 1223 763500. ... Poly manual. David C.J. Matthews. February 1985. 15 JJ Thomson AvenueCambridge CB3 0FDUnited

  18. An introduction to Flow Matching · Cambridge MLG Blog

    https://mlg.eng.cam.ac.uk/blog/2024/01/20/flow-matching.html
    12 Apr 2024: Huang, Chin-Wei and Krueger, David and Lacoste, Alexandre and Courville, Aaron (2018). ... Watson, Joseph L. and Juergens, David and Bennett, Nathaniel R. and Trippe, Brian L.

  19. https://mlg.eng.cam.ac.uk/blog/feed.xml

    https://mlg.eng.cam.ac.uk/blog/feed.xml
    12 Apr 2024: my-image-container" div class="image-container" img src="/blog/assets/images/flow-matching/diffusion_protein.jpg" alt="Protein generated by RFDiffusion (Watson et al., 2023)." id="figure-Figure1" style="width: ... 100%; max-width: 470px" / p

  20. Arm Morello Programme: Architectural security goals and known…

    https://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-982.pdf
    14 Jul 2023: and known limitations. Robert N. M. Watson, Graeme Barnes,Jessica Clarke, Richard Grisenthwaite,. ... David Chisnall, Jessica Clarke, BrooksDavis, Nathaniel Wesley Filardo, Alexandre Joannou, Ben Laurie, A.

  21. Cambridge University Reporter Special No 3 (2023-24) - Fellows of the …

    https://www.reporter.admin.cam.ac.uk/reporter/2023-24/special/03/
    21 Dec 2023: 1971. Jones David Rayner Hunkin ma phd ceng. 1972. Ingham Geoffrey Keith phd. ... Watson James Dewey kbe scd frs. 1980. Attenborough Sir David Frederick om ch cvo cbe ma frs.

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

  23. The Arm Morello Evaluation Platform - Validating CHERI-based Security …

    https://www.cl.cam.ac.uk/research/security/ctsrd/pdfs/202305ieeemicro-morello-platform.pdf
    18 Aug 2023: 4. David Chisnall, Colin Rothwell, Robert N.M. Watson, Jonathan Woodruff, Munraj Vadera, Simon W. ... M. Watson, Alexander Richardson, Peter G. Neumann, Simon W. Moore, John Baldwin, David Chisnall, Jessica Clarke, Nathaniel Wesley Filardo, Khilan Gudka,

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

    https://www.cl.cam.ac.uk/~pes20/papers/topic.cheri_abstracts.html
    23 May 2024: Robert N. M. Watson, Alexander Richardson, Brooks Davis, John Baldwin, David Chisnall, Jessica Clarke, Nathaniel Filardo, Simon W. ... Robert N. M. Watson, Peter G. Neumann, Jonathan Woodruff, Michael Roe, Hesham Almatary, Jonathan Anderson, John

  25. Cornucopia Reloaded: Load Barriers for CHERI Heap Temporal Safety

    https://www.cl.cam.ac.uk/research/security/ctsrd/pdfs/202404asplos-cornucopia-reloaded.pdf
    2 Mar 2024: Gutstein, Jonathan Woodruff, Jes-sica Clarke, Peter Rugg, Brooks Davis, Mark Johnston, Robert Nor-ton, David Chisnall, Simon W. ... Moore, Peter G. Neumann, and RobertN. M. Watson. 2024. Cornucopia Reloaded: Load Barriers for CHERIHeap Temporal Safety.

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

  27. Roll of the Regent House - Cambridge University Reporter Special No 2 …

    https://www.reporter.admin.cam.ac.uk/reporter/2023-24/special/02/section1.shtml
    6 Nov 2023: Abu-Ershaed, Nassim. Abulafia, Anna Brechta Sapir, LC. Abulafia, David Samuel Harvard, CAI. ... Ainge, Karen Sarah. Ainscough, David Anthony, SE. Aitken, Sarah Jane. Ajao, Roni, HH.

  28. Proposed Roll of the Regent House - Cambridge University Reporter…

    https://www.reporter.admin.cam.ac.uk/reporter/2023-24/special/01/section2.shtml
    2 Oct 2023: Ainge, Karen Sarah. Ainscough, David Anthony, SE. Aitken, Sarah Jane. Ajao, Roni, HH. ... Attridge, David James. Attrill, Helen Louise. Au, Tammy Chor Yan. Aubareda Rodriguez, Ana.

  29. Concurrent Systems

    https://www.cl.cam.ac.uk/teaching/2324/ConcDisSys/djg-materials/ccds-01-08-2324-a.pdf
    26 Sep 2023: Michaelmas Term, 2023/24. L1-8: Dr David J Greaves. L9-16: Dr Tim Harris. ... and producer-consumer rela琀椀onships. Dr David J Greaves(Thanks to Dr Robert N.

  30. Concurrent Systems

    https://www.cl.cam.ac.uk/teaching/2324/ConcDisSys/djg-materials/ccds-01-08-2324-c.pdf
    31 Oct 2023: Michaelmas Term, 2023/24. L1-8: Dr David J Greaves. L9-16: Dr Tim Harris. ... and producer-consumer rela琀椀onships. Dr David J Greaves(Thanks to Dr Robert N.

  31. Early performance results from the prototype Morello microarchitecture

    https://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-986.pdf
    2 Oct 2023: Robert N. M. Watson, Jessica Clarke,Peter Sewell, Jonathan Woodruff,Simon W. Moore, Graeme Barnes,. ... 2023 Robert N. M. Watson, Jessica Clarke, Peter Sewell,Jonathan Woodruff, Simon W.

  32. Prayer List 2023 – 2024 2 Throughout the life ...

    https://www.wesley.cam.ac.uk/wp-content/uploads/2023/09/Prayer-List-2023-24.pdf
    11 Sep 2023: 16. Monday 6th May Patrick Opoku Tom Osborne Elizabeth Osei Papa Owusu Wednesday 8th May David P. ... Vaughan Tong Stuart Veitch Monday 1st July Jason Vinyard David Vonberg Alison Walker Leslie Wallace Wednesday 3rd July Amy Walters Colin Watkins Helen
    By: Alastair Oatey

  33. CRSD Textiles_Case Study - FINAL

    https://www.landecon.cam.ac.uk/sites/default/files/2023-06/crsd_textiles_case_study_-_final.pdf
    19 Oct 2023: https://doi.org/10.1126/science.aao3760. Köhler, Andreas, David Watson, Steffen Trzepacz, Clara Löw, Ran Liu, Jennifer Danneck, Antonios Konstantas, Shane Donatello, andGiorgia Faraca.

  34. Advanced topics in programming languages Michaelmas 2023 Garbage…

    https://www.cl.cam.ac.uk/teaching/2324/R277/slides-garbage-collection.pdf
    9 Oct 2023: David F. Bacondfb@watson.ibm.com. Perry Chengperryche@us.ibm.com. V.T. Rajanvtrajan@us.ibm.com. IBM T.J. Watson Research CenterP.O.

  35. CN: Verifying Systems C Code with Separation-Logic Refinement Types

    https://www.cl.cam.ac.uk/~cp526/popl23.pdf
    18 Jul 2023: 1. CN: Verifying Systems C Code with Separation-LogicRefinement TypesCHRISTOPHER PULTE, University of Cambridge, UKDHRUV C. MAKWANA, University of Cambridge, UKTHOMAS SEWELL, University of Cambridge, UKKAYVAN MEMARIAN, University of Cambridge,

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

    https://www.cl.cam.ac.uk/research/security/ctsrd/cheri/cheriformal_abstracts.html
    2 Nov 2023: Robert N. M. Watson, Alexander Richardson, Brooks Davis, John Baldwin, David Chisnall, Jessica Clarke, Nathaniel Filardo, Simon W. ... Robert N. M. Watson, Peter G. Neumann, Jonathan Woodruff, Michael Roe, Hesham Almatary, Jonathan Anderson, John

  37. CHERIoT: Complete Memory Safety for Embedded Devices

    https://www.cl.cam.ac.uk/research/security/ctsrd/pdfs/202310ieeemicro-cheriot-uarch.pdf
    9 Dec 2023: ACM Reference Format:Saar Amar, David Chisnall, Tony Chen, Nathaniel Wesley Filardo, BenLaurie, Kunyan Liu, Robert Norton, Simon W. ... Moore, Yucong Tao, RobertN. M. Watson, and Hongyan Xia. 2023. CHERIoT: Complete Memory Safetyfor Embedded Devices.

  38. Cambridge University Reporter Special No 3, Fellows of the Colleges,…

    https://www.reporter.admin.cam.ac.uk/reporter/2023-24/special/03/CollegeFellows2023.pdf
    21 Dec 2023: How Tim Fazmin Ibrahim Talal ma mb bchir Slaughter Jonathan David msci phd. ... Honorary Fellows. 1967 Watson James Dewey kbe scd frs 1980 Attenborough Sir David Frederick om ch cvo.
    By: University of Cambridge

  39. Efficient spatial and temporal safety for microcontrollers and…

    https://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-984.pdf
    2 Aug 2023: Efficient spatial and temporal safety for microcontrollers and. application-class processors. Peter David Rugg. ... Thank you also to my examiners—Prof. David Oswald and Prof. Robert Mullins—for their.

  40. Plastic and Fashion Concept Note - Final

    https://www.landecon.cam.ac.uk/sites/default/files/2023-07/plastic_and_fashion_concept_note_0.pdf
    19 Oct 2023: https://www.ilo.org/dyn/natlex/natlex4.detail?p_lang=en&p_isn=113806&p_country=DMA&p_count=230&p_classification=12&p_classcount=6. Workshop Concept NoteSpeeding up the Transition to Closed Loop Synthetic FibreRecycling in the EU textile market by

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

    https://www.cl.cam.ac.uk/~pes20/elver_abstracts.html
    23 May 2024: Robert N. M. Watson, Alexander Richardson, Brooks Davis, John Baldwin, David Chisnall, Jessica Clarke, Nathaniel Filardo, Simon W. ... Robert N. M. Watson, Peter G. Neumann, Jonathan Woodruff, Michael Roe, Hesham Almatary, Jonathan Anderson, John

  42. Department of Computer Science and Technology: Security-Oriented…

    https://www.cl.cam.ac.uk/research/security/ctsrd/soaap/
    10 Jul 2023: Conference and journal papers. Khilan Gudka, Robert N.M. Watson, Jonathan Anderson, David Chisnall, Brooks Davis, Ben Laurie, Ilias Marinos, Peter G. ... Robert N. M. Watson, Steven J. Murdoch, Khilan Gudka, Jonathan Anderson, Peter G.

  43. Department of Computer Science and Technology: Temporally Enhanced…

    https://www.cl.cam.ac.uk/research/security/ctsrd/tesla/
    10 Jul 2023: Papers and slides. Jonathan Anderson, Robert N. M. Watson, David Chisnall, Khilan Gudka, Brooks Davis, and Ilias Marinos.

  44. Pushing Boundaries: The 2015 UK Alternative Finance Industry Report

    https://www.jbs.cam.ac.uk/wp-content/uploads/2020/08/harnessing-potential.pdf
    9 Jul 2023: 1. In partnership with with the support of. Harnessing Potential. T H E A S I A - P A C I F I C A L T E R N A T I V E F I N A N C E B E N C H M A R K I N G R E P O R T. Bryan Zhang Luke Deer. Robert Wardrop Andrew Grant Kieran Garvey. Susan Thorp

  45. Department of Computer Science and Technology – Technical reports:…

    https://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-988.html
    28 Oct 2023: David and Campbell, Brian and Stark, Ian and Watson, Robert N.

  46. Plastic and Fashion Concept Note - Final

    https://www.landecon.cam.ac.uk/sites/default/files/2023-06/plastic_and_fashion_concept_note_-_final.pdf
    19 Oct 2023: https://www.ilo.org/dyn/natlex/natlex4.detail?p_lang=en&p_isn=113806&p_country=DMA&p_count=230&p_classification=12&p_classcount=6. Workshop Concept NoteSpeeding up the Transition to Closed Loop Synthetic FibreRecycling in the EU textile market by

  47. Formal Mechanised Semantics of CHERI C: Capabilities, Undefined…

    https://www.cl.cam.ac.uk/~pes20/asplos24spring-paper110.pdf
    2 Nov 2023: Menlo Park, CA, USABrooks.Davis@sri.com. Alexander RichardsonUniversity of Cambridge. Cambridge, UKAlexander.Richardson@cl.cam.ac.uk. David ChisnallMicrosoft. ... M. Watson, and Peter Sewell. 2024. For-mal Mechanised Semantics of CHERI C: Capabilities,

  48. 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. ... project = {}, topic = {cheri}, optcheriformal = {false}, elver = {true}, optrecent = {true} }.. @techreport{UCAM-CL-TR-947, author = {Watson, Robert N. M. and Richardson,

  49. Cambridge Children’s Hospital – Treating the whole child |…

    https://www.stemcells.cam.ac.uk/news/cambridge-childrens-hospital-treating-whole-child
    23 Feb 2024: For Professor David Rowitch, Head of Paediatrics, and others that is a travesty – and helps explain why the University is launching a bold new endeavour, Cambridge Children’s Hospital. ... more recently, Professors Shankar Balusubramanian and David

  50. CBR Annual Report 2001-2 final final

    https://www.jbs.cam.ac.uk/wp-content/uploads/2023/03/cbr-annual-report-2002.pdf
    9 Jul 2023: Dr David Keeble was awarded the Royal Geographical Society’s Patron’s Medal 2002 ‘for advancing knowledge in economic and industrial geography’. ... David helped found the CBR and, until his recent retirement, ran the CBR’s programme of

  51. Consultation Document on Schema Assumptions

    https://www.jbs.cam.ac.uk/wp-content/uploads/2020/08/crs-geac-challenges-and-exposure-document.pdf
    9 Jul 2023: CHALLENGES AND SOLUTIONS FOR ENTERPRISE EXPOSURE MANAGEMENT. Cambridge Centre for Risk Studies. Risk Management Solutions Inc. Global Exposure Accumulation and Clash Project. We gratefully acknowledge the inputs and participation in this project of

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.