david_chisnall

I am a researcher at Microsoft Research Cambridge and a Visiting Researcher at the University of Cambridge Computer Laboratory, working on hardware/software co-design for cloud security. We recently released a high-performance memory allocator, which was designed to be used with the Verona language. I remain actively involved in the CHERI project, where I led the early language / compiler strand of the research.

I was on the FreeBSD Core Team for two terms, have been an LLVM developer since 2008, am the author of the GNUstep Objective-C runtime (libobjc2 and associated clang support), and am responsible for libcxxrt and the BSD-licensed device tree compiler.