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 and co-developer of the Clowdr virtual conference platform.

Affiliation: University of Pennsylvania

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

Contributions

SPLASH 2021 Committee Member in External Review Committee within the OOPSLA-track
SPLASH 2010
PLMW @ ICFP 2020 Panelist of Panel discussion: Making a career in PL (even in uncertain times) within the PLMW @ ICFP 2020-track
ECOOP 2020 Committee Member in External Review Committee within the Research Papers-track
SPLASH 2020 Author of Testing Differential Privacy with Dual Interpreters within the OOPSLA-track
Mentor in Mentors within the PLMW-track
Author of Testing Differential Privacy with Dual Interpreters within the OOPSLA Artifacts-track
Committee Member in External Review Committee within the OOPSLA-track
Committee Member in Onward! Steering Committee within the Onward! Essays-track
Committee Member in Steering Committee
Committee Member in Onward! Steering Committee within the Onward! Papers-track
ICFP 2020 Author in Steering Committee
Author of How to Use Clowdr at ICFP within the Social Events-track
Committee Member in Virtualization Committee
Organizer of Virtualization Feedback within the Social Events-track
Author of Clowdr Training Sessions within the Clowdr Training-track
PLDI 2020 Session Chair of Session 1 (part of Ask Me Anything)
Committee Member in Steering Committee
CPP 2020 Committee Member in Program Committee within the CPP 2020-track
Session Chair of Mechanized metatheory (part of CPP 2020)
‹Programming› 2020 Committee Member in Steering Committee
DeepSpec 2019 Presenter 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 2020 Author 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 2019 Committee Member in Steering Committee within the DLS 2019-track
Onward! 2019
SPLASH 2019 Committee 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 2019 Author of From C to Interaction Trees: Specifying, Verifying, and Testing a Networked Server within the CPP 2019-track
DeepSpec 2018 Speaker of Progress Report on the DeepSpec Web Server within the DeepSpec 2018-track
PLDI 2019 SIGPLAN Vice Chair in Steering Committee
POPL 2019 Author 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 2019 Author 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 2018 Committee Member in Speakers within the PLMW-track
Author of The Curse of Knowledge within the PLMW-track
PriSC 2018 Author 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 2017 Committee Member in Program Committee within the OCAP 2017-track
ICFP 2018 Author 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 2018 Speaker of SIGPLAN Town Hall Meeting within the PLDI Invited Speakers-track
ICFP 2017 Author of A Framework for Adaptive Differential Privacy within the Research Papers-track
POPL 2018 Author 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
PLMW Author of The Curse of Knowledge within the PLMW-track
Committee Member in Speaker within the PLMW-track
CoqPL 2017 Committee Member in Program Committee within the CoqPL 2017-track
POPL 2017 Author of Beginner's Luck: A Language for Property-Based Generators within the POPL-track
PPS 2016 Author of Making our Own Luck: A Language for Random Generators within the PPS 2016-track
ICFP 2016 Committee Member in External Review Committee within the Research Papers-track
SPLASH 2016 Keynote Speaker of SPLASH 2016 Keynote: The Science of Deep Specification within the Keynotes and Awards-track
PLAS 2015 Committee Member in Program Committee within the PLAS-track
SPLASH 2011 Committee Member in External Reviewers within the OOPSLA-track