Research

Routing protocols

Matthieu Boutier and Juliusz Chroboczek. User-space multipath in Mosh. Unpublished draft. 2015.

Baptiste Jonglez, Matthieu Boutier and Juliusz Chroboczek. A delay-based routing metric. Unpublished draft. 2015.

Matthieu Boutier and Juliusz Chroboczek. Source-specific routing. In Proc. IFIP Networking 2015. 2015.

Margaret Wasserman, Christopher Hopps and Juliusz Chroboczek. Homenet IS-IS and Babel Comparison. Internet draft draft-mrw-homenet-rtg-comparison. 2015.

Juliusz Chroboczek. The Babel extension mechanism. RFC 7557. 2015.

Juliusz Chroboczek. The Babel routing protocol. RFC 6126. April 2011.

See also the Babel sample implementation.

Supervised memoir

Baptiste Jonglez. A delay-based metric for the Babel routing protocol. Rapport de stage de L3 (B.Sc.). August 2013.

Efficient implementations of concurrency

Gabriel Kerneis and Juliusz Chroboczek. Continuation-Passing C: compiling threads to events through continuations. Higher-Order and Symbolic Computation 24(3):239-279. 2011.

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.

Supervised theses and memoirs

Gabriel Kerneis. Continuation-Passing C : Transformations de programmes pour compiler la concurrence dans un langage impératif. Thèse de Doctorat (Ph.D.). 9 novembre 2012. Paris.

Matthieu Boutier. Implémentations efficaces de la concurrence sous Windows. Rapport de stage de M2 (M.Sc.). 2012.

Matthieu Boutier. Sauvegarde de variables locales en CPC. Rapport de stage de M1. Université Paris-Diderot, Paris, France. 2011.

Gabriel Kerneis. CPC, des threads coopératifs par passage de continuation. Rapport de stage de M2 (M.Sc.). 2008.

Pejman Attar et Yoann Canal. Réalisation d'un seeder BitTorrent en CPC. Rapport de stage de L3 (B.Sc.). 2009.

See also the CPC sample implementation.

Other stuff

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.

Older stuff

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, 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, PDF.

Andrea Asperti and Juliusz Chroboczek. Safe Operators: brackets closed forever. Applicable Algebra in Engineering, Communication and Computing, 8:6. 1996. Compressed PostScript.