Jolan Philippe

14 papers A 1B 1C 2Misc 1Unranked 8
YearRankTypeTitle / Venue / Authors
2025 C conf
Multi-provider Capabilities in EnOSlib: Driving Distributed System Experiments on the Edge-to-Cloud Continuum.
DAIS
Baptiste Jonglez, Matthieu Simonin, Jolan Philippe, Sidi Mohammed Kaddour
2024 — conf
An Overview of the Decentralized Reconfiguration Language Concerto-D through its Maude Formalization.
ICE
Farid Arfi, Hélène Coullon, Frédéric Loulergue, Jolan Philippe, Simon Robillard
2024 A conf
Fast Choreography of Cross-DevOps Reconfiguration with Ballet: A Multi-Site OpenStack Case Study.
SANER
Jolan Philippe, Antoine Omond, Hélène Coullon, Charles Prud'homme, Issam Raïs
2023 — conf
Towards Verified Scalable Parallel Computing with Coq and Spark.
FTfJP@ECOOP
Frédéric Loulergue, Jolan Philippe
2022 — —
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
2021 B conf
Executing certified model transformations on Apache Spark.
SLE
Jolan Philippe, Massimo Tisi, Hélène Coullon, Gerson Sunyé
2020 — conf
Towards transparent combination of model management execution strategies for low-code development platforms.
MoDELS (Companion)
Jolan Philippe, Hélène Coullon, Massimo Tisi, Gerson Sunyé
2019 — conf
Automatic Optimization of Python Skeletal Parallel Programs.
ICA3PP (1)
Frédéric Loulergue, Jolan Philippe
2019 C conf
New List Skeletons for the Python Skeleton Library.
PDCAT
Frédéric Loulergue, Jolan Philippe
2019 Misc conf
Parallel programming with Coq: map and reduce skeletons on trees.
SAC
Jolan Philippe, Frédéric Loulergue
2019 — conf
PySke: Algorithmic Skeletons for Python.
HPCS
Jolan Philippe, Frédéric Loulergue
2019 — conf
Towards Automatically Optimizing PySke Programs.
HPCS
Jolan Philippe, Frédéric Loulergue
2018 — conf
Towards the Generation of Correct Java Programs (Research Poster).
HPCS
Jolan Philippe, Frédéric Loulergue
2017 — conf
Formalization of a Big Graph API in Coq.
HPCS
Jolan Philippe, Wadoud Bousdira, Frédéric Loulergue