In my previous, academic, life, I worked as a Research Assistant with Peter Sewell at the University of Cambridge. I trained, and learned so much, as a PhD student at Laboratoire PPS (Université Paris Diderot, France), thanks to the direction of Juliusz Chroboczek. The PhD defense took place on the 9th of November 2013.
Gabriel Kerneis, Charlie Shepherd, Stefan Hajnoczi.
Analysis and CPS Conversion for Safe, Portable, and Efficient
PEPM'14, San Diego, CA, USA, January 20-21, 2014.
Also available in html and epub format.
Gabriel Kerneis. Continuation-Passing C: Program Transformation for Compiling Concurrency in an Imperative Language. PhD thesis. Laboratoire PPS, Université Paris Diderot (2012).
Gabriel Kerneis, Juliusz Chroboczek. Continuation-Passing C, compiling threads to events through continuations. Higher-Order and Symbolic Computation 24(3): 239-279 (2011).
Gabriel Kerneis, Juliusz Chroboczek. CPC: programming with a massive number of lightweight threads. PLACES'11 (2011).
Matthieu Boutier, Gabriel Kerneis. Generating events with style. Unpublished draft (2012).
Gabriel Kerneis, Juliusz Chroboczek. Are events fast?. Technical report, Université Paris Diderot (2009).
Have you ever heard of glycojenga?