Publications


Download a complete list of publications as BibTeX

Articles

  1. David Chisnall, Brooks Davis, Khilan Gudka, David Brazdil, Alexandre Joannouand Jonathan Woodruff, A. Theodore Markettos, J. Edward Maste, Robert Norton, Stacey Son, Michael Roe, Simon W. Moore, Peter G. Neumann, Ben Laurie and Robert N. M. Watson. CHERI JNI: Sinking the Java security model into the C. Proceedings of the Twenty Second International Conference on Architectural Support for Programming Languages and Operating Systems, ACM (2017), 569–583. [BibTeX] [abstract] [pdf] [doi]
  2. Robert N. M. Watson, Robert M. Norton, Jon Woodruff, Simon W. Moore, Peter G. Neumann, Jon Anderson, David Chisnall, Brooks Davis, Ben. Laurie, Michael Roe, Nirav H. Dave, Khilan Gudka, Alexandre Joannou, A. Theodore Markettos, J. Edward Maste, Steven J. Murdoch, Colin Rothwell, Stacey D. Son and Munraj Vadera. Fast Protection-Domain Crossing in the CHERI Capability-System Architecture. IEEE Micro 36, 5 (2016), 38–49. [BibTeX] [abstract] [doi]
  3. Kayvan Memarian, Justus Matthiesen, James Lingard, Kyndylan Nienhuis, David Chisnall, Robert N. M. Watson and Peter Sewell. Into the Depths of C: Elaborating the De Facto Standards. Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation, ACM (2016), 1–15. [BibTeX] [doi]
  4. Khilan Gudka, Robert N.M. Watson, Jonathan Anderson, David Chisnall, Brooks Davis, Ben Laurie, Ilias Marinos, Peter G. Neumann and Alex Richardson. Clean Application Compartmentalization with SOAAP. Proceedings of the 22nd ACM Conference on Computer and Communications Security, (2015). [BibTeX] [abstract] [pdf]
  5. R. N. M. Watson, J. Woodruff, P. G. Neumann, S. W. Moore, J. Anderson, D. Chisnall, N. Dave, B. Davis, K. Gudka, B. Laurie, S. J. Murdoch, R. Norton, M. Roe, S. Son and M. Vadera. CHERI: A Hybrid Capability-System Architecture for Scalable Software Compartmentalization. 2015 IEEE Symposium on Security and Privacy, (2015), 20–37. [BibTeX] [abstract] [pdf] [doi]
  6. David Chisnall, Colin Rothwell, Brooks Davis, Robert N.M. Watson, Jonathan Woodruff, Munraj Vadera, Simon W. Moore, Peter G. Neumann and Michael Roe. Beyond the PDP-11: Architectural Support for a Memory-Safe C Abstract Machine. Proceedings of the Twentieth International Conference on Architectural Support for Programming Languages and Operating Systems, ACM (2015), 117–130. [BibTeX] [abstract] [pdf] [doi]
  7. David Chisnall. No such thing as a general-purpose processor. Communications of the ACM 57, 12 (2014), 44–48. [BibTeX] [pdf] [doi]
  8. David Chisnall. Smalltalk in a C world. Science of Computer Programming 96, Part 1, 0 (2014), 4–16. [BibTeX] [abstract] [doi]
  9. David Chisnall. There’s No Such Thing As a General-purpose Processor. Queue 12, 10 (2014), 20:20–20:25. [BibTeX] [doi]
  10. Jonathan Woodruff, Robert N.M. Watson, David Chisnall, Simon W. Moore, Jonathan Anderson, Brooks Davis, Ben Laurie, Peter G. Neumann, Robert Norton and Michael Roe. The CHERI capability model: revisiting RISC in an age of risk. ISCA ’14: Proceeding of the 41st annual international symposium on Computer architecture, IEEE Press (2014), 457–468. [BibTeX] [abstract] [pdf] [doi]
  11. David Chisnall. LLVM in the FreeBSD Toolchain. Proceedings of AsiaBSDCon 2014, (2014). [BibTeX] [pdf]
  12. Jonathan Anderson, Robert N. M. Watson, David Chisnall, Khilan Gudka, Ilias Marinos and Brooks Davis. TESLA: temporally enhanced system logic assertions. EuroSys ’14: Proceedings of the Ninth European Conference on Computer Systems, ACM (2014), 1–14. [BibTeX] [abstract] [pdf] [doi]
  13. David Chisnall. The challenge of cross-language interoperability. Communications of the ACM 56, 12 (2013), 50–56. [BibTeX] [abstract] [pdf] [doi]
  14. David Chisnall. The Challenge of Cross-language Interoperability. Queue 11, 10 (2013), 20–28. [BibTeX] [abstract] [pdf] [doi]
  15. David Chisnall. A new Objective-C runtime: from research to production. Communications of the ACM 55, 9 (2012), 44–47. [BibTeX] [pdf] [doi]
  16. David Chisnall. Smalltalk in a C world. IWST ’12: Proceedings of the International Workshop on Smalltalk Technologies, ACM (2012), 1–12. [BibTeX] [abstract] [pdf] [doi]
  17. David Chisnall. A New Objective-C Runtime: from Research to Production. Queue 10, 7 (2012), 20–24. [BibTeX] [doi]
  18. David Chisnall. A Modern Objective-C Runtime. Journal of Object Technology 8, 1 (2009), 221–240. [BibTeX] [abstract] [pdf] [doi]
  19. David Chisnall, Min Chen and Charles Hansen. Ray-driven dynamic working set rendering: For complex volume scene graphs involving large point clouds. Vis. Comput. 23, 3 (2007), 167–179. [BibTeX] [abstract] [doi]
  20. K. W. Brodlie, J. Brooke, M. Chen, D. Chisnall, C. J. Hughes, Nigel W. John, M. W. Jones, M. Riding, N. Roard, M. Turner and J. D. Wood. Adaptive Infrastructure for Visual Computing. Theory and Practice of Computer Graphics, (2007), 147–156. [BibTeX]
  21. David Chisnall and Min Chen. The Making of SimEAC. ICAC ’06: Proceedings of the 2006 IEEE International Conference on Autonomic Computing, IEEE Computer Society (2006), 301–302. [BibTeX] [abstract] [doi]
  22. David Chisnall, Min Chen and Charles Hansen. Knowledge-based out-of-core algorithms for data management in visualization. EUROVIS’06: Proceedings of the Eighth Joint Eurographics / IEEE VGTC conference on Visualization, Eurographics Association (2006), 107–114. [BibTeX] [abstract] [doi]
  23. Ken Brodlie, John Brooke, Min Chen, David Chisnall, Ade Fewings, Chris Hughes, Nigel W. John, Mark W. Jones, Mark Riding and Nicolas Roard. Visual Supercomputing - Technologies, Applications and Challenges. Computer Graphics Forum, 2 (2005), 217–245. [BibTeX]

