Jolan Philippe

According to our database, Jolan Philippe authored at least 11 papers between 2017 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2023

Towards Verified Scalable Parallel Computing with Coq and Spark.

Frédéric Loulergue, Jolan Philippe

Proceedings of the 25th ACM International Workshop on Formal Techniques for Java-like Programs, 2023

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

PhD thesis, 2022

2021

Executing certified model transformations on Apache Spark.

Jolan Philippe, Massimo Tisi, Hélène Coullon, Gerson Sunyé

Proceedings of the SLE '21: 14th ACM SIGPLAN International Conference on Software Language Engineering, Chicago, IL, USA, October 17, 2021

2020

Towards transparent combination of model management execution strategies for low-code development platforms.

Jolan Philippe, Hélène Coullon, Massimo Tisi, Gerson Sunyé

Proceedings of the MODELS '20: ACM/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems, 2020

2019

Parallel programming with Coq: map and reduce skeletons on trees.

Jolan Philippe, Frédéric Loulergue

Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing, 2019

New List Skeletons for the Python Skeleton Library.

Frédéric Loulergue, Jolan Philippe

Proceedings of the 20th International Conference on Parallel and Distributed Computing, 2019

Towards Automatically Optimizing PySke Programs.

Jolan Philippe, Frédéric Loulergue

Proceedings of the 17th International Conference on High Performance Computing & Simulation, 2019

PySke: Algorithmic Skeletons for Python.

Jolan Philippe, Frédéric Loulergue

Proceedings of the 17th International Conference on High Performance Computing & Simulation, 2019

Automatic Optimization of Python Skeletal Parallel Programs.

Frédéric Loulergue, Jolan Philippe

Proceedings of the Algorithms and Architectures for Parallel Processing, 2019

2018

Towards the Generation of Correct Java Programs (Research Poster).

Jolan Philippe, Frédéric Loulergue

Proceedings of the 2018 International Conference on High Performance Computing & Simulation, 2018

2017

Formalization of a Big Graph API in Coq.

Jolan Philippe, Wadoud Bousdira, Frédéric Loulergue

Proceedings of the 2017 International Conference on High Performance Computing & Simulation, 2017