Aurel Bílý
where else to find them
no profile links on file
what they talk about
where they keep going back
- OOPSLA2 editions2021–2025
on a stage with
all 10 in the filters
who talks about the same things
- Jonáš Fiala4 talks
- Alexander J. Summers13 talks
- Markus de Medeiros3 talks
- Christoph Matheja8 talks
- Peter Müller28 talks
- Ralf Jung18 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… | ||
| A Refinement Methodology for Distributed Programs in Rust | OOPSLA 2025 | 2025-10-16 |
Presents a bottom-up refinement method that pairs guarded transition systems with a novel locally inductive invariants proof rule, implemented as a Rust… | ||
| Compositional Reasoning about Advanced Iterator Patterns in Rust | IWACO 2023 | 2023-10-24 |
Methodology specifies and verifies Rust iterator chains that include closures with side effects, claiming precise modular reasoning about composition and… | ||
| Modular Specification and Verification of Closures in Rust | SPLASH 2022 | 2022-12-05 |
Presents a concrete method to specify and verify Rust closures by encoding higher‑order concerns into a first-order encoding that SMT solvers (via Viper and… | ||
| Modular Specification and Verification of Closures in Rust | OOPSLA 2021 | 2021-10-17 |
A Prusti extension encodes higher-order Rust closures into first-order Viper logic and discharges verification conditions to Z3, claiming modular verification… | ||
| nothing matches | ||