Gabriel Kerneis

Home | Research | Software | Teaching | Contact

About me

I work as a Software Engineer at Google Paris, in the cultural institute team.

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.

Resume: English (pdf), LinkedIn profile
Contact information

Research

My research page

Gabriel Kerneis, Charlie Shepherd, Stefan Hajnoczi. QEMU/CPC: Static Analysis and CPS Conversion for Safe, Portable, and Efficient Coroutines. 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).

Software

My software page

My github repositories

My contributions to free software

Have you ever heard of glycojenga?