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 AnalysisGoogle:
"Benjamin Pierce"Parents
Sign in to add mentorRobert William Harper | grad student | (Physics Tree) | |
John C. Reynolds | grad student | Carnegie Mellon (Physics Tree) |
Children
Sign in to add traineeVladimir Gapeyev | grad student | 2006 | Penn |
John Nathan Foster | grad student | 2003-2009 | Penn |
Aaron Bohannon | grad student | 2012 | Penn |
Yishuai Li | grad student | 2022 | Penn |
Li-yao Xia | grad student | 2022 | Penn |
BETA: Related publications
See more...
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 |