Ruben Martins
where else to find them
no profile links on file
what they talk about
all 5 in the filters
where they keep going back
- OOPSLA2 editions2020–2024
all 4 in the filters
on a stage with
- Anup Agarwalonce
- Bryan Parnoonce
- Chanhee Choonce
all 18 in the filters
who talks about the same things
- Chanhee Cho2 talks
- Will Crichton9 talks
- Oliver Bračevac9 talks
- Ralf Jung18 talks
- Yuyan Bao8 talks
- Andrew Lilley Brinker3 talks
| title | conference | date |
|---|---|---|
| A Pointer-Ownership Model for C Inspired by Rust | LCTES 2026 | 2026-06-15 |
An end-to-end system builds per-function P models (ownership + lifetimes), uses an LLM-assisted builder to fill models, and checks them with a SAT solver that… | ||
| Crabtree: Rust API Test Synthesis Guided by Coverage and Type | OOPSLA 2024 | 2024-10-20 |
Crabtree is a Rust API test synthesizer that combines program synthesis with fuzzing using a coverage- and type-guided DFS to grow tests and inputs; it… | ||
| Towards provably performant congestion control | 21st USENIX Symposium on Networked Systems Design and Implementation (NSDI '24) | 2024-04-16 |
Framework creates a belief set that exhaustively maps observed send/ACK time series to possible bottleneck bandwidth, buffer, and delay states, and uses… | ||
| Finding Invariants of Distributed Systems: It's a Small (Enough) World After All | NSDI ’21 | 2021-04-12 |
Swiss automates construction of inductive invariants by exhaustively searching a bounded candidate space, using counterexample-guided synthesis and SMT checks… | ||
| Program Equivalence for Assisted Grading of Functional Programs | OOPSLA 2020 | 2020-11-15 |
Zeus clusters Standard ML student submissions by proving structural equivalence with inference rules and emits an SMT formula checked by z3 so clustering is… | ||
| nothing matches | ||