~/talk

Working with Peter O'Hearn in academia and industry

Talkat O'Hearn Fest (POPL 2024) · on Sunday, 2024-01-14
links:none on file
slides:none on file

Mark Harman recounts experiences collaborating with Peter O'Hearn across academic and industry settings, describing projects, interactions, and the contexts of their joint work. The talk covers practical and professional aspects of their collaborations rather than technical tutorials or new research results.

AI-written summary · about

~/search
type to search 6,249 conferences, 138,987 speakers and 185,172 talks
~/help
cmdctrl k
search every conference, speaker and series
/
focus the filter search
h
home
c
conferences
s
speakers
e
series
t
light / dark — the status bar button does the same
?
this help
esc
close this, then clear every filter — or just the search, while you are typing in it

Ignored while you are typing. Pages without a filter rail have no search to focus.