Gabriel Kerneis
According to our database1,
Gabriel Kerneis
authored at least 8 papers
between 2011 and 2015.
Collaborative distances:
Collaborative distances:
Timeline
2011
2012
2013
2014
2015
0
1
2
3
4
2
3
1
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2015
An integrated concurrency and core-ISA architectural envelope definition, and test oracle, for IBM POWER multiprocessors.
Proceedings of the 48th International Symposium on Microarchitecture, 2015
2014
QEMU/CPC: static analysis and CPS conversion for safe, portable, and efficient coroutines.
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).
PhD thesis, 2012
2011
Erratum to: Continuation-Passing C, compiling threads to events through continuations.
High. Order Symb. Comput., 2011
High. Order Symb. Comput., 2011