Jolan PHILIPPE
Publications HAL de Jolan PHILIPPE sous affiliation au LIFO - 10 publications
Pour une liste indépendante de l'affiliation, consulter DBLP.
-
2024 - (2)
-
Logiciel - (1)
-
Concerto-D in Maude
Auteur(s) : Frédéric LOULERGUE, Jolan PHILIPPE, Farid ARFI, Hélène COULLON, Simon ROBILLARD
HAL : 4654817
-
-
Publications dans les actes d'un congrès international avec comité de lecture - (1)
-
An Overview of the Decentralized Reconfiguration Language Concerto-D through its Maude Formalization
Auteur(s) : Frédéric LOULERGUE, Jolan PHILIPPE, Farid ARFI, Hélène COULLON, Simon ROBILLARD
HAL : 4718256
-
-
-
2023 - (1)
-
Publications dans les actes d'un congrès international avec comité de lecture - (1)
-
Towards Verified Scalable Parallel Computing with Coq and Spark
Auteur(s) : Frédéric LOULERGUE, Jolan PHILIPPE
HAL : 4142453
-
-
-
2019 - (5)
-
Publications dans les actes d'un congrès international avec comité de lecture - (5)
-
PySke: Algorithmic Skeletons for Python
Auteur(s) : Jolan PHILIPPE, Frédéric LOULERGUE
HAL : 2317127 -
Parallel programming with Coq: Map and reduce skeletons on trees
Auteur(s) : Jolan PHILIPPE, Frédéric LOULERGUE
HAL : 2317074 -
Towards automatically optimizing PySke programs (poster)
Auteur(s) : Jolan PHILIPPE, Frédéric LOULERGUE
HAL : 2318361 -
New List Skeletons for the Python Skeleton Library
Auteur(s) : Frédéric LOULERGUE, Jolan PHILIPPE
HAL : 2317124 -
Automatic Optimization of Python Skeletal Parallel Programs
Auteur(s) : Frédéric LOULERGUE, Jolan PHILIPPE
HAL : 2317123
-
-
-
2018 - (1)
-
Publications dans les actes d'un congrès international avec comité de lecture - (1)
-
Towards the Generation of Correct Java Programs (Research Poster)
Auteur(s) : Jolan PHILIPPE, Frédéric LOULERGUE
HAL : 2317085
-
-
-
2017 - (1)
-
Publications dans les actes d'un congrès international avec comité de lecture - (1)
-
Formalization of a Big Graph API in Coq
Auteur(s) : Jolan PHILIPPE, Wadoud BOUSDIRA, Frédéric LOULERGUE
HAL : 2317110
-
-