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 | 18 | 2020 |
PySke: algorithmic skeletons for Python J Philippe, F Loulergue 2019 International Conference on High Performance Computing & Simulation …, 2019 | 12 | 2019 |
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 | 5 | 2021 |
Automatic optimization of python skeletal parallel programs F Loulergue, J Philippe International Conference on Algorithms and Architectures for Parallel …, 2019 | 5 | 2019 |
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 | 4 | 2024 |
New List Skeletons for the Python Skeleton Library F Loulergue, J Philippe 2019 20th International Conference on Parallel and Distributed Computing …, 2019 | 4 | 2019 |
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 | 2 | 2023 |
Towards Automatically Optimizing PySke Programs J Philippe, F Loulergue 2019 International Conference on High Performance Computing & Simulation …, 2019 | 2 | 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 | 2 | 2019 |
Formalization of a Big Graph API in Coq J Philippe, W Bousdira, F Loulergue 2017 International Conference on High Performance Computing & Simulation …, 2017 | 1 | 2017 |
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 | | |