Changes between Version 38 and Version 39 of WikiStart

Timestamp:

Oct 6, 2011, 2:26:55 PM (7 years ago)

Author:

frederic.loulergue@…

Comment:

--

WikiStart

@@ -21 +21 @@
 === The BSML Library ===
 
- * Current version : BSML [http://frederic.loulergue.eu/research/bsmllib/bsml-0.5.html v0.5]
+ * Current version : BSML [http://frederic.loulergue.eu/research/bsmllib/bsml-0.5.html v0.5] ([http://traclifo.univ-orleans.fr/BSML/raw-attachment/wiki/WikiStart/bsml-0.5.tar.gz bsml-0.5.tar.gz], [http://traclifo.univ-orleans.fr/BSML/raw-attachment/wiki/WikiStart/bsml-0.5_manual.pdf bsml-0.5_manual.pdf])
  * Old versions : [http://frederic.loulergue.eu/research/bsmllib/bsml-0.4.html v0.4] [http://frederic.loulergue.eu/research/bsmllib/bsmllib-0.26.html v0.26], [http://frederic.loulergue.eu/research/bsmllib/bsmllib-0.25.html v0.25], [http://frederic.loulergue.eu/research/bsmllib/bsmllib-0.2.html v0.2], [http://frederic.loulergue.eu/research/bsmllib/bsmllib-0.1.html v0.1]
 
 === Semantics and Verification ===
 
- * [[Image(http://frederic.loulergue.eu/img/new1.gif,width=32pt)]] Certified BSML programs with Coq [http://frederic.loulergue.eu/ftp/certified_bsml-0.1.tar.gz v0.1] 
+ * [[Image(http://frederic.loulergue.eu/img/new1.gif,width=32pt)]] Certified BSML programs with Coq: [http://traclifo.univ-orleans.fr/BSML/raw-attachment/wiki/WikiStart/certified_bsml-0.1.tar.gz v0.1], [http://traclifo.univ-orleans.fr/BSML/raw-attachment/wiki/WikiStart/CertifiedBSML-0.2.tar.gz v0.2]
  * Formal Semantics of Revised BSML in Coq  [http://frederic.loulergue.eu/ftp/revised_bsml_semantics-0.1alpha.tar.gz v0.1alpha]
  * Related project: Systematic Development of Parallel Programs ([http://traclifo.univ-orleans.fr/SDPP SDPP])
@@ -48 +48 @@
 
 
- * Frédéric Gava, Louis Gesbert, and Frédéric Loulergue. Type System for a Safe Execution of Parallel Programs in BSML. In 5th ACM SIGPLAN workshop on High-Level Parallel Programming and Applications. ACM, 2011. to appear
+ * Frédéric Gava, Louis Gesbert, and Frédéric Loulergue. [http://dx.doi.org/10.1145/2034751.2034759 Type System for a Safe Execution of Parallel Programs in BSML]. In 5th ACM SIGPLAN workshop on High-Level Parallel Programming and Applications. pages 27-34, ACM, 2011
  *     N. Javed, F. Loulergue, J. Tesson, and W. Bousdira. Prototyping a Library of Algorithmic Skeletons with Bulk Synchronous Parallel ML. In The 2011 International Conference on Parallel and Distributed Processing Techniques and Applications (PDPTA'11). CSREA Press, 2011. to appear.
  * J. Tesson and F. Loulergue. [http://dx.doi.org/10.1016/j.procs.2011.04.005 A Verified Bulk Synchronous Parallel ML Heat Diffusion Simulation]. In 11th International Conference on Computational Science (ICCS 2011), Procedia Computer Science. pages 36-45, Elsevier, 2011.