Andres Erbsen
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
8
Venues
6
Active years
2018–2026
Best venue rank
A*
Where they publish
Papers
8 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | CPP | Foundational Verification of Running-Time Bounds for Interactive Programs. | Andy Tockman, Pratap Singh, Andres Erbsen, Samuel Gruetter, Adam Chlipala |
| 2025 | CCS | Securing Cryptographic Software via Typed Assembly Language. | Shixin Song, Tingzhen Dong, Kosi Nwabueze, Julian Zanders, Andres Erbsen, Adam Chlipala, Mengjia Yan |
| 2023 | ICSE | CryptOpt: Automatic Optimization of Straightline Code. | Joel Kuepper, David Wu, Andres Erbsen, Jason Gross, Owen Conoly, Chuyue Sun, Samuel Tian, Adam Chlipala, Chitchanok Chuengsatiansup, Daniel Genkin, Markus Wagner, Yuval Yarom |
| 2022 | ITP | Accelerating Verified-Compiler Development with a Verified Rewriting Engine. | Jason Gross, Andres Erbsen, Jade Philipoom, Miraya Poddar-Agrawal, Adam Chlipala |
| 2022 | PLDI | Relational compilation for performance-critical applications: extensible proof-producing translation of functional models into low-level code. | Clment Pit-Claudel, Jade Philipoom, Dustin Jamner, Andres Erbsen, Adam Chlipala |
| 2021 | PLDI | Integration verification across software and hardware for a simple embedded system. | Andres Erbsen, Samuel Gruetter, Joonwon Choi, Clark Wood, Adam Chlipala |
| 2019 | SP | Simple High-Level Code for Cryptographic Arithmetic - With Proofs, Without Compromises. | Andres Erbsen, Jade Philipoom, Jason Gross, Robert Sloan, Adam Chlipala |
| 2018 | ITP | Reification by Parametricity - Fast Setup for Proof by Reflection, in Two Lines of Ltac. | Jason Gross, Andres Erbsen, Adam Chlipala |