Welcome to SyDPaCC Home Page

SyDPaCC is a framework for the Systematic Development of Programs of Parallel and Cloud Computing. We use the Coq proof assistant for systematically calculate Bulk Synchronous Parallel ML (or BSML) programs from specifications.

Team

Past members: Louis Gesbert, Hideki Hashimoto, Masato Takeichi, Sylvain Dailler, Vitor Rodrigues, Simon Robillard, Zhenjiang Hu, Virginia Niculescu, Kiminori Matsuzaki, Kento Emoto

Software

Publications

Journal

Book Chapter

  • Frédéric Loulergue, Wadoud Bousdira, and Julien Tesson. Calcul de programmes parallèles avec Coq. In Nicolas Ollinger, editor, Informatique Mathématique, collection Alpha. CNRS Éditions, pages 87-134, 2015. (Tutorial for the EJC-IM Spring School, in French).

Conferences

Tutorials

Thesis

Research reports

Last modified 17 months ago Last modified on Feb 14, 2017, 11:48:06 PM

Attachments (3)

Download all attachments as: .zip