Julien Tesson

Publication Activity (10 Years)

Years Active: 2007-2022
Publications (10 Years): 14

Top Venues

CoRR

Int. J. Parallel Program.

ISPDC

HPCS

University of Orléans, France (PHD)

Education History

University of Orléans, France

PHD

Publications

Frédéric Gava, Victor Allombert, Julien Tesson
A type system to avoid runtime errors for Multi-ML. ISPDC (2022)
Bruno Bernardo, Raphaël Cauderlier, Guillaume Claret, Arvid Jakobsson, Basile Pesin, Julien Tesson
Making Tezos smart contracts more reliable with Coq. CoRR (2021)
Bruno Bernardo, Raphaël Cauderlier, Basile Pesin, Julien Tesson
Albert, An Intermediate Smart-Contract Language for the Tezos Blockchain. Financial Cryptography Workshops (2020)
Bruno Bernardo, Raphaël Cauderlier, Basile Pesin, Julien Tesson
Albert, an intermediate smart-contract language for the Tezos blockchain. CoRR (2020)
Bruno Bernardo, Raphaël Cauderlier, Guillaume Claret, Arvid Jakobsson, Basile Pesin, Julien Tesson
Making Tezos Smart Contracts More Reliable with Coq. ISoLA (3) (2020)
Bruno Bernardo, Raphaël Cauderlier, Zhenlei Hu, Basile Pesin, Julien Tesson
Mi-Cho-Coq, a framework for certifying Tezos Smart Contracts. CoRR (2019)
Victor Allombert, Mathias Bourgoin, Julien Tesson
Introduction to the Tezos Blockchain. CoRR (2019)
Bruno Bernardo, Raphaël Cauderlier, Zhenlei Hu, Basile Pesin, Julien Tesson
Mi-Cho-Coq, a Framework for Certifying Tezos Smart Contracts. FM Workshops (1) (2019)
Victor Allombert, Mathias Bourgoin, Julien Tesson
Introduction to the Tezos Blockchain. HPCS (2019)
Victor Allombert, Frédéric Gava, Julien Tesson
Toward Performance Prediction for Multi-BSP Programs in ML. ICA3PP (3) (2018)
Victor Allombert, Frédéric Gava, Julien Tesson
A Formal Semantics of the MULTI-ML Language. ISPDC (2018)
Julien Tesson, Frédéric Loulergue
Interactive Bulk Synchronous Parallel Functional Programming in a Browser. SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI (2018)
Frédéric Loulergue, Wadoud Bousdira, Julien Tesson
Calculating Parallel Programs in Coq Using List Homomorphisms. Int. J. Parallel Program. 45 (2) (2017)
Victor Allombert, Frédéric Gava, Julien Tesson
Multi-ML: Programming Multi-BSP Algorithms in ML. Int. J. Parallel Program. 45 (2) (2017)
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. SAC (2014)
Frédéric Loulergue, Virginia Niculescu, Julien Tesson
Implementing Powerlists with Bulk Synchronous Parallel ML. SYNASC (2014)
Kento Emoto, Frédéric Loulergue, Julien Tesson
A Verified Generate-Test-Aggregate Coq Library for Parallel Programs Extraction. ITP (2014)
Joeffrey Legaux, Zhenjiang Hu, Frédéric Loulergue, Kiminori Matsuzaki, Julien Tesson
Programming with BSP Homomorphisms. Euro-Par (2013)
Wadoud Bousdira, Frédéric Loulergue, Julien Tesson
A Verified Library of Algorithmic Skeletons on Evenly Distributed Arrays. ICA3PP (1) (2012)
Julien Tesson, Frédéric Loulergue
AVerified Bulk Synchronous ParallelMLHeat Diffusion Simulation. ICCS (2011)
Louis Gesbert, Zhenjiang Hu, Frédéric Loulergue, Kiminori Matsuzaki, Julien Tesson
Systematic Development of Correct Bulk Synchronous Parallel Programs. PDCAT (2010)
Julien Tesson, Hideki Hashimoto, Zhenjiang Hu, Frédéric Loulergue, Masato Takeichi
Program Calculation in Coq. AMAST (2010)
Julien Tesson, Frédéric Loulergue
Formal Semantics of DRMA-Style Programming in BSPlib. PPAM (2007)

Julien Tesson.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Julien Tesson