Publications

(2018). Verified Programs for Frequent Itemset Mining. 15th IEEE International Conference on Advanced and Trusted Computing (ATC 2018).

DOI

(2017). Towards a Verified Parallel Implementation of Frequent Itemset Mining (Poster). International Conference on High Performance Computing and Simulation (HPCS).

DOI

(2017). Systematic Development of Programs for Scalable Computing Using Coq (Tutorial). International Conference on High Performance Computing and Simulation (HPCS).

DOI

(2017). Formalization of a Big Graph API in Coq (Poster). International Conference on High Performance Computing and Simulation (HPCS).

DOI

(2017). A Verified Accumulate Algorithmic Skeleton. Fifth International Symposium on Computing and Networking (CANDAR).

DOI

(2015). Calcul de programmes parallèles avec Coq. Informatique Mathématique une photographie en 2015.

(2014). Certified Parallel Program Calculation in Coq: A Tutorial. International Conference on High Performance Computing and Simulation (HPCS).

DOI

(2013). Powerlists in Coq: Programming and Reasoning. First International Symposium on Computing and Networking (CANDAR).

DOI

(2011). A Verified Bulk Synchronous Parallel ML Heat Diffusion Simulation. International Conference on Computational Science (ICCS).

DOI

(2010). Program Calculation in Coq. Algebraic Methodology And Software Technology (AMAST).

DOI