☰

Benjamin C. Pierce

Affiliations: 
Computer and Information Science University of Pennsylvania, Philadelphia, PA, United States 
Area:
Information Systems: Databases and Information Management, Theory: Formal Methods and Logic; Programming Languages and Program Analysis
Google:
"Benjamin Pierce"
Tree Publications Similar researchers PubMed Report error

Parents

Sign in to add mentor
Robert William Harper grad student (Physics Tree)
John C. Reynolds grad student Carnegie Mellon (Physics Tree)

Children

Sign in to add trainee
Vladimir Gapeyev grad student 2006 Penn
John Nathan Foster grad student 2003-2009 Penn
Aaron Bohannon grad student 2012 Penn
Li-yao Xia grad student 2022 Penn
Yishuai Li grad student 2016-2022 Penn

Collaborators

Sign in to add collaborator
BETA: Related publications

Publications

You can help our author matching system! If you notice any publications incorrectly attributed to this author, please sign in and mark matches as correct or incorrect.

Appel AW, Beringer L, Chlipala A, et al. (2017) Position paper: the science of deep specification. Philosophical Transactions. Series a, Mathematical, Physical, and Engineering Sciences. 375
Foster JN, Greenwald MB, Moore JT, et al. (2015) POPL 2005: Combinators for Bi-Directional Tree Transformations: Linguistic Approach to the View Update Problem Sigplan Notices. 50: 49-62
Nathan Foster J, Greenwald MB, Moore JT, et al. (2015) Combinators for bi-directional tree transformations a linguistic approach to the view update problem Acm Sigplan Notices. 50: 49-62
Hofmann M, Pierce BC, Wagner D. (2013) Edit languages for information trees Electronic Communication of the European Association of Software Science and Technology. 57
Pierce B. (2013) Session details: Types Sigplan Notices. 48
Greenberg M, Pierce BC, Weirich S. (2012) Contracts made manifest Journal of Functional Programming. 22: 225-274
Pierce B. (2010) Session details: Type inference Sigplan Notices. 45
Reed J, Pierce BC. (2010) Distance makes the types grow stronger: A calculus for differential privacy Proceedings of the Acm Sigplan International Conference On Functional Programming, Icfp. 157-168
Bohannon A, Pierce BC, Sjöberg V, et al. (2009) Reactive noninterference Proceedings of the Acm Conference On Computer and Communications Security. 79-90
Foster JN, Pierce BC, Zdancewic S. (2009) Updatable security views Proceedings - Ieee Computer Security Foundations Symposium. 60-74
See more...