Books

  1. David Chisnall. Go Programming Language Phrasebook. Addison-Wesley Professional, 2012. [BibTeX]
  2. David Chisnall. Objective-C Phrasebook. Addison-Wesley Professional, 2011. [BibTeX]
  3. David Chisnall. Cocoa Programming Developer’s Handbook. Addison-Wesley Professional, 2010. [BibTeX]
  4. David Chisnall. The Definitive Guide to the Xen Hypervisor (Prentice Hall Open Source Software Development Series). Prentice Hall PTR, Upper Saddle River, NJ, USA, 2007. [BibTeX]

Tech Reports

  1. Robert N. M. Watson, Peter G. Neumann, Jonathan Woodruff, Michael Roe, Jonathan Anderson, David Chisnall, Brooks Davis, Alexandre Joannou, Ben Laurie, Simon W. Moore, Steven J. Murdoch, Robert Norton, Stacey Son and Hongyan Xia. Capability Hardware Enhanced RISC Instructions: CHERI Instruction-Set Architecture (Version 5). University of Cambridge, Computer Laboratory, 2016. [BibTeX] [abstract] [pdf]
  2. Robert N. M. Watson, David Chisnall, Brooks Davis, Wojciech Koszek, Simon W. Moore, Steven J. Murdoch, Peter G. Neumann and Jonathan Woodruff. Capability Hardware Enhanced RISC Instructions: CHERI Programmer’s Guide. University of Cambridge, Computer Laboratory, 2015. [BibTeX] [abstract] [pdf]
  3. Robert N. M. Watson, David Chisnall, Brooks Davis, Wojciech Koszek, Simon W. Moore, Steven J. Murdoch, Peter G. Neumann and Jonathan Woodruff. Bluespec Extensible RISC Implementation: BERI Software reference. University of Cambridge, Computer Laboratory, 2015. [BibTeX] [abstract] [pdf]
  4. Robert N. M. Watson, Peter G. Neumann, Jonathan Woodruff, Jonathan Anderson, David Chisnall, Brooks Davis, Ben Laurie, Simon W. Moore, Steven J. Murdoch and Michael Roe. Capability Hardware Enhanced RISC Instructions: CHERI Instruction-set architecture. University of Cambridge, Computer Laboratory, 15 JJ Thomson Avenue, Cambridge CB3 0FD, United Kingdom, phone +44 1223 763500, 2014. [BibTeX] [abstract]
  5. Robert N.M. Watson, David Chisnall, Brooks Davis, Wojciech Koszek, Simon W. Moore, Steven J. Murdoch, Peter G. Neumann and Jonathan Woodruff. Bluespec Extensible RISC Implementation: BERI Software reference. University of Cambridge, Computer Laboratory, 2014. [BibTeX] [abstract] [pdf]
  6. Robert N.M. Watson, Jonathan Woodruff, David Chisnall, Brooks Davis, Wojciech Koszek, A. Theodore Markettos, Simon W. Moore, Steven J. Murdoch, Peter G. Neumann, Robert Norton and Michael Roe. Bluespec Extensible RISC Implementation: BERI Hardware reference. University of Cambridge, Computer Laboratory, 2014. [BibTeX] [abstract] [pdf]
  7. Robert N.M. Watson, David Chisnall, Brooks Davis, Wojciech Koszek, Simon W. Moore, Steven J. Murdoch, Peter G. Neumann and Jonathan Woodruff. Capability Hardware Enhanced RISC Instructions: CHERI User’s guide. University of Cambridge, Computer Laboratory, 2014. [BibTeX] [abstract] [pdf]
  8. Robert N.M. Watson, Peter G. Neumann, Jonathan Woodruff, Jonathan Anderson, David Chisnall, Brooks Davis, Ben Laurie, Simon W. Moore, Steven J. Murdoch and Michael Roe. Capability Hardware Enhanced RISC Instructions: CHERI Instruction-set architecture. University of Cambridge, Computer Laboratory, 2014. [BibTeX] [abstract] [pdf]