Brussels / 31 January & 1 February 2015

schedule

David Chisnall

Photo of David Chisnall

David is a researcher in the University of Cambridge Computer Laboratory and sometimes freelance writer and consultant. He is the author of The Definitive Guide to the Xen Hypervisor Cocoa Programming Developer's Handbook, and Objective-C and Go Phrasebooks, who often writes about himself in the third person. He dances Cuban salsa and Argentinian tango, plays ultimate frisbee and badminton, and enjoys real ale.

David's research spans programming languages, operating systems, and computer architecture. His is particularly interested in being able to safely and useably combine multiple operating systems in a single program, without losing any of the benefits of the respective languages. In particular, he is currently focussed on safely allowing C libraries to be used in the same process as memory-safe languages, without breaking the memory-safety guarantees of the high-level language.


Events

Title Day Room Track Start End
The CHERI CPU
RISC in the age of risk
Sunday K.1.105 (La Fontaine) Security 10:00 10:50
Adventures with LLVM in a magical land where pointers are not integers Sunday K.4.401 LLVM toolchain 14:30 14:50