Carolyn Zech
where else to find them
what they talk about
where they keep going back
no series more than once — all 2 in the filters
on a stage with
- Justus Adamonce
- Livia Zhuonce
- Malte Schwarzkopfonce
all 8 in the filters
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| Paralegal: Practical Static Analysis for Privacy Bugs | OSDI '25 | 2025-07-07 |
Paralegal is a static analysis tool for Rust that checks formal privacy policies over a marker-annotated Program Dependence Graph, using Rust’s ownership types… | ||
| Verifying the Rust Standard Library | Open Source Summit North America 2025 | 2025-06-23 |
Amazon and the Rust Foundation run a verification contest that aims to formally prove the Rust standard library’s unsafe code cannot cause undefined behavior… | ||
| nothing matches | ||