Calculating Parallel Programs in Coq Using List Homomorphisms
Loulergue, Frédéric, Bousdira, Wadoud, Tesson, Julien
Published in International journal of parallel programming (01.04.2017)
Published in International journal of parallel programming (01.04.2017)
Get full text
Journal Article
Multi-ML: Programming Multi-BSP Algorithms in ML
Allombert, Victor, Gava, Frédéric, Tesson, Julien
Published in International journal of parallel programming (2015)
Get full text
Published in International journal of parallel programming (2015)
Journal Article
Introduction to the Tezos Blockchain
Allombert, Victor, Bourgoin, Mathias, Tesson, Julien
Published in 2019 International Conference on High Performance Computing & Simulation (HPCS) (01.07.2019)
Published in 2019 International Conference on High Performance Computing & Simulation (HPCS) (01.07.2019)
Get full text
Conference Proceeding
A type system to avoid runtime errors for Multi-ML
Gava, Frederic, Allombert, Victor, Tesson, Julien
Published in 2022 21st International Symposium on Parallel and Distributed Computing (ISPDC) (01.07.2022)
Published in 2022 21st International Symposium on Parallel and Distributed Computing (ISPDC) (01.07.2022)
Get full text
Conference Proceeding
Programming with BSP Homomorphisms
Legaux, Joeffrey, Hu, Zhenjiang, Loulergue, Frédéric, Matsuzaki, Kiminori, Tesson, Julien
Published in Euro-Par 2013 Parallel Processing (2013)
Published in Euro-Par 2013 Parallel Processing (2013)
Get full text
Book Chapter
Interactive Bulk Synchronous Parallel Functional Programming in a Browser
Tesson, Julien, Loulergue, Frederic
Published in 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) (01.10.2018)
Published in 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) (01.10.2018)
Get full text
Conference Proceeding
Making Tezos smart contracts more reliable with Coq
Bernardo, Bruno, Cauderlier, Raphaël, Claret, Guillaume, Jakobsson, Arvid, Basile Pesin, Tesson, Julien
Published in arXiv.org (24.06.2021)
Published in arXiv.org (24.06.2021)
Get full text
Paper
Journal Article
Mi-Cho-Coq, a framework for certifying Tezos Smart Contracts
Bernardo, Bruno, Cauderlier, Raphaël, Hu, Zhenlei, Pesin, Basile, Tesson, Julien
Year of Publication 18.09.2019
Year of Publication 18.09.2019
Get full text
Journal Article
Tutorials
Loulergue, Frederic, Tesson, Julien
Published in 2014 International Conference on High Performance Computing & Simulation (HPCS) (01.07.2014)
Published in 2014 International Conference on High Performance Computing & Simulation (HPCS) (01.07.2014)
Get full text
Conference Proceeding
A Formal Semantics of the MULTI-ML Language
Allombert, Victor, Gava, Frederic, Tesson, Julien
Published in 2018 17th International Symposium on Parallel and Distributed Computing (ISPDC) (01.06.2018)
Published in 2018 17th International Symposium on Parallel and Distributed Computing (ISPDC) (01.06.2018)
Get full text
Conference Proceeding
Program Calculation in Coq
Tesson, Julien, Hashimoto, Hideki, Hu, Zhenjiang, Loulergue, Frédéric, Takeichi, Masato
Published in Algebraic Methodology and Software Technology (2011)
Published in Algebraic Methodology and Software Technology (2011)
Get full text
Book Chapter