Julien Tesson

According to our database, Julien Tesson authored at least 20 papers between 2007 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

A type system to avoid runtime errors for Multi-ML.

Frédéric Gava, Victor Allombert, Julien Tesson

Proceedings of the 21st International Symposium on Parallel and Distributed Computing, 2022

2020

Making Tezos Smart Contracts More Reliable with Coq.

Bruno Bernardo, Raphaël Cauderlier, Guillaume Claret, Arvid Jakobsson, Basile Pesin, Julien Tesson

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Applications, 2020

Albert, An Intermediate Smart-Contract Language for the Tezos Blockchain.

Bruno Bernardo, Raphaël Cauderlier, Basile Pesin, Julien Tesson

Proceedings of the Financial Cryptography and Data Security, 2020

2019

Introduction to the Tezos Blockchain.

Victor Allombert, Mathias Bourgoin, Julien Tesson

Proceedings of the 17th International Conference on High Performance Computing & Simulation, 2019

Mi-Cho-Coq, a Framework for Certifying Tezos Smart Contracts.

Bruno Bernardo, Raphaël Cauderlier, Zhenlei Hu, Basile Pesin, Julien Tesson

Proceedings of the Formal Methods. FM 2019 International Workshops, 2019

2018

Interactive Bulk Synchronous Parallel Functional Programming in a Browser.

Julien Tesson, Frédéric Loulergue

Proceedings of the 2018 IEEE SmartWorld, 2018

A Formal Semantics of the MULTI-ML Language.

Victor Allombert, Frédéric Gava, Julien Tesson

Proceedings of the 17th International Symposium on Parallel and Distributed Computing, 2018

Toward Performance Prediction for Multi-BSP Programs in ML.

Victor Allombert, Frédéric Gava, Julien Tesson

Proceedings of the Algorithms and Architectures for Parallel Processing, 2018

2017

Calculating Parallel Programs in Coq Using List Homomorphisms.

Frédéric Loulergue, Wadoud Bousdira, Julien Tesson

Int. J. Parallel Program., 2017

Multi-ML: Programming Multi-BSP Algorithms in ML.

Victor Allombert, Frédéric Gava, Julien Tesson

Int. J. Parallel Program., 2017

2014

Implementing Powerlists with Bulk Synchronous Parallel ML.

Frédéric Loulergue, Virginia Niculescu, Julien Tesson

Proceedings of the 16th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2014

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

Proceedings of the Symposium on Applied Computing, 2014

A Verified Generate-Test-Aggregate Coq Library for Parallel Programs Extraction.

Kento Emoto, Frédéric Loulergue, Julien Tesson

Proceedings of the Interactive Theorem Proving - 5th International Conference, 2014

2013

Programming with BSP Homomorphisms.

Joeffrey Legaux, Zhenjiang Hu, Frédéric Loulergue, Kiminori Matsuzaki, Julien Tesson

Proceedings of the Euro-Par 2013 Parallel Processing, 2013

2012

A Verified Library of Algorithmic Skeletons on Evenly Distributed Arrays.

Wadoud Bousdira, Frédéric Loulergue, Julien Tesson

Proceedings of the Algorithms and Architectures for Parallel Processing, 2012

2011

Environnement pour le développement et la preuve de correction systèmatiques de programmes parallèles fonctionnels. (Environment for the systematic development and proof of correction of functional parallel programs).

Julien Tesson

PhD thesis, 2011

AVerified Bulk Synchronous ParallelMLHeat Diffusion Simulation.

Julien Tesson, Frédéric Loulergue

Proceedings of the International Conference on Computational Science, 2011

2010

Systematic Development of Correct Bulk Synchronous Parallel Programs.

Louis Gesbert, Zhenjiang Hu, Frédéric Loulergue, Kiminori Matsuzaki, Julien Tesson

Proceedings of the 2010 International Conference on Parallel and Distributed Computing, 2010

Program Calculation in Coq.

Julien Tesson, Hideki Hashimoto, Zhenjiang Hu, Frédéric Loulergue, Masato Takeichi

Proceedings of the Algebraic Methodology and Software Technology, 2010

2007

Formal Semantics of DRMA-Style Programming in BSPlib.

Julien Tesson, Frédéric Loulergue

Proceedings of the Parallel Processing and Applied Mathematics, 2007