3 citations · 6 across the 7 of their papers we have counts for
Showing cs.PLShow all
3 papers · 1 filter
cs.PL2012
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…
cs.PL2011★ 3 cited
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…
cs.PL2010★ 3 cited
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…