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.

Country:United States
Affiliation:University of Pennsylvania

Contributions

PLMW @ POPL 2023 Invited Speaker in Speakers within the PLMW @ POPL 2023-track
Presenter of Imagining the Reader within the PLMW @ POPL 2023-track
SPLASH 2023 PC Member in OOPSLA Review Committee within the OOPSLA-track
ICFP 2023 Committee Member in Program Committee within the ICFP Research Papers-track
CoqPL 2023 Co-chair in Program Committee within the CoqPL 2023-track
POPL 2023 Panelist of Panel: Next 50 Years of POPL within the POPL-track
Speaker of Types II: Session Preview within the Session Previews-track
Committee Member in Program Committee within the POPL-track
Session Chair of Security (part of POPL)
HATRA 2022 Author of Some Problems with Properties: A Study on Property-Based Testing in Industry within the Human Aspects of Types and Reasoning Assistants-track
SPLASH 2022 Author of Parsing Randomness within the OOPSLA-track
Author of C4: verified transactional objects within the OOPSLA-track
CoqPL 2022 Co-chair in Organizing Committee within the CoqPL-track
Session Chair of Contributed Talks (Morning) (part of CoqPL)
Session Chair of Invited Talk I (part of CoqPL)
SPLASH 2021 Committee Member in External Review Committee within the OOPSLA-track
ICFP 2021 Speaker of Ask Me Anything on Climate Change with Benjamin Pierce within the Social Events-track
ISSTA 2021 Author of Model-Based Testing of Networked Applications within the Artifact Evaluation-track
Author of Model-Based Testing of Networked Applications within the Technical 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
ECOOP 2020 Committee Member in External Review Committee within the Research 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
PLMW @ ICFP 2020 Panelist of Panel discussion: Making a career in PL (even in uncertain times) within the PLMW @ ICFP 2020-track
PLDI 2020 Session Chair of Session 1 (part of Ask Me Anything)
Committee Member in Steering Committee
‹Programming› 2020 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)
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
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
DLS 2019 Committee Member in Steering Committee within the DLS 2019-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
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)
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
CPP 2019 Author of From C to Interaction Trees: Specifying, Verifying, and Testing a Networked Server within the CPP 2019-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
DeepSpec 2018 Speaker of Progress Report on the DeepSpec Web Server within the DeepSpec 2018-track
PLDI 2018 Speaker of SIGPLAN Town Hall Meeting within the PLDI Invited Speakers-track
PLMW 2018 Committee Member in Speakers within the PLMW-track
Author of The Curse of Knowledge within the PLMW-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
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 2017 Author of A Framework for Adaptive Differential Privacy within the Research Papers-track
POPL 2017 Author of Beginner's Luck: A Language for Property-Based Generators within the POPL-track
CoqPL 2017 Committee Member in Program Committee within the CoqPL 2017-track
PLMW Author of The Curse of Knowledge within the PLMW-track
Committee Member in Speaker within the PLMW-track
SPLASH 2016 Keynote Speaker of SPLASH 2016 Keynote: The Science of Deep Specification within the Keynotes and Awards-track
ICFP 2016 Committee Member in External Review Committee within the Research Papers-track
PPS 2016 Author of Making our Own Luck: A Language for Random Generators within the PPS 2016-track
PLAS 2015 Committee Member in Program Committee within the PLAS-track
SPLASH 2011 Committee Member in External Reviewers within the OOPSLA-track