Gabriel Kerneis

According to our database, Gabriel Kerneis authored at least 8 papers between 2011 and 2015.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2015

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

Proceedings of the 48th International Symposium on Microarchitecture, 2015

2014

QEMU/CPC: static analysis and CPS conversion for safe, portable, and efficient coroutines.

Gabriel Kerneis, Charlie Shepherd, Stefan Hajnoczi

Proceedings of the ACM SIGPLAN 2014 workshop on Partial evaluation and program manipulation, 2014

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

PhD thesis, 2012

Generating events with style

Matthieu Boutier, Gabriel Kerneis

CoRR, 2012

Lambda-lifting and CPS conversion in an imperative language

Gabriel Kerneis, Juliusz Chroboczek

CoRR, 2012

2011

Erratum to: Continuation-Passing C, compiling threads to events through continuations.

Gabriel Kerneis, Juliusz Chroboczek

High. Order Symb. Comput., 2011

Continuation-Passing C, compiling threads to events through continuations.

Gabriel Kerneis, Juliusz Chroboczek

High. Order Symb. Comput., 2011

CPC: programming with a massive number of lightweight threads

Gabriel Kerneis, Juliusz Chroboczek

CoRR, 2011