Changes between Version 1 and Version 2 of WikiStart


Ignore:
Timestamp:
Dec 18, 2013, 2:26:25 PM (5 years ago)
Author:
frederic.loulergue@…
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • WikiStart

    v1 v2  
    1 = Welcome to Trac 1.0.1 = 
     1[[Image(sydpacc.png, nolink, right)]] 
    22 
    3 Trac is a '''minimalistic''' approach to '''web-based''' management of 
    4 '''software projects'''. Its goal is to simplify effective tracking and handling of software issues, enhancements and overall progress. 
     3= Welcome to SyDPaCC Home Page = 
    54 
    6 All aspects of Trac have been designed with the single goal to  
    7 '''help developers write great software''' while '''staying out of the way''' 
    8 and imposing as little as possible on a team's established process and 
    9 culture. 
     5SDPP is a framework for Systematic Development of Parallel Programs. 
    106 
    11 As all Wiki pages, this page is editable, this means that you can 
    12 modify the contents of this page simply by using your 
    13 web-browser. Simply click on the "Edit this page" link at the bottom 
    14 of the page. WikiFormatting will give you a detailed description of 
    15 available Wiki formatting commands. 
    16  
    17 "[wiki:TracAdmin trac-admin] ''yourenvdir'' initenv" created 
    18 a new Trac environment, containing a default set of wiki pages and some sample 
    19 data. This newly created environment also contains  
    20 [wiki:TracGuide documentation] to help you get started with your project. 
    21  
    22 You can use [wiki:TracAdmin trac-admin] to configure 
    23 [http://trac.edgewall.org/ Trac] to better fit your project, especially in 
    24 regard to ''components'', ''versions'' and ''milestones''.  
     7We use the [http://coq.inria.fr Coq] proof assistant for systematically derive Bulk Synchronous Parallel ML (or [https://traclifo.univ-orleans.fr/BSML BSML]) programs. 
    258 
    269 
    27 TracGuide is a good place to start. 
     10== Team == 
    2811 
    29 Enjoy! [[BR]] 
    30 ''The Trac Team'' 
     12* Wadoud Bousdira, [http://www.univ-orleans.fr/lifo LIFO], [http://www.univ-orleans.fr Université d'Orléans]  
     13* Zhenjiang Hu, [http://www.nii.ac.jp National Institute of Informatics] 
     14* Kento Emoto, [http://www.ipl.t.u-tokyo.ac.jp IPL, The University of Tokyo] 
     15* Frédéric Loulergue, [http://www.univ-orleans.fr/lifo LIFO], [http://www.univ-orleans.fr Université d'Orléans] 
     16* Kimironi Matsuzaki, [http://www.kochi-tech.ac.jp/gs_e/index.html Kochi University of Technology] 
     17* Julien Tesson, [http://www.univ-orleans.fr/lifo LIFO], [http://www.univ-orleans.fr Université d'Orléans] 
    3118 
    32 == Starting Points == 
     19Past members: Louis Gesbert, Hideki Hashimoto, Masato Takeichi, Sylvain Dailler 
    3320 
    34  * TracGuide --  Built-in Documentation 
    35  * [http://trac.edgewall.org/ The Trac project] -- Trac Open Source Project 
    36  * [http://trac.edgewall.org/wiki/TracFaq Trac FAQ] -- Frequently Asked Questions 
    37  * TracSupport --  Trac Support 
     21== Software == 
    3822 
    39 For a complete list of local wiki pages, see TitleIndex. 
     23* Library "Systematic Development of Parallel Programs" [http://frederic.loulergue.eu/ftp/SDPP-nii2013.tar.bz2 version nii2013] (includes !CertifiedBSML version nii2013, !ProgramCalculationInCoq version 0.16, LIFO) 
     24* Library "Program Calculation in Coq": [http://frederic.loulergue.eu/ftp/ProgramCalculationInCoq-0.1.tar.bz2 version 0.1], [http://frederic.loulergue.eu/ftp/ProgramCalculationInCoq-0.15.tar.bz2 version 0.15], [http://frederic.loulergue.eu/ftp/ProgramCalculationInCoq-0.16.tar.bz2 version 0.16] (for Coq 8.3), [https://traclifo.univ-orleans.fr/SDPP/raw-attachment/wiki/WikiStart/ProgramCalculationInCoq-nii2013.tar.gz version nii2013] (for Coq 8.4) 
     25* Library "Systematic Development of Parallel Programs" [http://frederic.loulergue.eu/ftp/sdpp-0.1.tar.bz2 version 0.1] 
     26  
     27== Publications == 
     28 
     29=== Conferences === 
     30 
     31* Frédéric Loulergue, Simon Robillard, Julien Tesson, Joeffrey Legaux, and Zhenjiang Hu. Formal Derivation and Extraction of a Parallel Program for the All Nearest Smaller Values Problem. In ACM Symposium on Applied Computing (SAC), Gyeongju, Korea, 2014. ACM Press. to appear. 
     32* Frédéric Loulergue, Virginia Niculescu, and Simon Robillard. Powerlists in Coq: Programming and Reasoning. In First International Symposium on Computing and Networking (CANDAR). IEEE Computer Society, 2013. to appear. 
     33* Joeffrey Legaux, Zhenjiang Hu, Frédéric Loulergue, Kiminori Matsuzaki, and Julien Tesson. [http://dx.doi.org/10.1007/978-3-642-40047-6_46 Programming with BSP Homomorphisms]. In F. Wolf, B. Mohr, and D. Ney, editors, Euro-Par 2013 Parallel Processing, number 8097 in LNCS, pages 446-457. Springer, 2013 
     34*  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. 
     35* 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. 
     36* 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 
     37* 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. 
     38 
     39 
     40=== Thesis ===  
     41 
     42* 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 
     43* 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 
     44 
     45=== Research reports === 
     46 
     47* 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 
     48* 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 
     49* 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