Jolan Philippe

Latest

• Parallel programming with Coq: map and reduce skeletons on trees
• Towards the Generation of Correct Java Programs (Research Poster)
• Formalization of a Big Graph API in Coq