Benjamin C. Pierce

Registered user since Mon 18 Jan 2016

Name: Benjamin C. Pierce

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 is also the lead designer of the popular Unison file synchronizer.

Country: United States

Affiliation: University of Pennsylvania

Personal website: http://www.cis.upenn.edu/~bcpierce/

Contributions

DeepSpec 2018Speaker of Progress Report on the DeepSpec Web Server within the DeepSpec 2018-track
PLMW 2018Committee Member in Speakers within the PLMW-track
Author of The Curse of Knowledge within the PLMW-track
PriSC 2018Author of Formally Secure Compilation of Unsafe Low-Level Components within the PriSC 2018-track
Author of Short talk: The Meaning of Memory Safety within the PriSC 2018-track
OCAP 2017Committee Member in Program Committee within the OCAP 2017-track
ICFP 2018Author of Synthesizing Quotient Lenses within the Research Papers-track
Committee Member in External Review Committee within the Research Papers-track
PLDI 2018Speaker of SIGPLAN Town Hall Meeting within the PLDI Invited Speakers-track
ICFP 2017Author of A Framework for Adaptive Differential Privacy within the Research Papers-track
POPL 2018Author of Generating Good Generators for Inductive Relations within the Artifact Evaluation-track
Author of Synthesizing Bijective Lenses within the Research Papers-track
Author of Synthesizing Bijective Lenses within the Artifact Evaluation-track
Author of SIGPLAN Town Hall within the Research Papers-track
Author of Generating Good Generators for Inductive Relations within the Research Papers-track
PLMWAuthor of The Curse of Knowledge within the PLMW-track
Committee Member in Speaker within the PLMW-track
CoqPL 2017Committee Member in Program Committee within the CoqPL 2017-track
POPL 2017Author of Beginner's Luck: A Language for Property-Based Generators within the POPL-track
PPS 2016Author of Making our Own Luck: A Language for Random Generators within the PPS 2016-track
ICFP 2016Committee Member in External Review Committee within the Research Papers-track
SPLASH 2016Keynote Speaker of SPLASH 2016 Keynote: The Science of Deep Specification within the Keynotes and Awards-track
PLAS 2015Committee Member in Program Committee within the PLAS-track