Number of documents

21

Julien Tesson


Journal articles2 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⟩

Conference papers16 documents

  • Victor Allombert, Frédéric Gava, Julien Tesson. Toward performance prediction for Multi-BSP programs in ML. 18th International Conference on Algorithms and Architectures for Parallel Processing (ICA3PP), Nov 2018, Guangzhou, China. ⟨hal-01941250v2⟩
  • Victor Allombert, Frédéric Gava, Julien Tesson. A formal semantics of the MULTI-ML language. International Symposium on Parallel and Distributed Computing (ISPDC 2018), Jun 2018, Genève, Switzerland. ⟨hal-01835315⟩
  • Julien Tesson, Frédéric Loulergue. Interactive Bulk Synchronous Parallel Functional Programming in a Browser. 2018 IEEE SmartWorld, Ubiquitous Intelligence & Computing, Advanced & Trusted Computing, Scalable Computing & Communications, Cloud & Big Data Computing, Internet of People and Smart City Innovation (SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI), Oct 2018, Guangzhou, China. pp.1593-1598, ⟨10.1109/SmartWorld.2018.00273⟩. ⟨hal-02317093⟩
  • 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 Symposium on Applied Computing (SAC), 2014, Gyeongju, South Korea. ⟨hal-00905950⟩
  • 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. ⟨10.1109/SYNASC.2014.51⟩. ⟨hal-01105115⟩
  • 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. ⟨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. ⟨hal-00966632⟩
  • 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. ⟨hal-00979092⟩
  • Joeffrey Legaux, Zhenjiang Hu, Frédéric Loulergue, Kiminori Matsuzaki, Julien Tesson. Programming with BSP Homomorphisms. Euro-Par, 2013, Aachen, Germany. pp.446-457, ⟨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. ⟨hal-00708822⟩
  • Julien Tesson, Frédéric Loulergue. A Verified Bulk Synchronous Parallel ML Heat Diffusion Simulation. The 11th International Conference on Computational Science (ICCS 2011), Jun 2011, Singapour, Singapore. pp.36 - 45, ⟨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. ⟨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. pp._. ⟨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. ⟨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. ⟨inria-00452515⟩
  • Julien Tesson, Frédéric Loulergue. Formal Semantics for the DRMA Programming Style Subset of the BSPlib Library. Seventh International Conference on Parallel Processing and Applied Mathematics (PPAM 2007), Workshop on Language-Based Parallel Programming Models, Sep 2007, Gdansk, Poland. pp.1122-1129, ⟨10.1007/978-3-540-68111-3_119⟩. ⟨inria-00452540⟩

Book sections1 document

  • Frédéric Loulergue, Wadoud Bousdira, Julien Tesson. Calcul de programmes parallèles avec Coq. Informatique Mathématique, CNRS Éditions, 2015, collection Alpha. ⟨hal-01107296⟩

Reports2 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⟩