| 2026 | LICS | A Machine-Independent, Log-Sensitive Space-Cost Measure for the Weak Lambda-Calculus. | Thibaut Balabonski |
| 2021 | FSCD | A Strong Call-By-Need Calculus. | Thibaut Balabonski, Antoine Lanco, Guillaume Melquiond |
| 2021 | SSS | Computer Aided Formal Design of Swarm Robotics Algorithms. | Thibaut Balabonski, Pierre Courtieu, Robin Pelle, Lionel Rieg, Sbastien Tixeuil, Xavier Urbain |
| 2018 | ICDCN | A Foundational Framework for Certified Impossibility Results with Mobile Robots on Graphs. | Thibaut Balabonski, Robin Pelle, Lionel Rieg, Sbastien Tixeuil |
| 2018 | SSS | Brief Announcement Continuous vs. Discrete Asynchronous Moves: A Certified Approach for Mobile Robots. | Thibaut Balabonski, Pierre Courtieu, Robin Pelle, Lionel Rieg, Sbastien Tixeuil, Xavier Urbain |
| 2017 | FMICS | Certified Gathering of Oblivious Mobile Robots: Survey of Recent Results and Open Problems. | Thibaut Balabonski, Pierre Courtieu, Lionel Rieg, Sbastien Tixeuil, Xavier Urbain |
| 2016 | SSS | Synchronous Gathering Without Multiplicity Detection: A Certified Algorithm. | Thibaut Balabonski, Amlie Delga, Lionel Rieg, Sbastien Tixeuil, Xavier Urbain |
| 2015 | MODELS | Towards a Formal Semantics of the TESL Specification Language. | Hai Nguyen Van, Thibaut Balabonski, Frdric Boulanger, Safouan Taha, Benot Valiron, Burkhart Wolff, Lina Ye |
| 2015 | POPL | Common Compiler Optimisations are Invalid in the C11 Memory Model and what we can do about it. | Viktor Vafeiadis, Thibaut Balabonski, Soham Chakraborty, Robin Morisset, Francesco Zappa Nardelli |
| 2014 | FLOPS | Type Soundness and Race Freedom for Mezzo. | Thibaut Balabonski, Franois Pottier, Jonathan Protzenko |
| 2013 | ICFP | Weak optimality, and the meaning of sharing. | Thibaut Balabonski |
| 2012 | POPL | A unified approach to fully lazy sharing. | Thibaut Balabonski |
| 2010 | CONCUR | A Geometric Approach to the Problem of Unique Decomposition of Processes. | Thibaut Balabonski, Emmanuel Haucourt |
| 2010 | PPDP | Optimality for dynamic patterns. | Thibaut Balabonski |