Frédéric Loulergue

Latest

• Verified Programs for Frequent Itemset Mining
• Formalization of a Big Graph API in Coq
• Towards a Verified Parallel Implementation of Frequent Itemset Mining