Travelled to:1 × Turkey
Collaborated with:R.N.M.Watson D.Chisnall J.Woodruff S.W.Moore M.Roe P.G.Neumann Alexander Richardson P.Sewell K.Memarian 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) privileg (1) abstract (1) support (1) environ (1) semant (1) memori (1)
Person: Brooks Davis
DBLP: Davis:Brooks
Contributed to:
2015
201920172019Wrote 4 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.
- 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.