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

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
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
Show activities from other conferences

POPL 2018-profile
View general profile