Amanda Stjerna
where else to find them
what they talk about
where they keep going back
no series more than once — all 3 in the filters
on a stage with
- Philipp Rümmeronce
who talks about the same things
- Philipp Rümmer4 talks
- Tiark Rompf24 talks
- Derek Dreyer35 talks
- Ralf Jung18 talks
- Oliver Bračevac9 talks
- Guannan Wei21 talks
| title | conference | date |
|---|---|---|
| The First Six Years in the Development of Polonius, an Improved Borrow Checker | IWACO 2024 | 2024-10-21 |
Polonius is an overhaul of Rust’s borrow checker that replaces lifetime points-in-CFG with lifetimes as sets of loans, adds per-program-point dynamic outlives… | ||
| A Constraint Solving Approach to Parikh Images of Regular Languages | OOPSLA 2024 | 2024-10-20 |
Presents a constraint-solving reframing of Parikh-image extraction: build PC calculus and a standalone tool Catra tool* that ties to the Princess SMT engine… | ||
| The first six years in the development of Polonius | EuroRust 2024 | 2024-10-10 |
Polonius aims to extend Rust’s borrow checker to handle conditional early returns (Case 3) by modeling lifetimes as sets and letting the outlives graph vary… | ||
| nothing matches | ||