Jolan Philippe

Publication Activity (10 Years)

Years Active: 2017-2024
Publications (10 Years): 11

Top Topics

Parallel Programming

Skeleton Extraction

Top Venues

Publications

Jolan Philippe, Antoine Omond, Hélène Coullon, Charles Prud'homme, Issam Raïs
Fast Choreography of Cross-DevOps Reconfiguration with Ballet: A Multi-Site OpenStack Case Study. SANER (2024)
Frédéric Loulergue, Jolan Philippe
Towards Verified Scalable Parallel Computing with Coq and Spark. FTfJP@ECOOP (2023)
Jolan Philippe, Massimo Tisi, Hélène Coullon, Gerson Sunyé
Executing certified model transformations on Apache Spark. SLE (2021)
Jolan Philippe, Hélène Coullon, Massimo Tisi, Gerson Sunyé
Towards transparent combination of model management execution strategies for low-code development platforms. MoDELS (Companion) (2020)
Jolan Philippe, Frédéric Loulergue
Parallel programming with Coq: map and reduce skeletons on trees. SAC (2019)
Jolan Philippe, Frédéric Loulergue
Towards Automatically Optimizing PySke Programs. HPCS (2019)
Jolan Philippe, Frédéric Loulergue
PySke: Algorithmic Skeletons for Python. HPCS (2019)
Frédéric Loulergue, Jolan Philippe
New List Skeletons for the Python Skeleton Library. PDCAT (2019)
Frédéric Loulergue, Jolan Philippe
Automatic Optimization of Python Skeletal Parallel Programs. ICA3PP (1) (2019)
Jolan Philippe, Frédéric Loulergue
Towards the Generation of Correct Java Programs (Research Poster). HPCS (2018)
Jolan Philippe, Wadoud Bousdira, Frédéric Loulergue
Formalization of a Big Graph API in Coq. HPCS (2017)