Caleb Stanford
where else to find them
github:cdstanford
what they talk about
all 4 in the filters
where they keep going back
no series more than once — all 4 in the filters
on a stage with
all 14 in the filters
who talks about the same things
- Rajeev Alur5 talks
- Alvin Cheung6 talks
- Konstantinos Kallas11 talks
- Joseph W. Cutler7 talks
- Mae Milano10 talks
- Aaron Roth11 talks
| title | conference | date |
|---|---|---|
| Auditing Rust Crates Effectively | PriSC 2025 (with POPL 2025) | 2025-01-20 |
Cargo Scan is an interactive analysis tool that inspects Rust crates, models side-effecting APIs, and propagates color-checked propagation across call sites so… | ||
| Counterexamples in Safe Rust | PriSC 2025 (with POPL 2025) | 2025-01-20 |
Shows concrete safe Rust breaks: using proc/self/mem memory patching to flip const pointers and enlarge vector capacity for out‑of‑bounds reads/writes… | ||
| Stream Types | PLDI 2024 | 2024-06-24 |
Proposes a type-theoretic foundation that lets ordinary list programs run as online stream processors by rejecting programs that need unbounded buffering and… | ||
| A Robust Theory of Series Parallel Graphs | POPL 2023 | 2023-01-15 |
Defines synchronized series-parallel graphs (SSPG) as two-terminal DAGs with sequential and unordered parallel composition plus a synchronization edge, and… | ||
| DiffStream: Differential Output Testing for Stream Processing Programs | OOPSLA 2020 | 2020-11-15 |
DiffStream is a Flink testing library that compares a sequential and a parallel run by a matching algorithm that decides stream equivalence up to an explicit… | ||
| nothing matches | ||