Arthur Azevedo de Amorim
Boston University
H-index: 14
North America-United States
Top articles of Arthur Azevedo de Amorim
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
Pipelines and Beyond: Graph Types for ADTs with Futures | Proceedings of the ACM on Programming Languages | Francis Rinaldi june wunder Arthur Azevedo de Amorim Stefan K Muller | 2024/1/5 |
Domain Reasoning in TopKAT | arXiv preprint arXiv:2404.18417 | Cheng Zhang Arthur Azevedo de Amorim Marco Gaboardi | 2024/4/29 |
Kleene algebra with commutativity conditions is undecidable | Arthur Azevedo de Amorim Marco Gaboardi Cheng Zhang | 2024/4/5 | |
SECOMP: Formally Secure Compilation of Compartmentalized C Programs | arXiv preprint arXiv:2401.16277 | Jérémy Thibault Roberto Blanco Dongjae Lee Sven Argo Arthur Azevedo de Amorim | 2024/1/29 |
Bunched Fuzz: Sensitivity for Vector Metrics | June Wunder Arthur Azevedo de Amorim Patrick Baillot Marco Gaboardi | 2023/4/17 | |
On Pitts' Relational Properties of Domains | arXiv e-prints | Arthur Azevedo de Amorim | 2022/7 |
On incorrectness logic and Kleene algebra with top and tests | Proceedings of the ACM on Programming Languages | Cheng Zhang Arthur Azevedo de Amorim Marco Gaboardi | 2022/1/11 |
Learning Assumptions for Verifying Cryptographic Protocols Compositionally | Zichao Zhang Arthur Azevedo de Amorim Limin Jia Corina Păsăreanu | 2021 | |
Netter: Probabilistic, stateful network models | Han Zhang Chi Zhang Arthur Azevedo de Amorim Yuvraj Agarwal Matt Fredrikson | 2021 | |
Reconciling noninterference and gradual typing | Arthur Azevedo de Amorim Matt Fredrikson Limin Jia | 2020/7/8 | |
Automating compositional analysis of authentication protocols | Zichao Zhang Arthur Azevedo de Amorim Limin Jia Corina S Pasareanu | 2020 |