3 citations · 6 across the 5 of their papers we have counts for
5 papers · 1 filter
QEMU/CPC: Static Analysis and CPS Conversion for Safe, Portable, and Efficient Coroutines
Gabriel Kerneis, Charlie Shepherd, Stefan Hajnoczi
Coroutines and events are two common abstractions for writing concurrent programs. Because coroutines are often more convenient, but events more portable and efficient, it is natur…
Generating events with style
Matthieu Boutier, Gabriel Kerneis
Threads and events are two common abstractions for writing concurrent programs. Because threads are often more convenient, but events more efficient, it is natural to want to trans…
Lambda-lifting and CPS conversion in an imperative language
Gabriel Kerneis, Juliusz Chroboczek
This paper is a companion technical report to the article "Continuation-Passing C: from threads to events through continuations". It contains the complete version of the proofs of…
CPC: programming with a massive number of lightweight threads
Gabriel Kerneis, Juliusz Chroboczek
Threads are a convenient and modular abstraction for writing concurrent programs, but often fairly expensive. The standard alternative to threads, event-loop programming, allows mu…
Continuation-Passing C: compiling threads to events through continuations
Gabriel Kerneis, Juliusz Chroboczek
In this paper, we introduce Continuation Passing C (CPC), a programming language for concurrent systems in which native and cooperative threads are unified and presented to the pro…