Formalization of a Big Graph API in Coq. - Jolan Philippe; Wadoud Bousdira; Frédéric Loulergue (HPCS, 2017)

Towards the Generation of Correct Java Programs (Research Poster). - Jolan Philippe; Frédéric Loulergue (HPCS, 2018)

Automatic Optimization of Python Skeletal Parallel Programs. - Frédéric Loulergue; Jolan Philippe (ICA3PP (1), 2019)

PySke: Algorithmic Skeletons for Python. - Jolan Philippe; Frédéric Loulergue (HPCS, 2019)

Towards Automatically Optimizing PySke Programs. - Jolan Philippe; Frédéric Loulergue (HPCS, 2019)

New List Skeletons for the Python Skeleton Library. - Frédéric Loulergue; Jolan Philippe (PDCAT, 2019)

Parallel programming with Coq: map and reduce skeletons on trees. - Jolan Philippe; Frédéric Loulergue (SAC, 2019)

Towards transparent combination of model management execution strategies for low-code development platforms. - Jolan Philippe; Hélène Coullon; Massimo Tisi; Gerson Sunyé (MoDELS (Companion), 2020)

Executing certified model transformations on Apache Spark. - Jolan Philippe; Massimo Tisi; Hélène Coullon; Gerson Sunyé (SLE, 2021)

Contribution to the analysis of the design-space of a distributed transformation engine. (Contribution à l'analyse de l'espace de conception d'un moteur de transformation distri- bué). - Jolan Philippe (2022)

Towards Verified Scalable Parallel Computing with Coq and Spark. - Frédéric Loulergue; Jolan Philippe (FTfJP@ECOOP, 2023)

Fast Choreography of Cross-DevOps Reconfiguration with Ballet: A Multi-Site OpenStack Case Study. - Jolan Philippe; Antoine Omond; Hélène Coullon; Charles Prud'homme; Issam Raïs (SANER, 2024)

An Overview of the Decentralized Reconfiguration Language Concerto-D through its Maude Formalization. - Farid Arfi; Hélène Coullon; Frédéric Loulergue; Jolan Philippe; Simon Robillard (ICE, 2024)

Multi-provider Capabilities in EnOSlib: Driving Distributed System Experiments on the Edge-to-Cloud Continuum. - Baptiste Jonglez; Matthieu Simonin; Jolan Philippe; Sidi Mohammed Kaddour (DAIS, 2025)