Adrien Guatto

16 papers A* 2B 2C 4Journal 6Unranked 1
YearRankTypeTitle / Venue / Authors
2024 J jnl
Deciding Equations in the Time Warp Algebra.
Log. Methods Comput. Sci.
Sam van Gool, Adrien Guatto, George Metcalfe, Simon Santschi
2023 J jnl
Deciding Equations in the Time Warp Algebra.
CoRR
Sam van Gool, Adrien Guatto, George Metcalfe, Simon Santschi
2022 J jnl
Modalities and Parametric Adjoints.
ACM Trans. Comput. Log.
Daniel Gratzer, Evan Cavallo, G. A. Kavvos, Adrien Guatto, Lars Birkedal
2021 C conf
Time Warps, from Algebra to Algorithms.
RAMiCS
Sam van Gool, Adrien Guatto, George Metcalfe, Simon Santschi
2021 J jnl
Time Warps, from Algebra to Algorithms.
CoRR
Sam van Gool, Adrien Guatto, George Metcalfe, Simon Santschi
2018 A* conf
A Generalized Modality for Recursion.
LICS
Adrien Guatto
2018 J jnl
A Generalized Modality for Recursion.
CoRR
Adrien Guatto
2018 A* conf
Heartbeat scheduling: provable efficiency for nested parallelism.
PLDI
Umut A. Acar, Arthur Charguéraud, Adrien Guatto, Mike Rainey, Filip Sieczkowski
2018 J jnl
Hierarchical Memory Management for Mutable State.
CoRR
Adrien Guatto, Sam Westrick, Ram Raghunathan, Umut A. Acar, Matthew Fluet
2018 B conf
Hierarchical memory management for mutable state.
PPoPP
Adrien Guatto, Sam Westrick, Ram Raghunathan, Umut A. Acar, Matthew Fluet
2016 — —
A synchronous functional language with integer clocks. (Un langage synchrone fonctionnel avec horloges entières).
Adrien Guatto
2014 C conf
Energy-aware parallelization flow and toolset for C code.
SCOPES
Mihai T. Lazarescu, Albert Cohen, Adrien Guatto, Nhat Minh Lê, Luciano Lavagno, Antoniu Pop, Manuel Prieto, Andrei Sergeevich Terechko, Alexandru Sutii
2014 — conf
Réseaux de Kahn à rafales et horloges entières.
JFLA
Louis Mandel, Adrien Guatto
2013 C conf
Correct and Efficient Bounded FIFO Queues.
SBAC-PAD
Nhat Minh Lê, Adrien Guatto, Albert Cohen, Antoniu Pop
2013 C conf
EU FP7-288307 Pharaon Project: Parallel and Heterogeneous Architecture for Real-Time Applications.
DSD
Hector Posadas, Eugenio Villar, Florian Broekaert, Michel Bourdellès, Albert Cohen, Antoniu Pop, Nhat Minh Lê, Adrien Guatto, Mihai T. Lazarescu, Luciano Lavagno, Andrei Sergeevich Terechko, Miguel Glassee, Daniel Calvo, Eduardo de las Heras
2012 B conf
A modular memory optimization for synchronous data-flow languages: application to arrays in a lustre compiler.
LCTES
Léonard Gérard, Adrien Guatto, Cédric Pasteur, Marc Pouzet