1. From functional programs to pipelined dataflow circuits;Proceedings of the 26th International Conference on Compiler Construction;2017-02-05
2. Abstract Machines for Game Semantics, Revisited;2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science;2013-06
3. Seamless Distributed Computing from the Geometry of Interaction;Trustworthy Global Computing;2013
4. Coherent Minimisation: Towards efficient tamper-proof compilation;Electronic Proceedings in Theoretical Computer Science;2012-12-14
5. The Geometry of Synthesis;Lecture Notes in Computer Science;2012