Wadoud Bousdira

Latest

• Calculating Parallel Programs in Coq Using List Homomorphisms
• Formalization of a Big Graph API in Coq
• Replicated Synchronization for Imperative BSP Programs