Malte Schwarzkopf
where else to find them
bluesky:ms705.bsky.social
what they talk about
all 5 in the filters
where they keep going back
no series more than once — all 4 in the filters
on a stage with
all 21 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… | ||
| Quicksand: Harnessing Stranded Datacenter Resources with Granular Computing | NSDI '25 | 2025-04-28 |
Quicksand decomposes applications into small resource proclets—separate compute and memory units—and automatically splits, merges, and migrates them to fill… | ||
| 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… | ||
| Nu: Achieving Microsecond-Scale Resource Fungibility with Logical Processes | NSDI 2023 | 2023-04-17 |
A system called Nu implements logical processes that split a Unix process into many small stateful proclets and a centralized controller, and it migrates those… | ||
| nothing matches | ||