I have moved to work as a Research Assistant at the University of Cambridge.
I formerly worked as a PhD student at Laboratoire PPS (Université Paris Diderot, France), under the direction of Dr. Juliusz Chroboczek.
Soutenance de thèse : 9 novembre 2012, 15h30, salle 1C12, 175 rue du Chevaleret, Paris.
Resume: English (pdf),
French (pdf),
LinkedIn profile
Contact information
Gabriel Kerneis. Continuation-Passing C: Program Transformation for Compiling Concurrency in an Imperative Language. PhD thesis. Laboratoire PPS, Université Paris Diderot (2012).
Matthieu Boutier, Gabriel Kerneis. Generating events with style. Submitted for publication (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).
Gabriel Kerneis, Juliusz Chroboczek. Are events fast?. Technical report, Université Paris Diderot (2009).
Have you ever heard of glycojenga?