Statistics
Publications
5
Citations
94
H-Index
5
Active since
2012
Affiliations
Adrien Guatto is an author at Institut national de recherche en sciences et technologies du numérique specializing in computer science, computing, and computer architecture.
Publications per year
2012–2018
5
5
A modular memory optimization for synchronous data-flow languages
Léonard Gérard, Adrien Guatto, Cédric Pasteur et al. · 2012 · 30 citations · Full text
Heartbeat scheduling: provable efficiency for nested parallelism
Umut A. Acar, Arthur Charguéraud, Adrien Guatto et al. · 2018 · 20 citations · Full text
A Generalized Modality for Recursion
Adrien Guatto · 2018 · 19 citations · Full text
Correct and Efficient Bounded FIFO Queues
Nhat Minh Lê, Adrien Guatto, Albert Cohen et al. · 2013 · 13 citations
A modular memory optimization for synchronous data-flow languages
Léonard Gérard, Adrien Guatto, Cédric Pasteur et al. · ACM SIGPLAN Notices · 2012 · 12 citations
1–5 of 5