Adrien Guatto

According to our database, Adrien Guatto authored at least 12 papers between 2012 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Deciding Equations in the Time Warp Algebra.

Sam van Gool, Adrien Guatto, George Metcalfe, Simon Santschi

Log. Methods Comput. Sci., 2024

2022

Modalities and Parametric Adjoints.

Daniel Gratzer, Evan Cavallo, G. A. Kavvos, Adrien Guatto, Lars Birkedal

ACM Trans. Comput. Log., 2022

2021

Time Warps, from Algebra to Algorithms.

Sam van Gool, Adrien Guatto, George Metcalfe, Simon Santschi

Proceedings of the Relational and Algebraic Methods in Computer Science, 2021

2018

Hierarchical memory management for mutable state.

Adrien Guatto, Sam Westrick, Ram Raghunathan, Umut A. Acar, Matthew Fluet

Proceedings of the 23rd ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2018

Heartbeat scheduling: provable efficiency for nested parallelism.

Umut A. Acar, Arthur Charguéraud, Adrien Guatto, Mike Rainey, Filip Sieczkowski

Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2018

A Generalized Modality for Recursion.

Adrien Guatto

Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, 2018

2016

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

Adrien Guatto

PhD thesis, 2016

2014

Energy-aware parallelization flow and toolset for C code.

Mihai T. Lazarescu, Albert Cohen, Adrien Guatto, Nhat Minh Lê, Luciano Lavagno, Antoniu Pop, Manuel Prieto, Andrei Sergeevich Terechko, Alexandru Sutii

Proceedings of the 17th International Workshop on Software and Compilers for Embedded Systems, 2014

Réseaux de Kahn à rafales et horloges entières.

Louis Mandel, Adrien Guatto

Proceedings of the 25. Journées francophones des langages applicatifs, 2014

2013

Correct and Efficient Bounded FIFO Queues.

Nhat Minh Lê, Adrien Guatto, Albert Cohen, Antoniu Pop

Proceedings of the 25th International Symposium on Computer Architecture and High Performance Computing, 2013

EU FP7-288307 Pharaon Project: Parallel and Heterogeneous Architecture for Real-Time Applications.

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

Proceedings of the 2013 Euromicro Conference on Digital System Design, 2013

2012

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

Proceedings of the SIGPLAN/SIGBED Conference on Languages, 2012