Changes between Version 25 and Version 26 of WikiStart

Timestamp:

Sep 10, 2012, 3:16:36 AM (6 years ago)

Author:

frederic.loulergue@…

Comment:

--

WikiStart

@@ -68 +68 @@
 == Team Members == 
 
- * Noman Javed (University of Orléans)
+ * Noman Javed (Namal College, Pakistan)
  * Sylvain Jubertie (University of Orléans)
+ * Joeffrey Legaux (University of Orléans)
  * Frédéric Loulergue (University of Orléans)
 
@@ -75 +76 @@
 
  * OSLSemantics (requires the [http://coq.inria.fr Coq] proof assistant): [http://frederic.loulergue.eu/ftp/OSLSemantics-0.2.tar.bz2 v0.2] (with heat diffusion simulation), [http://frederic.loulergue.eu/ftp/OSLSemantics-0.1.tar.bz2 v0.1].
- * OSL: v0.2 (coming soon)
+ * OSL: v1.0 (coming by the end of 2012)
 
 == Publications ==
 
- * Noman Javed and Frédéric Loulergue. Verification of a Heat Diffusion Simulation written with Orléans Skeleton Library. In 9th International Conference on Parallel Processing and Applied Mathematics (PPAM), LNCS. Springer, 2011, to appear
- * Noman Javed, Frédéric Loulergue, Julien Tesson and Wadoud 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), pages 520-526, CSREA Press, 2011
+  * Wadoud Bousdira, Frédéric Loulergue, and Julien Tesson. [http://dx.doi.org/10.1007/978-3-642-33078-0_16 A Verified Library of Algorithmic Skeletons on Evenly Distributed Arrays]. In ICA3PP 2012, pages 218-232, LNCS. Springer, 2012
+ * Noman Javed and Frédéric Loulergue. [http://dx.doi.org/10.1007/978-3-642-31500-8_10 Verification of a Heat Diffusion Simulation written with Orléans Skeleton Library]. In 9th International Conference on Parallel Processing and Applied Mathematics (PPAM), LNCS. pages 91-100, Springer, 2011
+* Noman Javed, Frédéric Loulergue, Julien Tesson and Wadoud 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), pages 520-526, CSREA Press, 2011
  * Noman Javed and Frédéric Loulergue. [http://dx.doi.org/10.1007/978-3-642-23178-0_4 A Formal Programming Model of Orléans Skeleton Library]. In Victor Malyshkin, editor, Eleventh International Conference on Parallel Computing Technologies (PaCT), LNCS 6873. pages 40-52, Springer, 2011
  * Noman Javed and Frédéric Loulergue. [http://dx.doi.org/10.1109/HPCSim.2011.5999832 Parallel Programming and Performance Predictability with Orléans Skeleton Library]. In International Conference on High Performance Computing and Simulation (HPCS). pages 257-263, IEEE, 2011
@@ -89 +91 @@
 
  * Noman Javed, Metaprogrammed Algorithmic Skeletons: Implementations, Performances and Semantics, PhD Thesis, LIFO, University of Orléans, October 2011
+
+== [wiki:"GdT OS"] ==