Lauren Pick
where else to find them
no profile links on file
what they talk about
where they keep going back
no series more than once — all 2 in the filters
on a stage with
all 7 in the filters
who talks about the same things
- Ankush Desai10 talks
- Amanda Xu6 talks
- Aws Albarghouthi14 talks
- Aarti Gupta7 talks
- Thomas Reps20 talks
- Oded Padon11 talks
| title | conference | date |
|---|---|---|
| Checking Observational Correctness of Database Systems | OOPSLA 2025 | 2025-10-16 |
Tool encodes transaction behavior with a version-aware semantics and checks isolation via explicit SMT constraints so the checker asks whether any valid… | ||
| Psym: Efficient Symbolic Exploration of Distributed Systems | PLDI 2023 | 2023-06-17 |
Psym implements a symbolic explorer for P programs that merges frontier states using composite value summaries and canonical BDD-backed SECI guards so… | ||
| Synthesizing Quantum-Circuit Optimizers | PLDI 2023 | 2023-06-17 |
Synthesizes a device-specific quantum-circuit optimizer from a gate-set spec in 1.2 minutes and outputs 7,001 symbolic rewrite rules for IBM’s gate set, giving… | ||
| nothing matches | ||