Changes between Version 91 and Version 92 of WikiStart


Ignore:
Timestamp:
Jun 1, 2015, 10:24:26 AM (3 years ago)
Author:
frederic.loulergue@…
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • WikiStart

    v91 v92  
    6161=== International refereed conferences === 
    6262 
    63 1. Kento Emoto, Frédéric Loulergue, and Julien Tesson. [http://dx.doi.org/10.1007/978-3-319-08970-6_17 A Verified Generate-Test-Aggregate Coq Library for Parallel Programs Extraction]. In ITP, number 8558 in LNAI, pages 258-274. Springer, 2014 
    64 1. Joeffrey Légaux, Sylvain Jubertie, and Frédéric Loulergue. Development Effort and Performance Trade-off in High-Level Parallel Programming. In International Conference on High Performance Computing and Simulation (HPCS). IEEE, 2014.  
    65 1. Frédéric Dabrowski, Frédéric Loulergue, and Thomas Pinsard. Nested Atomic Sections with Thread Escape: A Formal Definition. In ACM Symposium on Applied Computing (SAC), pages 1585-1592. ACM Press, 2014 
    66 1. 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), pages 1577-1584. ACM Press, 2014 
    67 1. Frédéric Loulergue, Virginia Niculescu, and Simon Robillard. [http://dx.doi.org/10.1109/CANDAR.2013.17 Powerlists in Coq: Programming and Reasoning]. In First International Symposium on Computing and Networking (CANDAR), pages 57-65. IEEE Computer Society, 2013 
    68 1. 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 
    69 1. Kento Emoto, Kiminori Matsuzaki, [http://dx.doi.org/10.1007/s10766-013-0263-8 An Automatic Fusion Mechanism for Variable-Length List Skeletons in !SkeTo], International Journal of Parallel Programming, Springer, 2013. 
    70 1. Joeffrey Legaux, Frédéric Loulergue, and Sylvain Jubertie. [http://dx.doi.org/10.1109/HPCSim.2013.6641451 Managing Arbitrary Distributions of Arrays in Orléans Skeleton Library]. In International Conference on High Performance Computing and Simulation (HPCS), pages 437-444, IEEE, 2013 
     631. Frédéric Dabrowski, Frédéric Loulergue, and Thomas Pinsard. “Nested Atomic Sections with Thread Escape: Compilation to Threads and Locks”. In: ACM Symposium on Applied Computing (SAC). Salamanca, Spain: ACM, 2015, pp. 2099–2106. DOI: [http://dx.doi.org/10.1145/2695664.2695870 10.1145/2695664.2695870]. 
     641. Kento Emoto, Frédéric Loulergue, and Julien Tesson. “A Verified Generate-Test-Aggregate Coq Library for Parallel Programs Extraction”. In ITP, number 8558 in LNAI, pages 258-274. Springer, 2014. DOI: [http://dx.doi.org/10.1007/978-3-319-08970-6_17 10.1007/978-3-319-08970-6_17]. 
     651. Frédéric Dabrowski, Frédéric Loulergue, and Thomas Pinsard. “Nested Atomic Sections with Thread Escape: A Formal Definition”. In ACM Symposium on Applied Computing (SAC), pages 1585-1592. ACM Press, 2014. DOI: [http://dx.doi.org/10.1145/2554850.2554996 10.1145/2554850.2554996]. 
     661. Frédéric Loulergue, Simon Robillard, Julien Tesson, Joeffrey Légaux, 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: ACM, 2014, pp. 1577–1584. DOI: [http://dx.doi.org/10.1145/2554850.2554912 10.1145/2554850.2554912]. 
     671. Joeffrey Légaux, Sylvain Jubertie, and Frédéric Loulergue. “Development Effort and Performance Trade-off in High-Level Parallel Programming”. In: International Conference on High Performance Computing and Simulation (HPCS). Bologna, Italy: IEEE, 2014, pp. 162–169. DOI: [http://dx.doi.org/10.1109/HPCSim.2014.6903682 10.1109/HPCSim.2014.6903682].  
     681. Frédéric Loulergue, Virginia Niculescu, and Julien Tesson. “Implementing Powerlists with Bulk Synchronous Parallel ML”. In: Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC). Timisoara, Romania: IEEE, 2014, pp. 325–332. DOI: [http://dx.doi.org/10.1109/SYNASC.2014.51 10.1109/SYNASC.2014.51]. 
     691. Joeffrey Légaux, Frédéric Loulergue, and Sylvain Jubertie. “OSL: an algorithmic skeleton library with exceptions”. In: International Conference on Computational Science (ICCS). Barcelona, Spain: Elsevier, 2013, pp. 260–269. DOI: [http://dx.doi.org/10.1016/j.procs.2013.05.189 10.1016/j.procs.2013.05.189]. 
     701. Joeffrey Légaux, Zhenjiang Hu, Frédéric Loulergue, Kiminori Matsuzaki, and Julien Tesson. “Programming with BSP Homomorphisms”. In: Euro-Par Parallel Processing. LNCS 8097. Aachen, Germany: Springer, 2013, pp. 446–457. DOI: [http://dx.doi.org/10.1007/978-3-642-40047-6_46 10.1007/978-3-642-40047-6_46]. 
     711. Joeffrey Légaux, Frédéric Loulergue, and Sylvain Jubertie. “Managing Arbitrary Distributions of Arrays in Orléans Skeleton Library”. In: International Conference on High Performance Computing and Simulation (HPCS). Helsinki, Finland: IEEE, 2013, pp. 437–444. DOI: [http://dx.doi.org/10.1109/HPCSim.2013.6641451 10.1109/HPCSim.2013.6641451]. 
     721. Frédéric Loulergue, Virginia Niculescu, and Simon Robillard. “Powerlists in Coq: Programming and Reasoning”. In: First International Symposium on Computing and Networking (CANDAR). Matsuyama, Japan: IEEE Computer Society, 2013, pp. 57–65. DOI: [http://dx.doi.org/10.1109/CANDAR.2013.17 10.1109/CANDAR.2013.17]. 
     731. Frédéric Dabrowski, Frédéric Loulergue, and Thomas Pinsard. “Nested Atomic Sections with Thread Escape: An Operational Semantics”. In: Parallel and Distributed Computing, Applications and Technologies (PDCAT). Taiwan: IEEE, 2013, pp. 29–35. DOI: [http://dx.doi.org/10.1109/PDCAT.2013.12 10.1109/PDCAT.2013.12]. 
     741. Wadoud Bousdira, Frédéric Loulergue, and Julien Tesson. “A Verified Library of Algorithmic Skeletons on Evenly Distributed Arrays”. In: Algorithms and Architectures for Parallel Processing (ICA3PP). LNCS 7439. Fukuoka, Japan: Springer, 2012, pp. 218–232. DOI: [http://dx.doi.org/10.1007/978-3-642-33078-0_16 10.1007/978-3-642-33078-0_16]. 
     751. Yu Liu, Zhenjiang Hu, and Kiminori Matsuzaki. “Towards Systematic Parallel Programming over MapReduce”. In: Euro-Par 2011 Parallel Processing. Ed. by Emmanuel Jeannot, Raymond Namyst, and Jean Roman. Vol. 6853. LNCS. Springer, 2011, pp. 39–50. DOI: [http://dx.doi.org/10.1007/978-3-642-23397-5_5 10.1007/978-3-642-23397-5_5]. 
     761. 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 2011). LNCS 7204. Torun, Poland: Springer, 2012, pp. 91–100. DOI: [http://dx.doi.org/10.1007/978-3-642-31500-8_10 10.1007/978-3-642-31500-8_10]. 
     771. Noman Javed and Frédéric Loulergue. “Parallel Programming and Performance Predictability with Orléans Skeleton Library”. In: International Conference on High Performance Computing and Simulation (HPCS). Istanbul, Turkey: IEEE, 2011, pp. 257–263. DOI: [http://dx.doi.org/10.1109/HPCSim.2011.5999832 10.1109/HPCSim.2011.5999832]. 
     781. Noman Javed and Frédéric Loulergue. “A Formal Programming Model of Orléans Skeleton Library”. In: 11th International Conference on Parallel Computing Technologies (PaCT). Ed. by Victor Malyshkin. LNCS 6873. Kazan, Russia: Springer, 2011, pp. 40–52. DOI: [http://dx.doi.org/10.1007/978-3-642-23178-0_4 10.1007/978-3-642-23178-0_4]. 
     79 
     80=== National refereed conferences === 
     81 
    71821. Kento Emoto, Kiminori Matsuzaki,  [https://traclifo.univ-orleans.fr/PaPDAS/raw-attachment/wiki/WikiStart/ipsj-pro2013.pdf Implementing a Fusion-equipped Library with boost::proto], IPSJ SIG-PRO Meeting, Februray 2013 
    72 1. Joeffrey Legaux, Frédéric Loulergue, and Sylvain Jubertie. [http://dx.doi.org/10.1016/j.procs.2013.05.189 OSL: an algorithmic skeleton library with exceptions]. In International Conference on Computational Science (ICCS), volume 18 of Procedia Computer Science, pages 260-269. Elsevier, 2013 
    73831. Takayuki Kawamura and Kiminori Matsuzaki. [http://ipl.info.kochi-tech.ac.jp/matsuzaki-lab/papers/jssst2012.pdf Evaluation of Tree Processing based on the m-bridge Technique over Hadoop] (in Japanese). In 29th Conference of the Japan Society for Software Science and Technology, August 2012.  
    74 1. 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 
    75 1. 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 
    76 1. Yu Liu, Zhenjiang Hu, Kiminori Matsuzaki, [http://dx.doi.org/10.1007/978-3-642-23397-5_5 Towards Systematic Parallel Programming over MapReduce]. In Euro-Par 2011 Parallel Processing, Lecture Notes in Computer Science, Volume 6853, pages 39-50, 2011 
    77 1. 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 
    78 1. 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 
    7984 
    80 == Dissemination == 
     85 
     86=== Tutorials === 
    8187 
    8288* Frédéric Loulergue, Wadoud Bousdira, Julien Tesson, Calcul de programmes parallèles en Coq, Course at the Spring School "Ecole des Jeunes Chercheurs en Informatique Mathématique", Orléans, France, 2015 
    … …  
    8490* Frédéric Loulergue, [http://ejcp2014.inria.fr Parallel Program Calculation in Coq], Course at the Summer School "Ecole des Jeunes Chercheurs en Programmation" (EJCP), Rennes, France, June 19, 2014 
    8591 
    86 == Thesis == 
    8792 
     93=== Thesis === 
     94 
     95* Thomas Pinsard, Nested Atomic Sections with Thread Espace: Semantics and Compilation, LIFO, University of Orléans, December 2014 
    8896* Joeffrey Légaux, [http://tel.archives-ouvertes.fr/tel-00990852 Squelettes algorithmiques pour la programmation et l’exécution efficaces de codes parallèles], LIFO, University of Orléans, December 2013 
    8997* 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 
    9098* Noman Javed, [http://www.theses.fr/2011ORLE2021/document Metaprogrammed Algorithmic Skeletons: Implementations, Performances and Semantics], PhD Thesis, LIFO, University of Orléans, October 2011 
    91  
    9299 
    93100== [wiki:Deliverables Deliverables] ==