POPL 2017
Sun 15 - Sat 21 January 2017
Tue 17 Jan 2017 16:30 - 17:00 at Salle 107, Barre 44-54 - Session IV

Writing well is hard for many reasons, but perhaps the hardest of all is what Pinker calls “The Curse of Knowledge” — the difficulty of imagining ourselves inside the mind of someone who does not know something that we do know. We’ll explore possible antidotes to this curse.

Bio: 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 holds a doctorate honoris causa from Chalmers University and is the lead designer of the popular Unison file synchronizer.

slides (plmw_pierce_small.pdf)1.49MiB

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.

Tue 17 Jan
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

16:00 - 18:00: Session IVPLMW at Salle 107, Barre 44-54
16:00 - 16:30
Talk
Machine Learning and Programming Languages: latest directions and research opportunities
PLMW
Martin VechevETH Zurich
File Attached
16:30 - 17:00
Talk
The Curse of Knowledge
PLMW
Benjamin C. PierceUniversity of Pennsylvania
File Attached
17:00 - 18:00
Talk
Young Researcher Panel Session
PLMW
Roopsha SamantaPurdue University, Nada AminEPFL, Jonathan ProtzenkoMicrosoft Research, Zachary KincaidPrinceton University