Julien Tesson

Publications

Article dans une revue (2)

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

Communication dans un congrès (17)

A type system to avoid runtime errors for Multi-ML Frédéric Gava,Victor Allombert,Julien Tesson 2022 21st International Symposium on Parallel and Distributed Computing (ISPDC), Jul 2022, Basel, France. pp.41-48, ⟨10.1109/ISPDC55340.2022.00015⟩ Communication dans un congrès hal-04709223v1
Toward performance prediction for Multi-BSP programs in ML Victor Allombert,Frédéric Gava,Julien Tesson 18th International Conference on Algorithms and Architectures for Parallel Processing (ICA3PP), Nov 2018, Guangzhou, China Communication dans un congrès hal-01941250v2
A formal semantics of the MULTI-ML language Victor Allombert,Frédéric Gava,Julien Tesson International Symposium on Parallel and Distributed Computing (ISPDC 2018), Jun 2018, Genève, Switzerland Communication dans un congrès hal-01835315v1
Interactive Bulk Synchronous Parallel Functional Programming in a Browser Julien Tesson,Frédéric Loulergue 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⟩ Communication dans un congrès hal-02317093v1
A Verified Generate-Test-Aggregate Coq Library for Parallel Programs Extraction Kento Emoto,Frédéric Loulergue,Julien Tesson Interactive Theorem Proving, 2014, Vienna, Austria Communication dans un congrès hal-00964061v1
Dérivation formelle et extraction d'un programme data-parallèle pour le problème des valeurs inférieures les plus proches Frédéric Loulergue,Simon Robillard,Julien Tesson,Joeffrey Legaux,Zhenjiang Hu Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL), 2014, Paris, France Communication dans un congrès hal-00979092v1
Formal Derivation and Extraction of a Parallel Program for the All Nearest Smaller Values Problem Frédéric Loulergue,Simon Robillard,Julien Tesson,Joeffrey Legaux,Zhenjiang Hu ACM Symposium on Applied Computing (SAC), 2014, Gyeongju, South Korea Communication dans un congrès hal-00905950v1
Implementing powerlists with Bulk Synchronous Parallel ML Frédéric Loulergue,Julien Tesson,Virginia Niculescu 16th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC), Sep 2014, Timisoara, Romania. ⟨10.1109/SYNASC.2014.51⟩ Communication dans un congrès hal-01105115v1
Certified Parallel Program Calculation in Coq: A Tutorial Frédéric Loulergue,Julien Tesson International Conference on High Performance Computing and Simulation (HPCS), 2014, Bologna, Italy Communication dans un congrès hal-00966632v1
Programming with BSP Homomorphisms Joeffrey Legaux,Zhenjiang Hu,Frédéric Loulergue,Kiminori Matsuzaki,Julien Tesson Euro-Par, 2013, Aachen, Germany. pp.446-457, ⟨10.1007/978-3-642-40047-6_46⟩ Communication dans un congrès istex hal-00822992v1
A Verified Library of Algorithmic Skeletons on Evenly Distributed Arrays Wadoud Bousdira,Frédéric Loulergue,Julien Tesson ICA3PP, Sep 2012, Fukuoka, Japan Communication dans un congrès hal-00708822v1
Prototyping a Library of Algorithmic Skeletons with Bulk Synchronous Parallel ML Noman Javed,Frédéric Loulergue,Julien Tesson,Wadoud Bousdira (PDPTA'11), 2011, United States Communication dans un congrès hal-00592539v1
A Verified Bulk Synchronous Parallel ML Heat Diffusion Simulation Julien Tesson,Frédéric Loulergue The 11th International Conference on Computational Science (ICCS 2011), Jun 2011, Singapour, Singapore. pp.36 - 45, ⟨10.1016/j.procs.2011.04.005⟩ Communication dans un congrès hal-00588894v1
Program Calculation in Coq Julien Tesson,Hideki Hashimoto,Zhenjiang Hu,Frédéric Loulergue,Masato Takeichi Thirteenth International Conference on Algebraic Methodology And Software Technology (AMAST2010), 2010, Québec, Canada Communication dans un congrès inria-00484308v1
Systematic Development of Correct Bulk Synchronous Parallel Programs Louis Gesbert,Zhenjiang Hu,Frédéric Loulergue,Kiminori Matsuzaki,Julien Tesson 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._ Communication dans un congrès hal-00512867v1
A Coq Library for Program Calculation Hideki Hashimoto,Zhenjiang Hu,Julien Tesson,Frédéric Loulergue,Masato Takeichi JSSST Conference on Software Science and Technology, 2009, Shimane University, Shimane, Japan Communication dans un congrès inria-00452515v1
Formal Semantics for the DRMA Programming Style Subset of the BSPlib Library Julien Tesson,Frédéric Loulergue 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⟩ Communication dans un congrès istex inria-00452540v1

Chapitre d'ouvrage (1)

Calcul de programmes parallèles avec Coq Frédéric Loulergue,Wadoud Bousdira,Julien Tesson Informatique Mathématique, CNRS Éditions, 2015, collection Alpha Chapitre d'ouvrage hal-01107296v1

Rapport (2)

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