Access content directly

Julien Tesson

21
Documents

Publications

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⟩
Conference papers hal-02317093v1
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
Conference papers hal-01941250v2
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
Conference papers hal-01835315v1

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
Conference papers hal-00964061v1

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
Conference papers hal-00966632v1

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
Conference papers 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
Conference papers 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⟩
Conference papers hal-01105115v1

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⟩
Conference papers 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
Conference papers 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
Conference papers 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⟩
Conference papers 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
Conference papers 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._
Conference papers 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
Conference papers 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⟩
Conference papers inria-00452540v1