Search

1 May 2024: 2010-2019 Robert N. M. Watson. Information provided by Robert Watson.

1 May 2024: 2016-2021 Robert N. M. Watson. Information provided by Robert Watson.

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

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

1 May 2024: 2016-2021 Robert N. M. Watson. Information provided by Robert Watson.

27 Jun 2024: Advanced Operating Systems (L41) – Prof Robert Watson – 16 hOperating systems are complex, concurrent, and rapidly evolving software systems: the process model, hardware abstraction, storage and networking services, security primitives, and

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.

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 Jun 2024: Advanced Operating Systems (L41) – Prof Robert Watson – 16 hOperating systems are complex, concurrent, and rapidly evolving software systems: the process model, hardware abstraction, storage and networking services, security primitives, and

1 May 2024: M. Watson. Information provided by Robert Watson.

1 May 2024: 2024-2024 Robert N. M. Watson. Information provided by Robert Watson.

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.

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

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.

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

27 Jun 2024: Advanced Operating Systems (AOS) – Prof Robert Watson – 16 h.

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

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.

4 Apr 2024: Robert Watson, CHERI: Secure Software. 2016 Department of Computer Science and Technology, University of Cambridge.

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