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

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

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