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

Software

Publications

  • Julien Tesson, Hideki Hashimoto, Zhenjiang Hu, Frédéric Loulergue, and Masato Takeichi,  Program Calculation in Coq, Research Report RR-2009-07, LIFO, University of Orléans, 2009
  • H. Hashimoto, Z. Hu, J. Tesson, F. Loulergue, and M. Takeichi. A Coq Library for Program Calculation. In JSSST Conference on Software Science and Technology, 2009.
  • Louis Gesbert, Développement systématique et sûreté d'exécution en programmation parallèle structurée. PhD thesis, University Paris Est, LACL, 2009

Attachments