Carolyn Zech

According to our database, Carolyn Zech authored at least 7 papers between 2025 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2026

Verifying the Rust Standard Library.

Byron Cook, Remi Delmas, Zyad Hassan, Bart Jacobs, Ranjit Jhala, Rahul Kumar, Felipe R. Monteiro, Thanh Nguyen, Rebecca Rumbul, Michael Tautschnig, Celina G. Val, Carolyn Zech

Proceedings of the NASA Formal Methods, 2026

Parameterized Hardware Design with Latency-Abstract Interfaces.

Rachit Nigam, Ethan Gabizon, Edmund Lam, Carolyn Zech, Jonathan Balkind, Adrian Sampson

Proceedings of the 31st ACM International Conference on Architectural Support for Programming Languages and Operating Systems, 2026

2025

Paralegal OSDI 2025 Artifact.

Justus Adam, Carolyn Zech, Livia Zhu, Sreshtaa Rajesh, Mithi Jethwa, Nathan Harbison, Will Crichton, Shriram Krishnamurthi, Malte Schwarzkopf

Dataset, May, 2025

Paralegal OSDI 2025 Artifact.

Justus Adam, Carolyn Zech, Livia Zhu, Sreshtaa Rajesh, Mithi Jethwa, Nathan Harbison, Will Crichton, Shriram Krishnamurthi, Malte Schwarzkopf

Dataset, May, 2025

Paralegal OSDI 2025 Artifact.

Justus Adam, Carolyn Zech, Livia Zhu, Sreshtaa Rajesh, Mithi Jethwa, Nathan Harbison, Will Crichton, Shriram Krishnamurthi, Malte Schwarzkopf

Dataset, May, 2025

Paralegal OSDI 2025 Artifact.

Justus Adam, Malte Schwarzkopf, Shriram Krishnamurthi, Will Crichton, Carolyn Zech, Livia Zhu, Sreshtaa Rajesh, Nathan Harbison, Mithi Jethwa

Dataset, May, 2025

Paralegal: Practical Static Analysis for Privacy Bugs.

Justus Adam, Carolyn Zech, Livia Zhu, Sreshtaa Rajesh, Nathan Harbison, Mithi Jethwa, Will Crichton, Shriram Krishnamurthi, Malte Schwarzkopf

Proceedings of the 19th USENIX Symposium on Operating Systems Design and Implementation, 2025