Gabriel Kerneis

Publication Activity (10 Years)

Years Active: 2010-2015
Publications (10 Years): 1

Top Topics

Static Analysis

Virtual Machine

Top Venues

Paris Diderot University, France (PHD)

Education History

Paris Diderot University, France

PHD

Publications

Kathryn E. Gray, Gabriel Kerneis, Dominic P. Mulligan, Christopher Pulte, Susmit Sarkar, Peter Sewell
An integrated concurrency and core-ISA architectural envelope definition, and test oracle, for IBM POWER multiprocessors. MICRO (2015)
Gabriel Kerneis, Charlie Shepherd, Stefan Hajnoczi
QEMU/CPC: static analysis and CPS conversion for safe, portable, and efficient coroutines. PEPM (2014)
Gabriel Kerneis, Charlie Shepherd, Stefan Hajnoczi
QEMU/CPC: static analysis and CPS conversion for safe, portable, and efficient coroutines. CoRR (2013)
Gabriel Kerneis, Juliusz Chroboczek
Lambda-lifting and CPS conversion in an imperative language CoRR (2012)
Matthieu Boutier, Gabriel Kerneis
Generating events with style CoRR (2012)
Gabriel Kerneis, Juliusz Chroboczek
Continuation-Passing C, compiling threads to events through continuations. High. Order Symb. Comput. 24 (3) (2011)
Gabriel Kerneis, Juliusz Chroboczek
Erratum to: Continuation-Passing C, compiling threads to events through continuations. High. Order Symb. Comput. 24 (4) (2011)
Gabriel Kerneis, Juliusz Chroboczek
CPC: programming with a massive number of lightweight threads CoRR (2011)
Gabriel Kerneis, Juliusz Chroboczek
Continuation-Passing C, compiling threads to events through continuations CoRR (2010)