Travelled to:1 × Turkey
Collaborated with:R.N.M.Watson J.Woodruff S.W.Moore M.Roe B.Davis P.G.Neumann P.Sewell K.Memarian Justus Matthiesen James Lingard K.Nienhuis K.Gudka Alexandre Joannou A. Theodore Markettos J. Edward Maste Robert M. Norton Stacey D. Son Ben Laurie C.Rothwell M.Vadera David Brazdil Alexander Richardson John Baldwin James Clarke N.W.Filardo Alfredo Mazzinghi Edward Tomasz Napierala
Talks about:pointer (2) cheri (2) architectur (1) standard (1) privileg (1) abstract (1) support (1) environ (1) proven (1) memori (1)
Person: David Chisnall
DBLP: Chisnall:David
Contributed to:
2015
201620172019Wrote 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.
- PLDI-2016-MemarianMLNCWS #standard
- Into the depths of C: elaborating the de facto standards (KM, JM, JL, KN, DC, RNMW, PS), pp. 1–15.
- 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.