Sat 22 Jun 2019 09:00 - 09:45 at 106B - Deep Specifications Chair(s): Lennart Beringer

TBA

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.

Sat 22 Jun

Displayed time zone: Tijuana, Baja California change

09:00 - 10:30
Deep SpecificationsDeepSpec at 106B
Chair(s): Lennart Beringer Princeton University
09:00
45m
Talk
Overview of the DeepSpec Expedition and its Capstone Application
DeepSpec
Benjamin C. Pierce University of Pennsylvania
09:45
45m
Talk
Project Updates from Participating Sites
DeepSpec
Andrew W. Appel Princeton, Adam Chlipala Massachusetts Institute of Technology, USA, Zhong Shao Yale University