Josh Berdine
where else to find them
what they talk about
all 4 in the filters
where they keep going back
no series more than once — all 3 in the filters
on a stage with
all 5 in the filters
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| Symbolic Execution with Separating Decision Diagrams | O'Hearn Fest (POPL 2024) | 2024-01-14 |
Defines separating decision diagrams as a zero-suppressed BDD variant that encodes star/or separation-logic formulas by treating atoms (pure or spatial) as ZDD… | ||
| Finding real bugs in big programs with incorrectness logic | OOPSLA 2022 | 2022-12-05 |
Pulse-X applies ISL (a synthesis of Incorrectness Logic and separation logic) to build an automatic under-approximate analyzer for memory errors, inferring… | ||
| Concurrent Incorrectness Separation Logic | POPL 2022 | 2022-01-16 |
Develops CISL as a parametric extension of Incorrectness Separation Logic that models concurrency with histories and lock-aware events, instantiates to race… | ||
| nothing matches | ||