Fabian Wolff
where else to find them
no profile links on file
what they talk about
- rust2
where they keep going back
no series more than once — all 2 in the filters
on a stage with
all 4 in the filters
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| 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 | ||