A modular memory optimization for synchronous data-flow languages: application to arrays in a lustre compiler. - Léonard Gérard; Adrien Guatto; Cédric Pasteur; Marc Pouzet (LCTES, 2012)

EU FP7-288307 Pharaon Project: Parallel and Heterogeneous Architecture for Real-Time Applications. - Hector Posadas; Eugenio Villar; Florian Broekaert; Michel Bourdellès; Albert Cohen 001; Antoniu Pop; Nhat Minh Lê; Adrien Guatto; Mihai T. Lazarescu; Luciano Lavagno; Andrei Sergeevich Terechko; Miguel Glassee; et al. (DSD, 2013)

Correct and Efficient Bounded FIFO Queues. - Nhat Minh Lê; Adrien Guatto; Albert Cohen 001; Antoniu Pop (SBAC-PAD, 2013)

Réseaux de Kahn à rafales et horloges entières. - Louis Mandel; Adrien Guatto (JFLA, 2014)

Energy-aware parallelization flow and toolset for C code. - Mihai T. Lazarescu; Albert Cohen 001; Adrien Guatto; Nhat Minh Lê; Luciano Lavagno; Antoniu Pop; Manuel Prieto; Andrei Sergeevich Terechko; Alexandru Sutii (SCOPES, 2014)

A synchronous functional language with integer clocks. (Un langage synchrone fonctionnel avec horloges entières). - Adrien Guatto (2016)

A Generalized Modality for Recursion. - Adrien Guatto (LICS, 2018)

Heartbeat scheduling: provable efficiency for nested parallelism. - Umut A. Acar; Arthur Charguéraud; Adrien Guatto; Mike Rainey; Filip Sieczkowski (PLDI, 2018)

Hierarchical memory management for mutable state. - Adrien Guatto; Sam Westrick; Ram Raghunathan; Umut A. Acar; Matthew Fluet (PPoPP, 2018)

Time Warps, from Algebra to Algorithms. - Sam van Gool; Adrien Guatto; George Metcalfe; Simon Santschi (RAMiCS, 2021)

Modalities and Parametric Adjoints. - Daniel Gratzer; Evan Cavallo; G. A. Kavvos; Adrien Guatto; Lars Birkedal (ACM Trans. Comput. Log., 2022)

Deciding Equations in the Time Warp Algebra. - Sam van Gool; Adrien Guatto; George Metcalfe; Simon Santschi (Log. Methods Comput. Sci., 2024)