Justus Adam
where else to find them
bluesky:justusadam.bsky.social
what they talk about
all 4 in the filters
where they keep going back
no series more than once — all 2 in the filters
on a stage with
all 15 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… | ||
| K9db: Privacy-Compliant Storage For Web Applications By Construction | OSDI 2023 | 2023-07-10 |
K9db is a MySQL‑compatible database that enforces GDPR-style access and deletion by construction: developers add a few schema annotations and K9db builds a… | ||
| nothing matches | ||