Concepedia

Frédéric Gava

FG

Statistics

Publications

6

Citations

117

H-Index

6

Active since

2003

Affiliations

Université Paris-Est Créteil(Current)

Frédéric Gava is an author at Université Paris-Est Créteil specializing in computer science, computing, and parallel computing.

Publications per year

2003–2016

6

Publications

6

FORMAL PROOFS OF FUNCTIONAL BSP PROGRAMS

Frédéric Gava · Parallel Processing Letters · 2003 · 31 citations

Computing, Computer Engineering, Computer Science +17

A static analysis for Bulk Synchronous Parallel ML to avoid parallel nesting

Frédéric Gava, Frédéric Loulergue · Future Generation Computer Systems · 2004 · 26 citations

Computing, Computer Engineering, Computer Science +16

Bulk synchronous parallel ML with exceptions

Louis Gesbert, Frédéric Gava, Frédéric Loulergue et al. · Future Generation Computer Systems · 2009 · 20 citations

Computing, Computer Engineering, Computer Science +8

Multi-ML: Programming Multi-BSP Algorithms in ML

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

Computing, Computer Science, Algorithms +5

BSP-WHY

Jean Fortin, Frédéric Gava · 2010 · 12 citations

Computing, Computer Science, Formal Methods +10

1–5 of 6