Gabriel Kerneis and Juliusz Chroboczek. Continuation-Passing C: compiling threads to events through continuations. Submitted for publication. 2012.
Juliusz Chroboczek. Sequentialising a concurrent program using continuation-passing style. Tutorial given at POPL'2012. Philadelphia, PA, USA. 2012.
Juliusz Chroboczek. Sequentialising a concurrent program using continuation-passing style. Tutorial given at DSL'2011. Bordeaux, France. 2011.
Gabriel Kerneis and Juliusz Chroboczek. CPC: programming with a massive number of lightweight threads. In Proc. PLACES'11. 2011.
Gabriel Kerneis and Juliusz Chroboczek. Are events fast? PPS technical report. 2009.
Juliusz Chroboczek. Continuation Passing for C: A space-efficient implementation of concurrency. PPS technical report. 2005.
Juliusz Chroboczek. The CPC manual. 2004—2010.
You may also be interested in Matthieu Boutier's undergraduate thesis:
Gabriel Kerneis' talks and M.Sc. thesis are available on Gabriel Kerneis' research page.
See also the CPC sample implementation.
Juliusz Chroboczek. Babel, un protocole de routage pour réseaux hybrides. Slides from a talk given at ENSIMAG, Grenoble, France. (In French.) 16 January 2012.
Juliusz Chroboczek. The Babel routing protocol. RFC 6126. April 2011.
Juliusz Chroboczek. Diversity-aware routing. Slides from a talk given at WBMv4. 17 March 2011.
Juliusz Chroboczek. The Ad Hoc Configuration Protocol. Internet-Draft draft-chroboczek-ahcp-00. 9 August 2010.
Juliusz Chroboczek. Babel — a routing protocol for sparse networks. Slides from a talk given at FunkFeuer.at. 25 July 2008.
See also the Babel sample implementation.
Juliusz Chroboczek. BitTorrent DHT Extensions for IPv6. BEP-32. 2009.
Juliusz Chroboczek and Sylvain Lebresne. Juppix: a Linux Live-CD for Undergraduate Students. Unpublished. 2008.
Juliusz Chroboczek. Game Semantics and Subtyping. Ph.D. thesis, University of Edinburgh, Edinburgh, Great-Britain. 2003. Compressed Postscript, PDF. Also available from the University of Edinburgh as LFCS report ECS-LFCS-03-432.
Juliusz Chroboczek. Subtyping Recursive Games. In Proceedings of the Fifth International Conference on Typed Lambda Calculi and Applications (TLCA'01). 2—5 May 2001, Kraków, Poland. Abstract, Compressed PostScript or PDF.
Juliusz Chroboczek. Game Semantics and Subtyping. In Proceedings of the 15th annual IEEE symposium on Logic in Computer Science (LICS'00). June 2000, Santa Barbara, California. Abstract, Compressed Postscript or PDF.
Juliusz Chroboczek. Playing with Games: the Games Workbench. 2001. Unpublished note. Compressed Postscript, PDF. You may also download the GWB.
Andrea Asperti and Juliusz Chroboczek. Safe Operators: brackets closed forever. Applicable Algebra in Engineering, Communication and Computing, 8:6. 1996. Compressed PostScript.