Sebastian Wolff
where else to find them
no profile links on file
what they talk about
where they keep going back
no series more than once — all 2 in the filters
on a stage with
who talks about the same things
- Roland Meyer9 talks
- Thomas Wies10 talks
- Aleksandar Nanevski7 talks
- Jules Jacobs11 talks
- Simon Oddershede Gregersen9 talks
- Ike Mulder4 talks
| title | conference | date |
|---|---|---|
| Embedding Hindsight Reasoning in Separation Logic | PLDI 2023 | 2023-06-17 |
The work embeds hindsight reasoning into separation logic via a new proof rule called temporal interpolation, implemented in an automated tool that proves… | ||
| A Concurrent Program Logic with a Future and History | OOPSLA 2022 | 2022-12-05 |
A new separation logic that preserves local reasoning while enabling automation introduces ghost update chunks to decompose unbounded physical removals into… | ||
| nothing matches | ||