Thibaut Balabonski

According to our database, Thibaut Balabonski authored at least 20 papers between 2010 and 2023.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2023

A strong call-by-need calculus.

Thibaut Balabonski, Antoine Lanco, Guillaume Melquiond

Log. Methods Comput. Sci., 2023

2021

Computer Aided Formal Design of Swarm Robotics Algorithms.

Thibaut Balabonski, Pierre Courtieu, Robin Pelle, Lionel Rieg, Sébastien Tixeuil, Xavier Urbain

Proceedings of the Stabilization, Safety, and Security of Distributed Systems, 2021

2020

On the Semantics of Polychronous Polytimed Specifications.

Hai Nguyen Van, Thibaut Balabonski, Frédéric Boulanger, Chantal Keller, Benoît Valiron, Burkhart Wolff

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2020

2019

Synchronous Gathering without Multiplicity Detection: a Certified Algorithm.

Thibaut Balabonski, Amélie Delga, Lionel Rieg, Sébastien Tixeuil, Xavier Urbain

Theory Comput. Syst., 2019

Continuous vs. Discrete Asynchronous Moves: A Certified Approach for Mobile Robots.

Thibaut Balabonski, Pierre Courtieu, Robin Pelle, Lionel Rieg, Sébastien Tixeuil, Xavier Urbain

Proceedings of the Networked Systems - 7th International Conference, 2019

2018

Brief Announcement Continuous vs. Discrete Asynchronous Moves: A Certified Approach for Mobile Robots.

Thibaut Balabonski, Pierre Courtieu, Robin Pelle, Lionel Rieg, Sébastien Tixeuil, Xavier Urbain

Proceedings of the Stabilization, Safety, and Security of Distributed Systems, 2018

A Foundational Framework for Certified Impossibility Results with Mobile Robots on Graphs.

Thibaut Balabonski, Robin Pelle, Lionel Rieg, Sébastien Tixeuil

Proceedings of the 19th International Conference on Distributed Computing and Networking, 2018

2017

Foundations of strong call by need.

Thibaut Balabonski, Pablo Barenbaum, Eduardo Bonelli, Delia Kesner

Proc. ACM Program. Lang., 2017

A Symbolic Operational Semantics for TESL - With an Application to Heterogeneous System Testing.

Hai Nguyen Van, Thibaut Balabonski, Frédéric Boulanger, Chantal Keller, Benoît Valiron, Burkhart Wolff

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2017

Certified Gathering of Oblivious Mobile Robots: Survey of Recent Results and Open Problems.

Thibaut Balabonski, Pierre Courtieu, Lionel Rieg, Sébastien Tixeuil, Xavier Urbain

Proceedings of the Critical Systems: Formal Methods and Automated Verification - Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems - and, 2017

2016

The Design and Formalization of Mezzo, a Permission-Based Programming Language.

Thibaut Balabonski, François Pottier, Jonathan Protzenko

ACM Trans. Program. Lang. Syst., 2016

2015

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

Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2015

Towards a Formal Semantics of the TESL Specification Language.

Hai Nguyen Van, Thibaut Balabonski, Frédéric Boulanger, Safouan Taha, Benoît Valiron, Burkhart Wolff, Lina Ye

Proceedings of the Joint Proceedings of the 3rd International Workshop on the Globalization Of Modeling Languages and the 9th International Workshop on Multi-Paradigm Modeling co-located with ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems, 2015

2014

Type Soundness and Race Freedom for Mezzo.

Thibaut Balabonski, François Pottier, Jonathan Protzenko

Proceedings of the Functional and Logic Programming - 12th International Symposium, 2014

2013

Weak optimality, and the meaning of sharing.

Thibaut Balabonski

Proceedings of the ACM SIGPLAN International Conference on Functional Programming, 2013

2012

Axiomatic Sharing-via-Labelling.

Thibaut Balabonski

Proceedings of the 23rd International Conference on Rewriting Techniques and Applications (RTA'12) , 2012

A unified approach to fully lazy sharing.

Thibaut Balabonski

Proceedings of the 39th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2012

2010

On the Implementation of Dynamic Patterns

Thibaut Balabonski

Proceedings of the Proceedings 5th International Workshop on Higher-Order Rewriting, 2010

Optimality for dynamic patterns.

Thibaut Balabonski

Proceedings of the 12th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2010

A Geometric Approach to the Problem of Unique Decomposition of Processes.

Thibaut Balabonski, Emmanuel Haucourt

Proceedings of the CONCUR 2010 - Concurrency Theory, 21th International Conference, 2010