Adrien Guatto

Publication Activity (10 Years)

Years Active: 2012-2024
Publications (10 Years): 10

Top Venues

CoRR

RAMiCS

LICS

ACM Trans. Comput. Log.

PSL Research University, Paris, France (PHD)

Education History

PSL Research University, Paris, France

PHD

Publications

Sam van Gool, Adrien Guatto, George Metcalfe, Simon Santschi
Deciding Equations in the Time Warp Algebra. Log. Methods Comput. Sci. 20 (1) (2024)
Sam van Gool, Adrien Guatto, George Metcalfe, Simon Santschi
Deciding Equations in the Time Warp Algebra. CoRR (2023)
Daniel Gratzer, Evan Cavallo, G. A. Kavvos, Adrien Guatto, Lars Birkedal
Modalities and Parametric Adjoints. ACM Trans. Comput. Log. 23 (3) (2022)
Sam van Gool, Adrien Guatto, George Metcalfe, Simon Santschi
Time Warps, from Algebra to Algorithms. RAMiCS (2021)
Sam van Gool, Adrien Guatto, George Metcalfe, Simon Santschi
Time Warps, from Algebra to Algorithms. CoRR (2021)
Umut A. Acar, Arthur Charguéraud, Adrien Guatto, Mike Rainey, Filip Sieczkowski
Heartbeat scheduling: provable efficiency for nested parallelism. PLDI (2018)
Adrien Guatto, Sam Westrick, Ram Raghunathan, Umut A. Acar, Matthew Fluet
Hierarchical memory management for mutable state. PPOPP (2018)
Adrien Guatto
A Generalized Modality for Recursion. LICS (2018)
Adrien Guatto
A Generalized Modality for Recursion. CoRR (2018)
Adrien Guatto, Sam Westrick, Ram Raghunathan, Umut A. Acar, Matthew Fluet
Hierarchical Memory Management for Mutable State. CoRR (2018)
Louis Mandel, Adrien Guatto
Réseaux de Kahn à rafales et horloges entières. JFLA (2014)
Mihai T. Lazarescu, Albert Cohen, Adrien Guatto, Nhat Minh Lê, Luciano Lavagno, Antoniu Pop, Manuel Prieto, Andrei Sergeevich Terechko, Alexandru Sutii
Energy-aware parallelization flow and toolset for C code. SCOPES (2014)
Nhat Minh Lê, Adrien Guatto, Albert Cohen, Antoniu Pop
Correct and Efficient Bounded FIFO Queues. SBAC-PAD (2013)
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
EU FP7-288307 Pharaon Project: Parallel and Heterogeneous Architecture for Real-Time Applications. DSD (2013)
Léonard Gérard, Adrien Guatto, Cédric Pasteur, Marc Pouzet
A modular memory optimization for synchronous data-flow languages: application to arrays in a lustre compiler. LCTES (2012)

Adrien Guatto.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Adrien Guatto