wiki:WikiStart

Welcome to SDPP Home Page

SDPP is a framework for Systematic Development of Parallel Programs.

We use the  Coq proof assistant for systematically derive Bulk Synchronous Parallel ML (or  BSML) programs.

Team

Past members: Louis Gesbert, Hideki Hashimoto

Software

Publications

Journal and conferences

Thesis

Research reports

Attachments