Adrien Guatto
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
6
Active years
2013–2018
Best venue rank
A*
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2018 | LICS | A Generalized Modality for Recursion. | Adrien Guatto |
| 2018 | PLDI | Heartbeat scheduling: provable efficiency for nested parallelism. | Umut A. Acar, Arthur Charguraud, Adrien Guatto, Mike Rainey, Filip Sieczkowski |
| 2018 | PPoPP | Hierarchical memory management for mutable state. | Adrien Guatto, Sam Westrick, Ram Raghunathan, Umut A. Acar, Matthew Fluet |
| 2014 | SCOPES | 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 |
| 2013 | DSD | EU FP7-288307 Pharaon Project: Parallel and Heterogeneous Architecture for Real-Time Applications. | Hector Posadas, Eugenio Villar, Florian Broekaert, Michel Bourdells, 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 |
| 2013 | SBAC-PAD | Correct and Efficient Bounded FIFO Queues. | Nhat Minh L, Adrien Guatto, Albert Cohen, Antoniu Pop |