Nombre de documents

18

Julien Tesson


Article dans une revue2 documents

  • Frédéric Loulergue, Wadoud Bousdira, Julien Tesson. Calculating Parallel Programs in Coq using List Homomorphisms. International Journal of Parallel Programming, Springer Verlag, 2017, 45 (2), pp.300-319. <10.1007/s10766-016-0415-8>. <hal-01159182>
  • Victor Allombert, Frédéric Gava, Julien Tesson. Multi-ML: Programming Multi-BSP Algorithms in ML. International Journal of Parallel Programming, Springer Verlag, 2015, pp.20. <hal-01160164v3>

Communication dans un congrès13 documents

  • Frédéric Loulergue, Simon Robillard, Julien Tesson, Joeffrey Legaux, Zhenjiang Hu. Dérivation formelle et extraction d'un programme data-parallèle pour le problème des valeurs inférieures les plus proches. Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL), 2014, Paris, France. 2014. <hal-00979092>
  • Frédéric Loulergue, Julien Tesson, Virginia Niculescu. Implementing powerlists with Bulk Synchronous Parallel ML. 16th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC), Sep 2014, Timisoara, Romania. IEEE, 2014, <10.1109/SYNASC.2014.51>. <hal-01105115>
  • Frédéric Loulergue, Simon Robillard, Julien Tesson, Joeffrey Legaux, Zhenjiang Hu. Formal Derivation and Extraction of a Parallel Program for the All Nearest Smaller Values Problem. ACM. ACM Symposium on Applied Computing (SAC), 2014, Gyeongju, South Korea. 2014. <hal-00905950>
  • Kento Emoto, Frédéric Loulergue, Julien Tesson. A Verified Generate-Test-Aggregate Coq Library for Parallel Programs Extraction. Interactive Theorem Proving, 2014, Vienna, Austria. Springer, 2014. <hal-00964061>
  • Frédéric Loulergue, Julien Tesson. Certified Parallel Program Calculation in Coq: A Tutorial. International Conference on High Performance Computing and Simulation (HPCS), 2014, Bologna, Italy. IEEE, 2014, HPCS. <hal-00966632>
  • Joeffrey Legaux, Zhenjiang Hu, Frédéric Loulergue, Kiminori Matsuzaki, Julien Tesson. Programming with BSP Homomorphisms. Euro-Par, 2013, Aachen, Germany. Springer, 8097, pp.446-457, 2013, <10.1007/978-3-642-40047-6_46>. <hal-00822992>
  • Wadoud Bousdira, Frédéric Loulergue, Julien Tesson. A Verified Library of Algorithmic Skeletons on Evenly Distributed Arrays. ICA3PP, Sep 2012, Fukuoka, Japan. Springer, 2012, LNCS. <hal-00708822>
  • Julien Tesson, Frédéric Loulergue. A Verified Bulk Synchronous Parallel ML Heat Diffusion Simulation. Mitsuhisa Sato; Satoshi Matsuoka; Peter M. Sloot; G. Dick van Albada; Jack Dongarra. The 11th International Conference on Computational Science (ICCS 2011), Jun 2011, Singapour, Singapore. Procedia Computer Science, 4, pp.36 - 45, 2011, Proceedings of the International Conference on Computational Science, ICCS 2011. <10.1016/j.procs.2011.04.005>. <hal-00588894>
  • Noman Javed, Frédéric Loulergue, Julien Tesson, Wadoud Bousdira. Prototyping a Library of Algorithmic Skeletons with Bulk Synchronous Parallel ML. (PDPTA'11), 2011, United States. CSREA Press, 2011. <hal-00592539>
  • Louis Gesbert, Zhenjiang Hu, Frédéric Loulergue, Kiminori Matsuzaki, Julien Tesson. Systematic Development of Correct Bulk Synchronous Parallel Programs. The 11th International Conference on Parallel and Distributed Computing, Applications and Technologies (PDCAT2010), The 11th International Conference on Parallel and Distributed Computing, Applications and Technologies (PDCAT2010) proceedings, Dec 2010, Wuhan, Chine, Singapore. IEEE, pp._, 2010. <hal-00512867>
  • Julien Tesson, Hideki Hashimoto, Zhenjiang Hu, Frédéric Loulergue, Masato Takeichi. Program Calculation in Coq. Thirteenth International Conference on Algebraic Methodology And Software Technology (AMAST2010), 2010, Québec, Canada. Springer, 2010. <inria-00484308>
  • Hideki Hashimoto, Zhenjiang Hu, Julien Tesson, Frédéric Loulergue, Masato Takeichi. A Coq Library for Program Calculation. JSSST Conference on Software Science and Technology, 2009, Shimane University, Shimane, Japan. 2009. <inria-00452515>
  • Julien Tesson, Frédéric Loulergue. Formal Semantics for the DRMA Programming Style Subset of the BSPlib Library. Weglarz, J. and Wyrzykowski, R. and Szymanski, B. Seventh International Conference on Parallel Processing and Applied Mathematics (PPAM 2007), Workshop on Language-Based Parallel Programming Models, Sep 2007, Gdansk, Poland. Springer, 4967, pp.1122-1129, 2008, LNCS. <10.1007/978-3-540-68111-3_119>. <inria-00452540>

Chapitre d'ouvrage1 document

Rapport2 documents

  • Julien Tesson, Zhenjiang Hu, Kiminori Matsuzaki, Frédéric Loulergue, Louis Gesbert. Systematic Development of Functional Bulk Synchronous Parallel Programs. [Research Report] RR-2010-01, 2010, pp.21. <inria-00465838v2>
  • Julien Tesson, Hideki Hashimoto, Zhenjiang Hu, Frédéric Loulergue, Masato Takeichi. Program Calculation in Coq. [Research Report] RR-2009-07, 2009, pp.18. <inria-00448751>