Obserwuj
Jolan Philippe
Jolan Philippe
IMT Atlantique
Zweryfikowany adres z imt-atlantique.fr
Tytuł
Cytowane przez
Cytowane przez
Rok
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
122020
PySke: algorithmic skeletons for Python
J Philippe, F Loulergue
2019 International Conference on High Performance Computing & Simulation …, 2019
112019
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
32021
Automatic optimization of python skeletal parallel programs
F Loulergue, J Philippe
International Conference on Algorithms and Architectures for Parallel …, 2019
32019
New List Skeletons for the Python Skeleton Library
F Loulergue, J Philippe
2019 20th International Conference on Parallel and Distributed Computing …, 2019
22019
Towards Automatically Optimizing PySke Programs
J Philippe, F Loulergue
2019 International Conference on High Performance Computing & Simulation …, 2019
22019
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
12023
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
12019
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
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
Formalization of a Big Graph API in Coq
J Philippe, W Bousdira, F Loulergue
2017 International Conference on High Performance Computing & Simulation …, 2017
2017
Scalable Low-Code Artefact Persistence and Query
S Jahanbin, Q ul ain Ali, J Philippe, B Horváth
Nie można teraz wykonać tej operacji. Spróbuj ponownie później.
Prace 1–16