Julien Tesson

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