~/panel

Panel: Next 50 Years of POPL

on YouTube 01h 03m
Panelat POPL 2023 · 2023-01-15..01-21· [software-architecture]

speakers

name:Derek Dreyer
website:https://people.mpi-sws.org/~dreyer
name:Michael Carbin
bluesky:mcarbin.bsky.social
name:Nate Foster
linkedin:nate-foster-935795125
name:Xavier Leroy
links:none on file
name:Benjamin C. Pierce
website:https://cis.upenn.edu/~bcpierce
name:Nadia Polikarpova
x:polikarn
name:Azalea Raad
links:none on file
name:Sharon Shoham
website:http://www.tau.ac.il/~sharonshoham/

resources

video:https://youtu.be/m9eQCZ6bCEA
slides:none on file

summary

Panel discussion surveys POPL's past and future with concrete examples and tensions: cites FlashFill and program synthesis, the 1976 abstract interpretation result, monads and modular interpreters, and the rise of proof assistants at scale and TensorFlow/PyTorch enabling differentiable programming. Panelists debate concrete needs—HCI methods, tutorials and demos, reproducible software, mentorship, and the costs of a low acceptance rate—and propose actionable directions for tooling, outreach, and reviewing practices rather than vague predictions.

AI-written summary · about

chapters (9)

  1. 0:00Introduction of the panel
  2. 2:16Research areas and origins
  3. 8:02History of the conference
  4. 10:36Evolution of the community
  5. 15:44Theory and practice tension
  6. 22:18Key contributions of POPL
  7. 29:32Future challenges and goals
  8. 43:21Review process improvements
  9. 50:11Audience Q&A

related talks

~/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.