Markus de Medeiros
where else to find them
no profile links on file
what they talk about
where they keep going back
- OOPSLA2 editions2024–2025
on a stage with
all 20 in the filters
who talks about the same things
- Jonáš Fiala4 talks
- Aurel Bílý5 talks
- Lars Birkedal35 talks
- Alexander J. Summers13 talks
- Peter Müller28 talks
- Joseph Tassarotti20 talks
| title | conference | date |
|---|---|---|
| Place Capability Graphs: A General-Purpose Model of Rust’s Ownership and Borrowing(…) | OOPSLA 2025 | 2025-10-16 |
Place Capability Graphs (PCG) present a concretely computable model of Rust ownership that is extracted from the compiler’s MIR and borrow-checker facts and… | ||
| Verified Foundations for Differential Privacy | PLDI 2025 | 2025-06-16 |
SampCert is a mechanized foundation for differential privacy written in Lean that proves correctness of sampling and DP composition and ships verified samplers… | ||
| Tachis: Higher-Order Separation Logic with Credits for Expected Costs | OOPSLA 2024 | 2024-10-20 |
Tachis introduces probabilistic cost credits, a separation logic resource that preserves expectation across random branches and lets proofs allocate credits… | ||
| nothing matches | ||