Eloi Perdereau, Daniel Sokolowski, Jolan Philippe, Hélène Coullon and Guido Salvaneschi. Formal Verification of Stability in Provisioning Changes with BPlan In 24th International Conference on Software Engineering and Formal Methods. 2026 [bib]
Frédéric Loulergue and Jolan Philippe. Towards Semantics-Aware Resilience in Composable Data Systems. In European Conference on Advances in Databases and Information Systems (ADBIS). 2026 [pdf | bib]
Jolan Philippe, Antoine Omond, Hélène Coullon, Charles Prud'Homme, and Issam Raïs. Fast Choreography of Cross-DevOps Reconfiguration with Ballet: A Multi-Site OpenStack Case Study. In IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER). IEEE, 2024. [doi | pdf | bib | code]
Jolan Philippe, Massimo Tisi, Hélène Coullon, and Gerson Sunyé. Executing Certified Model Transformations on Apache Spark. In 14th ACM SIGPLAN International Conference on Software Language Engineering (SLE), pages 36--48. ACM, 2021. [doi | pdf | bib]
Frédéric Loulergue, and Jolan Philippe. Automatic Optimization of Python Skeletal Parallel Programs. In International Conference of Algorithms and Architectures for Parallel Processing (ICA3PP), pages 183--197. Springer, 2020. [doi | pdf | bib]
Frédéric Loulergue, and Jolan Philippe. New List Skeletons for the Python Skeleton Library. In 20th International Conference on Parallel and Distributed Computing, Applications and Technologies (PDCAT), pages 392--397. IEEE, 2019. [doi | pdf | bib]
Jolan Philippe, and Frédéric Loulergue. PySke: Algorithmic Skeletons for Python. In International Conference on High Performance Computing and Simulation (HPCS), pages 40--47. IEEE, 2019. [doi | pdf | bib]
Jolan Philippe, and Frédéric Loulergue. Parallel Programming with Coq: Map and Reduce Skeletons on Tree. In 34th ACM/SIGAPP Symposium on Applied Computing (SAC), pages 1578--1581. ACM, 2019. [doi | pdf | bib]
Haitam El Hayani, Jolan Philippe, and Stéphanie Challita. Poliac: Production Observability for LLM-based Infrastructure as Code. In 41st IEEE/ACM International Conference on Automated Software Engineering Workshops (ASEW'26). ConfLang 2026. [doi | pdf | bib]
Olivia Proust, Hélène Coullon, Jolan Philippe, and Frédéric Loulergue. Scopeannon: A Static Analyzer of Ansible’s Scope Ambiguities. In 41st IEEE/ACM International Conference on Automated Software Engineering Workshops (ASEW'26). ConfLang 2026. [doi | pdf | bib]
Frédéric Loulergue, Jolan Philippe, and Nicolas Paul. mech-uvl: A Mechanized Semantic Toolkit for the Universal Variability Language. In 10th International Workshop on Languages for Modelling Variability. MODEVAR 2026. [pdf | bib]
Farid Arfi, Hélène Coullon, Frédéric Loulergue, Jolan Philippe, and Simon Robillard. A Maude Formalization of the Distributed Reconfiguration Language Concerto-D. In 17th Interaction and Concurrency Experience (ICE). EPTCS 2024. [url | pdf | bib| code]
Frédéric Loulergue, and Jolan Philippe. Towards Verified Scalable Parallel Computing with Coq and Spark. In 25th ACM International Workshop on Formal Techniques for Java-like Programs (FTfJP), pages 11--17. ACM, 2023. [doi | pdf | bib]
Jolan Philippe, Hélène Coullon, Massimo Tisi, and Gerson Sunyé. Towards Transparent Combination of Model Management Execution Strategies for Low-Code Development Platform In 23rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems (MODELS): Companion Proceedings, pages 1--10. ACM, 2020. [doi | pdf | bib]
Baptiste Jonglez, Matthieu Simonin, Jolan Philippe and Sidi Mohammed Kaddour. Multi-provider capabilities in EnOSlib: driving distributed system experiments on the edge-to-cloud continuum. Invited tutorial paper in 25th International Conference on Distributed Applications and Interoperable Systems (DAIS). 2025 [url | pdf | bib]
Jolan Philippe. Contribution to the Analysis of the Design-Space of a Distributed Transformation Engine. Ph.D thesis. IMT Atlantique, 2022. [doi | pdf | bib]
Jolan Philippe. Systematic development of Efficient programs on Parallel data structures. Master thesis. Northern Arizona University, 2019. [url | pdf | bib]
Quentin Guilloteau, Ouadie Khebbeb, Eloi Perdereau, Jolan Philippe, Hélène Coullon, and Philippe Merle. About Infrastructure-as-Code. Produced for the project Taranis: Model, Deploy, Orchestrate, and Optimize Cloud Applications and Infrastructure, funded by the French Agence Nationale de la Recherche (ANR-23-PECL-0008). 2026.
Benedek Horváth, Jolan Philippe, Apurvanand Sahay, and Qurat ul ain Ali. Multi-paradigm Distributed Transformation Engine. Publicly produced for the project Training the Next Generation of Experts in Scalable Low-Code Engineering Platforms (Lowcomote), funded by Marie Sklodowska-Curie Actions (project number 813884). 2022. [pdf | bib]
Sorour Jahanbin, Qurat ul ain Ali, Jolan Philippe, and Benedek Horváth. Scalable Low-Code Artefact Persistence and Query. Publicly produced for the project Training the Next Generation of Experts in Scalable Low-Code Engineering Platforms (Lowcomote), funded by Marie Sklodowska-Curie Actions (project number 813884). 2022. [pdf | bib]
Benedek Horváth, Jolan Philippe, and Apurvanand Sahay. Concepts for multi-paradigm distributed transformation. Publicly produced for the project Training the Next Generation of Experts in Scalable Low-Code Engineering Platforms (Lowcomote), funded by Marie Sklodowska-Curie Actions (project number 813884). 2020. [pdf | bib]
Eloi Perdereau, Daniel Sokolowski, Jolan Philippe, Hélène Coullon, and Guido Salvaneschi. Verifying the Stability of Terraform Executions In 41st IEEE/ACM International Conference on Automated Software Engineering Workshops (ASEW'26). ConfLang 2026.
Jolan Philippe, and Frédéric Loulergue. Towards Automatically Optimizing PySke Programs In International Conference on High Performance Computing and Simulation (HPCS), pages 1045--1046. 2019. [doi | pdf | bib]
Jolan Philippe, and Frédéric Loulergue. Towards the Generation of Correct Java Programs In International Conference on High Performance Computing and Simulation (HPCS), pages 1055--1056. 2018. [doi | pdf | bib]
Jolan Philippe, Wadoud Bousdira, and Frédéric Loulergue. Formalization of a Big Graph API in Coq In International Conference on High Performance Computing and Simulation (HPCS), pages 893--894. 2017. [doi | pdf | bib]
Jolan Philippe. Pédagogie d’un maître de conférences - Écrit réflexif. 2026. [pdf | bib]
Jannik Laval, Jolan Philippe, Eric Cariou, Rabea Ameur-Boulifa, Sylvain Guérin, Olga Kouchnarenko, Nawal Guermouche. Défi Adaptation Continue (ADDYCT). 2025. [url | pdf | bib]
Jolan Philippe. Evaluation of Combinations of Model Management Execution Strategies for Low-Code Development Platforms. 2021. [doi | pdf | bib]
Jolan Philippe. Digital Signatures using Elliptic Curve with Extended Galois Fields. 2019. [pdf | bib]
Jolan Philippe. 2D-Clustering through Approximation Method using Geometric Calculation. 2018. [doi | pdf | bib]