Julien Tesson

22
Documents

Publications

Publications

Image document

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-01159182 v1
Image document

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-01160164 v3

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-04709223 v1
Image document

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-01941250 v2
Image document

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-01835315 v1

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-02317093 v1

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-00964061 v1

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-00979092 v1

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-01105115 v1

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-00905950 v1

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-00966632 v1

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-00822992 v1

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-00708822 v1

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-00588894 v1

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-00592539 v1

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-00484308 v1

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-00512867 v1

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-00452515 v1

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-00452540 v1