CPC: programming with a massive number of lightweight threads - Gabriel Kerneis; Juliusz Chroboczek (CoRR, 2011)

Continuation-Passing C, compiling threads to events through continuations. - Gabriel Kerneis; Juliusz Chroboczek (High. Order Symb. Comput., 2011)

Erratum to: Continuation-Passing C, compiling threads to events through continuations. - Gabriel Kerneis; Juliusz Chroboczek (High. Order Symb. Comput., 2011)

Lambda-lifting and CPS conversion in an imperative language - Gabriel Kerneis; Juliusz Chroboczek (CoRR, 2012)

Generating events with style - Matthieu Boutier; Gabriel Kerneis (CoRR, 2012)

Continuation-Passing C: Program Transformations for Compiling Concurrency in an Imperative Language. (Continuation-Passing C : Transformations de programmes pour compiler la concurrence dans un langage impératif). - Gabriel Kerneis (2012)

QEMU/CPC: static analysis and CPS conversion for safe, portable, and efficient coroutines. - Gabriel Kerneis; Charlie Shepherd; Stefan Hajnoczi (PEPM, 2014)

An integrated concurrency and core-ISA architectural envelope definition, and test oracle, for IBM POWER multiprocessors. - Kathryn E. Gray; Gabriel Kerneis; Dominic P. Mulligan; Christopher Pulte; Susmit Sarkar; Peter Sewell (MICRO, 2015)