Jolan Philippe
Jolan Philippe
IMT Atlantique
Verified email at imt-atlantique.fr
Title
Cited by
Cited by
Year
PySke: algorithmic skeletons for Python
J Philippe, F Loulergue
2019 International Conference on High Performance Computing & Simulation …, 2019
62019
Automatic Optimization of Python Skeletal Parallel Programs
F Loulergue, J Philippe
International Conference on Algorithms and Architectures for Parallel …, 2019
22019
Towards Automatically Optimizing PySke Programs
J Philippe, F Loulergue
2019 International Conference on High Performance Computing & Simulation …, 2019
22019
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
12020
Executing Certified Model Transformations on Apache Spark
J Philippe, M Tisi, H Coullon, G Sunyé
SLE 2021-14th ACM SIGPLAN International Conference on Software Language …, 2021
2021
New List Skeletons for the Python Skeleton Library
F Loulergue, J Philippe
2019 20th International Conference on Parallel and Distributed Computing …, 2019
2019
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
2019
systematic development of efficient programs on parallel data structures
J Philippe
PQDT-Global, 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
Formalization of a Big Graph API in Coq
J Philippe, W Bousdira, F Loulergue
2017 International Conference on High Performance Computing & Simulation …, 2017
2017
The system can't perform the operation now. Try again later.
Articles 1–10