Travelled to:1 × Turkey
Collaborated with:D.Chisnall B.Davis P.Sewell K.Memarian J.Woodruff S.W.Moore M.Roe P.G.Neumann Alexander Richardson Justus Matthiesen James Lingard K.Nienhuis V.B.F.Gomes S.Kell K.Gudka Alexandre Joannou A. Theodore Markettos J. Edward Maste Robert M. Norton Stacey D. Son Ben Laurie C.Rothwell M.Vadera David Brazdil John Baldwin James Clarke N.W.Filardo Alfredo Mazzinghi Edward Tomasz Napierala
Talks about:pointer (3) proven (2) cheri (2) architectur (1) standard (1) privileg (1) abstract (1) support (1) environ (1) semant (1)
Person: Robert N. M. Watson
DBLP: Watson:Robert_N=_M=
Contributed to:
2015
2016
201920172019Wrote 5 papers:
- ASPLOS-2015-ChisnallRWWVMRD #architecture #automaton #c
- Beyond the PDP-11: Architectural Support for a Memory-Safe C Abstract Machine (DC, CR, RNMW, JW, MV, SWM, MR, BD, PGN), pp. 117–130.
- PLDI-2016-MemarianMLNCWS #standard
- Into the depths of C: elaborating the de facto standards (KM, JM, JL, KN, DC, RNMW, PS), pp. 1–15.
- POPL-2019-MemarianGDKRWS #c #pointer #semantics
- Exploring C semantics and pointer provenance (KM, VBFG, BD, SK, AR, RNMW, PS), p. 32.
- ASPLOS-2017-ChisnallDGBJWMM #c #java #security
- CHERI JNI: Sinking the Java Security Model into the C (DC, BD, KG, DB, AJ, JW, ATM, JEM, RMN, SDS, MR, SWM, PGN, BL, RNMW), pp. 569–583.
- ASPLOS-2019-DavisWRNMBCCFGJ #c #named #pointer #runtime
- CheriABI: Enforcing Valid Pointer Provenance and Minimizing Pointer Privilege in the POSIX C Run-time Environment (BD, RNMW, AR, PGN, SWM, JB, DC, JC, NWF, KG, AJ, BL, ATM, JEM, AM, ETN, RMN, MR, PS, SDS, JW), pp. 379–393.