I am currently interested in the efficient and decentralised implementation of concurrent and distributed systems.
Juliusz Chroboczek. Continuation Passing for C: A space-efficient implementation of concurrency. PPS technical report. 2005.
Gabriel Kerneis and Juliusz Chroboczek. Are events fast?. Submitted for publication. 2009.
Juliusz Chroboczek. The CPC manual. 2004--2007.
Gabriel Kerneis' talks and M.Sc. thesis are available on Gabriel Kerneis' home page.
See also the CPC sample implementation.
Juliusz Chroboczek. The Babel routing protocol. Internet-Draft draft-chroboczek-babel-routing-protocol-00. 7 April 2009.
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 and the Babel experimental network.
Juliusz Chroboczek. Eager errors in a lazy calculus. Unpublished draft. 2002. (Available on demand.)
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.