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

ECOOP 2020Committee Member in External Review Committee within the Research Papers-track
SPLASH 2020Committee Member in Steering Committee
ICFP 2020Author in Steering Committee
PLDI 2020Author in Steering Committee
CPP 2020Committee Member in Program Committee within the CPP 2020-track
‹Programming› 2020Committee Member in Steering Committee
DeepSpec 2019Presenter of Overview of the DeepSpec Expedition and its Capstone Application within the DeepSpec 2019-track
Session Chair of Modular Reasoning (part of DeepSpec 2019)
POPL 2020Author of Interaction Trees: Representing Recursive and Impure Programs in Coq within the Research Papers-track
Panelist in Panel within the POPLmark 15 Year Retrospective Panel-track
Organizing Committee in Organizing Committee within the POPLmark 15 Year Retrospective Panel-track
DLS 2019Committee Member in Steering Committee within the DLS 2019-track
Onward! 2019
SPLASH 2019Committee Member in Onward! Steering Committee within the Onward! Essays-track
Author of Coverage Guided, Property Based Testing within the OOPSLA-track
Steering Committee Member in Steering Committee
Committee Member in External Review Committee within the OOPSLA-track
Author in Onward! Steering Committee within the Onward! Papers-track
CPP 2019Author of From C to Interaction Trees: Specifying, Verifying, and Testing a Networked Server within the CPP 2019-track
DeepSpec 2018Speaker of Progress Report on the DeepSpec Web Server within the DeepSpec 2018-track
PLDI 2019SIGPLAN Vice Chair in Steering Committee
POPL 2019Author of [T1] QuickChick: Property-Based Testing in Coq within the TutorialFest-track
Presenter of SIGPLAN Climate Committee Report within the Research Papers-track
Presenter of SIGPLAN Awards within the Research Papers-track
ICFP 2019Author of Synthesizing Symmetric Lenses within the Research Papers-track
SIGPLAN Vice Chair in Steering Committee
Author of Fuzzi: A Three-Level Logic for Differential Privacy within the Research Papers-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
SIGPLAN Vice Chair in Steering Committee
Presenter of Report on ICFP and Climate Change within the Keynotes and Reports-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