Victor Allombert

Publication Activity (10 Years)

Years Active: 2014-2022
Publications (10 Years): 9

Top Topics

Formal Semantics

Top Venues

Publications

Frédéric Gava, Victor Allombert, Julien Tesson
A type system to avoid runtime errors for Multi-ML. ISPDC (2022)
Victor Allombert, Frédéric Gava
Programming bsp and multi-bsp algorithms in ml. J. Supercomput. 76 (7) (2020)
Victor Allombert, Mathias Bourgoin, Julien Tesson
Introduction to the Tezos Blockchain. CoRR (2019)
Victor Allombert, Mathias Bourgoin, Julien Tesson
Introduction to the Tezos Blockchain. HPCS (2019)
Victor Allombert, Mathias Bourgoin, Frédéric Loulergue
Parallel Programming with OCaml: A Tutorial. HPCS (2018)
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
An ML Implementation of the MULTI-BSP Model. HPCS (2018)
Victor Allombert, Frédéric Gava, Julien Tesson
A Formal Semantics of the MULTI-ML Language. ISPDC (2018)
Victor Allombert, Frédéric Gava, Julien Tesson
Multi-ML: Programming Multi-BSP Algorithms in ML. Int. J. Parallel Program. 45 (2) (2017)
Victor Allombert, David Michéa, Fabrice Dupros, Christian Bellier, Bernard Bourgine, Hideo Aochi, Sylvain Jubertie
An Out-of-core GPU Approach for Accelerating Geostatistical Interpolation. ICCS (2014)