Introduction
summary
Brief history and concrete impact: seminal papers on concurrent separation logic (2004) and the original separation logic paper accumulate major influence — one cited 4,300 citations — spawning a documented genealogy of new logics; a later POPL 2020 paper on incorrectness logic has about 120 citations and already drives follow‑on work; group moves to industry in 2013, subsequent projects include practical tool and research collaborations, regular blackboard‑and‑pub problem solving, and multiple joint papers and postdoc hires.
AI-written summary · about
chapters (6)
- 0:00Welcome to Peter’s 60th birthday
- 2:32How I first met Peter Oran
- 4:18Peter’s influence on separation logic
- 6:45Working on incorrectness logic
- 8:50Peter’s kindness and impact
- 9:54Transition to first speaker
related talks
21mEmbedding Hindsight Reasoning in Separation Logic
05mNew foundations for probabilistic separation logic
34mLogic in Computer Science, Engineering and Industry
18mDistributed Causal Memory for Higher-Order Distributed Separation Logic
54mReasoning about Progress of Concurrent Objects
19mA Proof Recipe for Linearizability in Relaxed Memory Separation Logic
23mVerifying Graph Algorithms in Separation Logic: A Case for an Algebraic Approach
28mReasoning about Distributed Reconfigurable Systems