Follow
Jolan Philippe
Jolan Philippe
IMT Atlantique
Verified email at imt-atlantique.fr
Title
Cited by
Cited by
Year
Towards transparent combination of model management execution strategies for low-code development platforms
J Philippe, H Coullon, M Tisi, G Sunyé
Proceedings of the 23rd ACM/IEEE International Conference on Model Driven …, 2020
182020
PySke: algorithmic skeletons for Python
J Philippe, F Loulergue
2019 International Conference on High Performance Computing & Simulation …, 2019
122019
Executing certified model transformations on Apache Spark
J Philippe, M Tisi, H Coullon, G Sunyé
Proceedings of the 14th ACM SIGPLAN International Conference on Software …, 2021
52021
Automatic optimization of python skeletal parallel programs
F Loulergue, J Philippe
International Conference on Algorithms and Architectures for Parallel …, 2019
52019
Fast Choreography of Cross-DevOps Reconfiguration with Ballet: A Multi-Site OpenStack Case Study
J Philippe, A Omond, H Coullon, C Prud'Homme, I Raïs
SANER 2024-IEEE International Conference on Software Analysis, Evolution and …, 2024
42024
New List Skeletons for the Python Skeleton Library
F Loulergue, J Philippe
2019 20th International Conference on Parallel and Distributed Computing …, 2019
42019
Towards verified scalable parallel computing with Coq and Spark
F Loulergue, J Philippe
Proceedings of the 25th ACM International Workshop on Formal Techniques for …, 2023
22023
Towards Automatically Optimizing PySke Programs
J Philippe, F Loulergue
2019 International Conference on High Performance Computing & Simulation …, 2019
22019
Parallel programming with Coq: map and reduce skeletons on trees
J Philippe, F Loulergue
Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing, 1578-1581, 2019
22019
Formalization of a Big Graph API in Coq
J Philippe, W Bousdira, F Loulergue
2017 International Conference on High Performance Computing & Simulation …, 2017
12017
An Overview of the Decentralized Reconfiguration Language Concerto-D through its Maude Formalization
F Arfi, H Coullon, F Loulergue, J Philippe, S Robillard
arXiv preprint arXiv:2412.08233, 2024
2024
Concerto-D in Maude
F Arfi, H Coulon, F Loulergue, J Philippe, S Robillard
Zenodo, 2024
2024
A Maude Formalization of the Distributed Reconfiguration Language Concerto-D
F Arfi, H Coullon, F Loulergue, J Philippe, S Robillard
17th Interaction and Concurrency Experience (ICE), 2024
2024
Verified Scalable Parallel Computing with Coq and Spark
F Loulergue, J Philippe
Workshop on Formal Techniques for Java-like Programs (FTfJP), 2023
2023
Contribution to the analysis of the design-space of a distributed transformation engine
J Philippe
Ecole nationale supérieure Mines-Télécom Atlantique, 2022
2022
Digital Signatures using Elliptic Curve with Extended Galois Fields
J Philippe
2022
systematic development of efficient programs on parallel data structures
J Philippe
Northern Arizona University, 2019
2019
Towards the Generation of Correct Java Programs (Research Poster)
J Philippe, F Loulergue
2018 International Conference on High Performance Computing & Simulation …, 2018
2018
Towards Automatically Optimizing PySke Programs
J Philippe, F Loulergue
2D-Clustering through Approximation Method using Geometric Calculation
J Philippe, M Gowanlock
The system can't perform the operation now. Try again later.
Articles 1–20