Adrien Durier
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
2017–2020
Best venue rank
A*
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2020 | ESOP | Trace-Relating Compiler Correctness and Secure Compilation. | Carmine Abate, Roberto Blanco, Stefan Ciobaca, Adrien Durier, Deepak Garg, Catalin Hritcu, Marco Patrignani, ric Tanter, Jrmy Thibault |
| 2018 | LICS | Eager Functions as Processes. | Adrien Durier, Daniel Hirschkoff, Davide Sangiorgi |
| 2017 | CONCUR | Divergence and Unique Solution of Equations. | Adrien Durier, Daniel Hirschkoff, Davide Sangiorgi |