Marco Patrignani
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
14
Venues
9
Active years
2011–2022
Best venue rank
A*
Where they publish
Papers
14 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2022 | CCS | Automatic Detection of Speculative Execution Combinations. | Xaver Fabian, Marco Guarnieri, Marco Patrignani |
| 2022 | PLDI | Modular information flow through ownership. | Will Crichton, Marco Patrignani, Maneesh Agrawala, Pat Hanrahan |
| 2021 | CCS | Exorcising Spectres with Secure Compilers. | Marco Patrignani, Marco Guarnieri |
| 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 |
| 2020 | PLDI | Type-directed scheduling of streaming accelerators. | David Durst, Matthew Feldman, Dillon Huff, David Akeley, Ross G. Daly, Gilbert Louis Bernstein, Marco Patrignani, Kayvon Fatahalian, Pat Hanrahan |
| 2019 | ESOP | Robustly Safe Compilation. | Marco Patrignani, Deepak Garg |
| 2016 | POPL | Fully-abstract compilation by approximate back-translation. | Dominique Devriese, Marco Patrignani, Frank Piessens |
| 2016 | SAC | Implementing a secure abstract machine. | Adriaan Larmuseau, Marco Patrignani, Dave Clarke |
| 2015 | APLAS | A Secure Compiler for ML Modules. | Adriaan Larmuseau, Marco Patrignani, Dave Clarke |
| 2015 | SETTA | A High-Level Model for an Assembly Language Attacker by Means of Reflection. | Adriaan Larmuseau, Marco Patrignani, Dave Clarke |
| 2014 | ECOOP | Operational Semantics for Secure Interoperation. | Adriaan Larmuseau, Marco Patrignani, Dave Clarke |
| 2014 | SAC | Fully abstract trace semantics for low-level isolation mechanisms. | Marco Patrignani, Dave Clarke |
| 2013 | APLAS | Secure Compilation of Object-Oriented Components to Protected Module Architectures. | Marco Patrignani, Dave Clarke, Frank Piessens |
| 2011 | FORTE | Ownership Types for the Join Calculus. | Marco Patrignani, Dave Clarke, Davide Sangiorgi |