10:31

[O'HearnFest] Introduction

ACM SIGPLAN

25:01

[O'HearnFest] Peter's early work on parametricity, and why it still matters to me

ACM SIGPLAN

20:17

[O'HearnFest] Strong vs. weak separating conjunction in CSL

ACM SIGPLAN

31:13

[O'HearnFest] Verified Software at Scale

ACM SIGPLAN

16:34

[O'HearnFest] Later Credits: A Case Study in the Unreasonable Effectiveness of Separation ...

ACM SIGPLAN

22:24

[O'HearnFest] Bi-abductive adversarial program synthesis

ACM SIGPLAN

21:02

[O'HearnFest] CSL and relaxed memory

ACM SIGPLAN

23:35

[O'HearnFest] Is Peter Correct or Incorrect?

ACM SIGPLAN

20:39

[O'HearnFest] Massive proofs for the masses

ACM SIGPLAN

18:44

[O'HearnFest] Designing Wait-free Weak Reference Counting

ACM SIGPLAN

8:54

[O'HearnFest] Elegance and generosity are scientific values - And other things I've learne...

ACM SIGPLAN

23:58

[O'HearnFest] Peter, the May and the Must, and Lacework

ACM SIGPLAN

21:01

[O'HearnFest] Working with Peter O'Hearn in academia and industry

ACM SIGPLAN

19:05

[O'HearnFest] Pete's Footprints

ACM SIGPLAN

24:19

[O'HearnFest] Symbolic Execution with Separating Decision Diagrams

ACM SIGPLAN