Tue 17 Jan 2023 09:15 - 10:00 at Studio 2 - Session 1 Chair(s): Hannah Gommerstadt

Writing well on technical subjects is hard for many reasons, but perhaps the hardest of all is the difficulty of imagining what it is like not to know something that we do know. We’ll explore some approaches to this challenge.

Slides (pierce.pdf)1.81MiB

Benjamin Pierce is Henry Salvatori Professor of Computer and Information Science at the University of Pennsylvania and a Fellow of the ACM. His research interests include programming languages, type systems, language-based security, computer-assisted formal verification, differential privacy, and synchronization technologies. He is the author of the widely used graduate textbooks Types and Programming Languages and Software Foundations. He has served as co-Editor in Chief of the Journal of Functional Programming, as Managing Editor for Logical Methods in Computer Science, and as editorial board member of Mathematical Structures in Computer Science, Formal Aspects of Computing, and ACM Transactions on Programming Languages and Systems. He is also the lead designer of the popular Unison file synchronizer and co-developer of the Clowdr virtual conference platform.

Tue 17 Jan

Displayed time zone: Eastern Time (US & Canada) change

09:00 - 10:30
Session 1PLMW @ POPL at Studio 2
Chair(s): Hannah Gommerstadt Vassar College
09:00
15m
Talk
Introduction
PLMW @ POPL
Amal Ahmed Northeastern University, USA
09:15
45m
Talk
Imagining the Reader
PLMW @ POPL
Benjamin C. Pierce University of Pennsylvania
File Attached
10:00
30m
Social Event
Icebreaker Activity
PLMW @ POPL