Changes between Version 40 and Version 41 of WikiStart


Ignore:
Timestamp:
Mar 12, 2013, 5:56:57 PM (5 years ago)
Author:
frederic.loulergue@…
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • WikiStart

    v40 v41  
    2929=== Journal and conferences === 
    3030 
    31  *  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. 
    32  * L. Gesbert, Z. Hu, F. Loulergue, K. Matsuzaki, and J. Tesson. [http://doi.ieeecomputersociety.org/10.1109/PDCAT.2010.86 Systematic Development of Correct Bulk Synchronous Parallel Programs]. In The 11th International Conference on Parallel and Distributed Computing, Applications and Technologies (PDCAT). IEEE Computer Society, 2010. 
    33  * J. Tesson, H. Hashimoto, Z. Hu, F. Loulergue, and M. Takeichi. [http://dx.doi.org/10.1007/978-3-642-17796-5_10 Program Calculation in Coq]. In Thirteenth International Conference on Algebraic Methodology And Software Technology (AMAST2010), LNCS 6486, pages 163–179, Springer, 2010 
    34  * H. Hashimoto, Z. Hu, J. Tesson, F. Loulergue, and M. Takeichi. [http://frederic.loulergue.eu/ftp/hashimoto_hu_tesson_loulergue_takeichi_jssst2009.pdf A Coq Library for Program Calculation]. In JSSST Conference on Software Science and Technology, 2009. 
     31*  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. 
     32* L. Gesbert, Z. Hu, F. Loulergue, K. Matsuzaki, and J. Tesson. [http://doi.ieeecomputersociety.org/10.1109/PDCAT.2010.86 Systematic Development of Correct Bulk Synchronous Parallel Programs]. In The 11th International Conference on Parallel and Distributed Computing, Applications and Technologies (PDCAT). IEEE Computer Society, 2010. 
     33* J. Tesson, H. Hashimoto, Z. Hu, F. Loulergue, and M. Takeichi. [http://dx.doi.org/10.1007/978-3-642-17796-5_10 Program Calculation in Coq]. In Thirteenth International Conference on Algebraic Methodology And Software Technology (AMAST2010), LNCS 6486, pages 163–179, Springer, 2010 
     34* H. Hashimoto, Z. Hu, J. Tesson, F. Loulergue, and M. Takeichi. [http://frederic.loulergue.eu/ftp/hashimoto_hu_tesson_loulergue_takeichi_jssst2009.pdf A Coq Library for Program Calculation]. In JSSST Conference on Software Science and Technology, 2009. 
    3535 
    3636 
    3737=== Thesis ===  
    3838 
    39  * Louis Gesbert, [http://tel.archives-ouvertes.fr/docs/00/48/13/76/PDF/2009PEST0004_0_1.pdf Développement systématique et sûreté d'exécution en programmation parallèle structurée]. PhD thesis, University Paris Est, LACL, 2009 
    40  * Julien Tesson, Environnement pour le développement et la preuve de correction systématiques de programmes parallèles fonctionnels. PhD Thesis, LIFO, University of Orléans, November 2011 
     39* Julien Tesson, [ftp://ftp.univ-orleans.fr/theses/julien.tesson_2187.pdf Environnement pour le développement et la preuve de correction systématiques de programmes parallèles fonctionnels]. PhD Thesis, LIFO, University of Orléans, November 2011 
     40* Louis Gesbert, [http://tel.archives-ouvertes.fr/docs/00/48/13/76/PDF/2009PEST0004_0_1.pdf Développement systématique et sûreté d'exécution en programmation parallèle structurée]. PhD thesis, University Paris Est, LACL, 2009 
    4141 
    4242=== Research reports === 
    4343 
    44  * Frédéric Loulergue, Virginia Niculescu, [http:// Programming and Reasoning with PowerLists in Coq], LIFO, Université d'Orléans, Research Report RR-2013-02, 2013 
    45  * Julien Tesson, Zhenjiang Hu, Kiminori Matsuzaki, Frédéric Loulergue and Louis Gesbert, [http://hal.inria.fr/docs/00/46/61/83/PDF/RR-2010-01.pdf Systematic Development of Functional Bulk Synchronous Parallel Programs], Research Report RR-2010-01, LIFO, University of Orléans, 2010 
    46  * Julien Tesson, Hideki Hashimoto, Zhenjiang Hu, Frédéric Loulergue, and Masato Takeichi, [http://frederic.loulergue.eu/ftp/RR-2009-07.pdf Program Calculation in Coq], Research Report RR-2009-07, LIFO, University of Orléans, 2009 
     44* Frédéric Loulergue, Virginia Niculescu, [http:// Programming and Reasoning with PowerLists in Coq], Research Report RR-2013-02, LIFO, Université d'Orléans, 2013 
     45* Julien Tesson, Zhenjiang Hu, Kiminori Matsuzaki, Frédéric Loulergue and Louis Gesbert, [http://hal.inria.fr/docs/00/46/61/83/PDF/RR-2010-01.pdf Systematic Development of Functional Bulk Synchronous Parallel Programs], Research Report RR-2010-01, LIFO, University of Orléans, 2010 
     46* Julien Tesson, Hideki Hashimoto, Zhenjiang Hu, Frédéric Loulergue, and Masato Takeichi, [http://frederic.loulergue.eu/ftp/RR-2009-07.pdf Program Calculation in Coq], Research Report RR-2009-07, LIFO, University of Orléans, 2009