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 - 50 of 134 search results for watson

  1. Fully-matching results

  2. Cambridge on World Environment Day 2024

    https://www.cam.ac.uk/stories/environmentday-research
    Thumbnail for Cambridge on World Environment Day 2024 5 Jun 2024: Image 1. Photo by Spencer Watson on Unsplash.

  3. Peter Sewell

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

  4. 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. ... Xi'an, China, April 8–12, 2017. Robert N.M. Watson, Robert M. Norton, Jonathan Woodruff, Simon W.

  5. £9.2m boost for next generation of Cambridge cancer experts |…

    https://www.cam.ac.uk/news/ps9-2m-boost-for-next-generation-of-cambridge-cancer-experts
    Thumbnail for £9.2m boost for next generation of Cambridge cancer experts | University of Cambridge 9 Apr 2024: Caroline Watson. The charity is to award the funding over the next five years to train early-career clinician scientists – doctors who also carry out medical research - as part of its ... Dr Watson said: “As we age, we all acquire mutations in the
    By: @cambridge_uni

  6. Peter Sewell: group bibliography by date

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

  7. 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. ... A. Theodore Markettos, Robert N. M. Watson, Simon W. Moore, Peter Sewell, and Peter G.

  8. 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. ... A. Theodore Markettos, Robert N. M. Watson, Simon W. Moore, Peter Sewell, and Peter G.

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

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

  11. Department of Computer Science and Technology: Timothy M. Jones:…

    https://www.cl.cam.ac.uk/~tmj32/papers/
    2 May 2024: Watson. IEEE Symposium on Security and Privacy (S&P), May 2020. Published version on Software Prefetching for Unstructured Mesh Applications. ... Neumann, Simon W. Moore, Robert N. M. Watson and Timothy M.

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

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

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

  14. Department of Computer Science and Technology – Course pages 2023–24: …

    https://www.cl.cam.ac.uk/teaching/2324/AOS/
    10 May 2024: Course pages 2023–24. Advanced Operating Systems. Advanced Operating Systems. Principal lecturer: Prof Robert Watson. ... Marshall Kirk McKusick, George V. Neville-Neil, and Robert N. M. Watson.

  15. Department of Computer Science and Technology – Course pages 2023–24: …

    https://www.cl.cam.ac.uk/teaching/2324/L341/
    10 May 2024: Course pages 2023–24. Advanced Operating Systems. Advanced Operating Systems. Principal lecturer: Prof Robert Watson. ... Marshall Kirk McKusick, George V. Neville-Neil, and Robert N. M. Watson.

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

  17. https://entrepreneurship.blog.jbs.cam.ac.uk/tag/science/feed/

    https://entrepreneurship.blog.jbs.cam.ac.uk/tag/science/feed/
    14 May 2024: of-futures-thinking/ https://entrepreneurship.blog.jbs.cam.ac.uk/2022/11/20/introducing-the-4ps-model-of-futures-thinking/#respond Richard Watson Sun, 20 Nov 2022 11:00:00 0000 ... p pemRichard Watson, Futurist in Residence, Cambridge Judge

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

  19. John O'Neill - MRC Laboratory of Molecular Biology

    https://www2.mrc-lmb.cam.ac.uk/group-leaders/n-to-s/john-oneill/
    Thumbnail for John O'Neill - MRC Laboratory of Molecular Biology 26 Mar 2024: Cell). Watson et al. (2023).

  20. Department of Computer Science and Technology: CHERI-RISC-V

    https://www.cl.cam.ac.uk/research/security/ctsrd/cheri/cheri-risc-v.html
    1 May 2024: 2010-2019 Robert N. M. Watson. Information provided by Robert Watson.

  21. Department of Computer Science and Technology: SOSP 2023 - CHERI…

    https://www.cl.cam.ac.uk/research/security/ctsrd/cheri/workshops/2023sosp/
    1 May 2024: 2016-2021 Robert N. M. Watson. Information provided by Robert Watson.

  22. topic.WG14.bib

    https://www.cl.cam.ac.uk/~pes20/papers/topic.WG14_bib.html
    23 May 2024: M. Watson}, title = {N2013: C memory object and value semantics: the space of de facto and {ISO} standards}, howpublished = {ISO SC22 WG14 N2013}, optnote = ... Watson and Peter Sewell }, title = {Into the depths of {C}: elaborating the de facto standards

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

  24. Department of Computer Science and Technology: ASPLOS 2022 - CHERI…

    https://www.cl.cam.ac.uk/research/security/ctsrd/cheri/workshops/2022asplos/
    1 May 2024: 2016-2021 Robert N. M. Watson. Information provided by Robert Watson.

  25. Department of Computer Science and Technology – Course pages 2023–24: …

    https://www.cl.cam.ac.uk/teaching/2324/OpSystems/
    10 May 2024: Addison-Wesley. McKusick, M.K., Neville-Neil, G.N. and Watson, R.N.M. (2014) The Design and Implementation of the FreeBSD Operating System.

  26. Department of Computer Science and Technology: Academic staff

    https://www.cl.cam.ac.uk/people/academic.html
    12 Jun 2024: Search site. Academic staff. Department of Computer Science and Technology. Academic staff. Telephone and email directory. Telephone:. UK prefix:. 01223. International:. 44 1223. University network:. drop prefix 3- or 7-. Email:.

  27. Department of Computer Science and Technology: DSbD All Hands October …

    https://www.cl.cam.ac.uk/research/security/ctsrd/cheri/workshops/2022.10dsbd/
    1 May 2024: M. Watson. Information provided by Robert Watson.

  28. Department of Computer Science and Technology: CHERITech'24…

    https://www.cl.cam.ac.uk/research/security/ctsrd/cheri/workshops/2024cheritech/posters.html
    1 May 2024: 2024-2024 Robert N. M. Watson. Information provided by Robert Watson.

  29. 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: M. Watson, and Peter Sewell. In POPL 2019, Proc. ACM Program. ... Watson, and Peter Sewell. In PLDI 2016, PLDI 2016 Distinguished Paper award.

  30. Department of Computer Science and Technology – Security Group:…

    https://www.cl.cam.ac.uk/research/security/project-ideas.html
    3 May 2024: Security Group. Project ideas. The members of our group regularly supervise the CST Part II and Part III / MPhil ACS projects of local students. Several have web pages with suggestions for potential project topics:. Academic staff:. via CTSRD project

  31. PhDs Examined

    https://www.cl.cam.ac.uk/~jac22/students-examined.htm
    28 May 2024: PhDs Examined. In US terms, this is students whose committee I was on, but for whom I wasn't the advisor. Weimin Weng, Reading, 1993. Stephen Wright, Ulster, 1995. Isabelle Chrisment, Nice/INRIA, 1996. Claude Castelluccia, Nice/INRIA, oct 1998.

  32. topic.Cerberus.bib

    https://www.cl.cam.ac.uk/~pes20/papers/topic.Cerberus_bib.html
    23 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},

  33. stelaCSF - A Unified Model of Contrast Sensitivity as the Function of …

    https://www.cl.cam.ac.uk/~rkm38/pdfs/mantiuk2022_stelaCSF.pdf
    9 Apr 2024: We model the drop of sensitivity with eccentricity 𝑒 in the sameway as [Watson 2018]:. ... The plots representisosurfaces at which 𝑆 = 1 (note that this is different from the pyramidsshown in [Watson and Ahumada 2016]).

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

  35. Department of Computer Science and Technology: Wheeler Lectures

    https://www.cl.cam.ac.uk/seminars/wheeler/andrew-herbert/
    4 Apr 2024: Robert Watson, CHERI: Secure Software. 2016 Department of Computer Science and Technology, University of Cambridge.

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

  37. Journal of Vision (20??) ?, 1–? http://journalofvision.org/?/?/? 1…

    https://www.cl.cam.ac.uk/~rkm38/pdfs/ashraf2024_castleCSF.pdf
    8 Apr 2024: Watson, 2018). (3) (3). Chromatic pyramid of visibility (b) (Watson, 2021) (3) (3). ... minance, while the extended version (Watson, 2018) adds stimulus. area and retinal eccentricity parameters.

  38. stelaCSF - A Unified Model of Contrast Sensitivity as the Function of …

    https://www.cl.cam.ac.uk/research/rainbow/projects/stelaCSF/mantiuk2022_stelaCSF.pdf
    9 Apr 2024: We model the drop of sensitivity with eccentricity 𝑒 in the sameway as [Watson 2018]:. ... The plots representisosurfaces at which 𝑆 = 1 (note that this is different from the pyramidsshown in [Watson and Ahumada 2016]).

  39. Blue Sky Collaboration - MRC Laboratory of Molecular Biology

    https://www2.mrc-lmb.cam.ac.uk/research/blue-sky-collaboration/
    Thumbnail for Blue Sky Collaboration - MRC Laboratory of Molecular Biology 31 May 2024: Stangherlin, A., Watson, J.L., Wong, D.C.S., Barbiero, S., Zeng, A., Seinkmane, E., Peak Chew, S., Beale, A.D., Hayter, E.A., Guna, A., Inglis, A.J., Putker, M.,
    By: @MRC_LMB

  40. 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. ... A. Theodore Markettos, Robert N. M. Watson, Simon W. Moore, Peter Sewell, and Peter G.

  41. Ross Anderson's Home Page

    https://www.cl.cam.ac.uk/~rja14/
    27 Mar 2024: Ross Anderson. shows that the randomness tests long used to check random number generators for use in cryptographic key generation are inadequate for machine learning, where some applications make heavy use of random inputs about which very specific

  42. Peter Haynes: Publications

    www.damtp.cam.ac.uk/user/phh/pubs.html
    22 Apr 2024: J. Atmos. Sci., 73, 1903-1922. Boland, E.J.D., Haynes, P.H., Shuckburgh, E.F., Watson, A.J., Messias, M.-J., Ledwell, J.R.

  43. Department of Computer Science and Technology: Honours

    https://www.cl.cam.ac.uk/misc/honours/
    19 Apr 2024: Peter co-leads, along with Robert Watson and Simon Moore here in Cambridge and Peter Neumann at SRI International, the CHERI cybersecurity project.

  44. Alastair Beresford The Computer Laboratory,Dept of Computer Science…

    https://www.cl.cam.ac.uk/~arb33/cv/AlastairBeresford.pdf
    27 May 2024: Jointly with Prof.Anderson and Drs Watson and Hutchings. (2014–2022). Computer Security: Current Applications and Research an MPhil and Part III coursefocusing on contemporary themes in computer security. ... Jointly with Prof. Andersonand Dr Watson.

  45. https://entrepreneurship.blog.jbs.cam.ac.uk/tag/futurist/feed/

    https://entrepreneurship.blog.jbs.cam.ac.uk/tag/futurist/feed/
    14 May 2024: of-futures-thinking/ https://entrepreneurship.blog.jbs.cam.ac.uk/2022/11/20/introducing-the-4ps-model-of-futures-thinking/#respond Richard Watson Sun, 20 Nov 2022 11:00:00 0000 ... p pemRichard Watson, Futurist in Residence, Cambridge Judge

  46. Department of Computer Science and Technology: CHERITech'24

    https://www.cl.cam.ac.uk/research/security/ctsrd/cheri/workshops/2024cheritech/
    1 May 2024: Session 1: Industry Applications, Chair: Robert N. M. Watson. 09:30 - 09:40. ... Welcome, introduction, and brief update. Robert N. M. Watson. 09:40 - 10:10.

  47. Alastair Beresford---Curriculum Vitae

    https://www.cl.cam.ac.uk/~arb33/cv/
    27 May 2024: Jointly with Prof. Anderson and Drs Watson and Hutchings. (2014--2022). Computer Security: Current Applications and Research an MPhil and Part III course focusing on contemporary themes in computer security. ... Jointly with Prof. Anderson and Dr Watson.

  48. Isla: Integrating full-scale ISA semantics and axiomatic concurrency…

    https://www.cl.cam.ac.uk/~pes20/papers/topic.ISA_semantics_abstracts.html
    23 May 2024: M. Watson, and Peter Sewell. In ESOP 2022. [Memory safety bugs continue to be a major source of security vulnerabilities in our critical infrastructure.

  49. Department of Computer Science and Technology – Security Group: 2002

    https://www.cl.cam.ac.uk/research/security/seminars/archive/2002.html
    17 Jun 2024: Watson Research Center, NY. Lecture Theatre 2, William Gates Building. In the first part of this talk, I will present results of a systematic investigation of leakage of compromising information via

  50. New Members - Homerton College

    https://review.homerton.cam.ac.uk/membership/new-members/
    Thumbnail for New Members - Homerton College 22 Mar 2024: Cameron Watson. Genomic Medicine. Elizabeth Wheen. Applied Criminology, Penology and Management.

  51. Department of Computer Science and Technology – Security Group: 2017

    https://www.cl.cam.ac.uk/research/security/seminars/archive/2017.html
    17 Jun 2024: M. Watson - University of Cambridge, Computer Laboratory. Lecture Theatre 1, Computer Laboratory.

Refine your results

Format

clear all

Date

Related searches for watson

By type

By topic

By site

Search history

Recently clicked results

Recently clicked results

Your click history is empty.

Recent searches

Recent searches

Your search history is empty.