Concepedia

Julien Tesson

JT

Statistics

Publications

4

Citations

68

H-Index

4

Active since

2010

Affiliations

Université d'Orléans(Current)

Université Paris-Est Créteil

Julien Tesson is an author at Université d'Orléans specializing in computing, computer science, and parallel computation.

Publications per year

2010–2016

4

Publications

4

Calculating Parallel Programs in Coq Using List Homomorphisms

Frédéric Loulergue, Wadoud Bousdira, Julien Tesson · International Journal of Parallel Programming · 2016 · 19 citations

, , +11

Systematic Development of Correct Bulk Synchronous Parallel Programs

Louis Gesbert, Zhenjiang Hu, Frédéric Loulergue et al. · 2010 · 18 citations

, , +17

Multi-ML: Programming Multi-BSP Algorithms in ML

Victor Allombert, Frédéric Gava, Julien Tesson · International Journal of Parallel Programming · 2016 · 17 citations

, , +5

A Verified Bulk Synchronous Parallel ML Heat Diffusion Simulation

Julien Tesson, Frédéric Loulergue · Procedia Computer Science · 2011 · 14 citations · Full text

, , +16

1–4 of 4