Arthur Azevedo de Amorim
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
14
Venues
11
Active years
2013–2025
Best venue rank
A*
Where they publish
Papers
14 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | APLAS | Memory Safety: Uniqueness as Separation. | Pilar Selene Linares-Arvalo, Arthur Azevedo de Amorim, Vincent Jackson, Liam O'Connor, Peter Schachte, Christine Rizkallah |
| 2025 | CSL | Kleene Algebra with Commutativity Conditions Is Undecidable. | Arthur Azevedo de Amorim, Cheng Zhang, Marco Gaboardi |
| 2024 | CCS | SECOMP: Formally Secure Compilation of Compartmentalized C Programs. | Jrmy Thibault, Roberto Blanco, Dongjae Lee, Sven Argo, Arthur Azevedo de Amorim, Ana Linn Georges, Catalin Hritcu, Andrew Tolmach |
| 2024 | ICALP | Domain Reasoning in TopKAT. | Cheng Zhang, Arthur Azevedo de Amorim, Marco Gaboardi |
| 2023 | ESOP | Bunched Fuzz: Sensitivity for Vector Metrics. | june wunder, Arthur Azevedo de Amorim, Patrick Baillot, Marco Gaboardi |
| 2021 | VMCAI | Netter: Probabilistic, Stateful Network Models. | Han Zhang, Chi Zhang, Arthur Azevedo de Amorim, Yuvraj Agarwal, Matt Fredrikson, Limin Jia |
| 2020 | FMCAD | Automating Compositional Analysis of Authentication Protocols. | Zichao Zhang, Arthur Azevedo de Amorim, Limin Jia, Corina S. Pasareanu |
| 2020 | LICS | Reconciling noninterference and gradual typing. | Arthur Azevedo de Amorim, Matt Fredrikson, Limin Jia |
| 2019 | LICS | Probabilistic Relational Reasoning via Metrics. | Arthur Azevedo de Amorim, Marco Gaboardi, Justin Hsu, Shin-ya Katsumata |
| 2018 | CCS | When Good Components Go Bad: Formally Secure Compilation Despite Dynamic Compromise. | Carmine Abate, Arthur Azevedo de Amorim, Roberto Blanco, Ana Nora Evans, Guglielmo Fachini, Catalin Hritcu, Tho Laurent, Benjamin C. Pierce, Marco Stronati, Andrew Tolmach |
| 2017 | POPL | A semantic account of metric preservation. | Arthur Azevedo de Amorim, Marco Gaboardi, Justin Hsu, Shin-ya Katsumata, Ikram Cherigui |
| 2015 | SP | Micro-Policies: Formally Verified, Tag-Based Security Monitors. | Arthur Azevedo de Amorim, Maxime Dns, Nick Giannarakis, Catalin Hritcu, Benjamin C. Pierce, Antal Spector-Zabusky, Andrew Tolmach |
| 2014 | POPL | A verified information-flow architecture. | Arthur Azevedo de Amorim, Nathan Collins, Andr DeHon, Delphine Demange, Catalin Hritcu, David Pichardie, Benjamin C. Pierce, Randy Pollack, Andrew Tolmach |
| 2013 | ICFP | Testing noninterference, quickly. | Catalin Hritcu, John Hughes, Benjamin C. Pierce, Antal Spector-Zabusky, Dimitrios Vytiniotis, Arthur Azevedo de Amorim, Leonidas Lampropoulos |