International Conferences

1. Frédéric Loulergue, Mohamed Haady Tiemtore, Semantics of a Subset of Puppet 4.8 Mechanized in Why3. In International Symposium on Leveraging Applications of Formal Methods, Verification, and Validation (ISoLa), volume 17145 of LNCS. Springer, 2026.
2. Mohamed Haady Tiemtore, Frédéric Loulergue, Tools for detecting security issues in Infrastructure-as-Code: A focused literature review. In Empirical Software Engineering and Measurement (ESEM), LIPIcs. Dagstuhl Publishing, 2026. Emerging Results, Vision, and Reflection Papers Track, 2026.

International Workshops

1. Olivia Proust, Hélène Coullon, Jolan Philippe, Frédéric Loulergue, Scopeannon: A Static Analyzer of Ansible’s Scope Ambiguities. In Proceedings of the 3rd International Workshop on Configuration Languages (ConfLang ‘26) hosted at ASE 2026, Munich, Germany.

Software

1. Frédéric Loulergue, Mohamed Haady Tiemtore, MechaPuppet: a semantics and a verified compiler for a Subset of Puppet in Why3, version 0.5, Zenodo, 2026

Previous publications

We start the project from the following contributions:

• Farid Arfi, Hélène Coullon, Frédéric Loulergue, Jolan Philippe, Simon Robillard. An Overview of the Decentralized Reconfiguration Language Concerto-D through its Maude Formalization. In Interaction and Concurrency Experiences 2024 (ICE'24) hosted at DisCoTec 2024, Groningen, The Netherlands.

• Jolan Philippe, Antoine Omond, Hélène Coullon, Charles Prud’homme, Issam Rais. Fast Choreography of Cross-DevOps Reconfiguration with Ballet: A Multi-Site OpenStack Case Study. In the IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER), March 2024, Finland.

• Hélène Coullon, Ludovic Henrio, Frédéric Loulergue, Simon Robillard. Component-Based Distributed Software Reconfiguration: a Verification-Oriented Survey. In ACM Computing Surveys, 2024.

• Simon Robillard, Hélène Coullon. SMT-Based Planning Synthesis for DistributedSystem Reconfigurations. In FASE 2022, Munich, Germany.

• Maverick Chardet, Hélène Coullon, Simon Robillard. Toward Safe and Efficient Reconfiguration with Concerto. In Science of Computer Porgamming, 2021.

• Maverick Chardet, Hélène Coullon, Christian Perez. Predictable Efficiency for Reconfiguration of Service-Oriented Systems with Concerto. In CCGrid 2020, Melbourne, Australia.

• Hélène Coullon, Didier Lime, Claude Jard. Integrated Model-checking for the Design of Safe and Efficient Distributed Software Commissioning. In iFM 2019, Bergen, Norway.