Benjamin C. Pierce
Orcid: 0000-0001-7839-1636Affiliations:
- University of Pennsylvania, Philadelphia, PA, USA
According to our database1,
Benjamin C. Pierce
authored at least 160 papers
between 1991 and 2024.
Collaborative distances:
Collaborative distances:
Awards
ACM Fellow
ACM Fellow 2012, "For contributions to the theory and practice of programming languages and their type systems.".
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on zbmath.org
-
on orcid.org
-
on id.loc.gov
-
on d-nb.info
-
on andrej.com
-
on dl.acm.org
On csauthors.net:
Bibliography
2024
Proceedings of the 37th Annual ACM Symposium on User Interface Software and Technology, 2024
Proceedings of the 46th IEEE/ACM International Conference on Software Engineering, 2024
2023
Proc. ACM Program. Lang., August, 2023
Proceedings of the Adjunct Proceedings of the 36th Annual ACM Symposium on User Interface Software and Technology, 2023
Proceedings of the 36th IEEE Computer Security Foundations Symposium, 2023
2022
CoRR, 2022
Proceedings of the CHI '22: CHI Conference on Human Factors in Computing Systems, New Orleans, LA, USA, 29 April 2022, 2022
2021
Dataset, May, 2021
Proceedings of the 12th International Conference on Interactive Theorem Proving, 2021
Proceedings of the ISSTA '21: 30th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2021
Proceedings of the Programming Languages and Systems, 2021
2020
Proc. ACM Program. Lang., 2020
Proceedings of the 14th USENIX Symposium on Operating Systems Design and Implementation, 2020
2019
Interaction Trees: Representing Recursive and Impure Programs in Coq (Work In Progress).
CoRR, 2019
Proceedings of the 8th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2019
2018
Proceedings of the Encyclopedia of Database Systems, Second Edition, 2018
Proceedings of the Principles of Security and Trust - 7th International Conference, 2018
Proceedings of the 2018 ACM SIGSAC Conference on Computer and Communications Security, 2018
2017
CoRR, 2017
Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, 2017
2016
Beyond Full Abstraction: Formalizing the Security Guarantees of Low-Level Compartmentalization.
CoRR, 2016
Proceedings of the Companion Proceedings of the 2016 ACM SIGPLAN International Conference on Systems, 2016
Mysteries of DropBox: Property-Based Testing of a Distributed Synchronization Service.
Proceedings of the 2016 IEEE International Conference on Software Testing, 2016
Proceedings of the IEEE European Symposium on Security and Privacy, 2016
Beyond Good and Evil: Formalizing the Security Guarantees of Compartmentalizing Compilation.
Proceedings of the IEEE 29th Computer Security Foundations Symposium, 2016
2015
POPL 2005: Combinators for Bi-Directional Tree Transformations: Linguistic Approach to the View Update Problem.
ACM SIGPLAN Notices, 2015
Towards a Fully Abstract Compiler Using Micro-Policies: Secure Compilation for Mutually Distrustful Components.
CoRR, 2015
Proceedings of the 2015 IEEE Symposium on Security and Privacy, 2015
Proceedings of the Interactive Theorem Proving - 6th International Conference, 2015
Proceedings of the Twentieth International Conference on Architectural Support for Programming Languages and Operating Systems, 2015
2014
Proceedings of the HASP 2014, 2014
Proceedings of the IEEE 27th Computer Security Foundations Symposium, 2014
2013
Proceedings of the Twenty-ninth Conference on the Mathematical Foundations of Programming Semantics, 2013
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2013
Proceedings of the 2013 IEEE Symposium on Security and Privacy, 2013
Proceedings of the 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2013
Proceedings of the ACM SIGPLAN International Conference on Functional Programming, 2013
Proceedings of the 1st annual workshop on Functional programming concepts in domain-specific languages, 2013
Proceedings of the 2013 IEEE 26th Computer Security Foundations Symposium, 2013
2012
Proceedings of the Sixth IEEE International Conference on Self-Adaptive and Self-Organizing Systems Workshops, 2012
Proceedings of the 39th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2012
Proceedings of the 31st ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, 2012
Proceedings of the sixth workshop on Programming Languages meets Program Verification, 2012
2011
Proceedings of the 20th USENIX Security Symposium, 2011
Proceedings of the 6th Workshop on Programming Languages and Operating Systems, 2011
Proceedings of the 38th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2011
2010
Proceedings of the USENIX Conference on Web Application Development, 2010
Proceedings of the 25th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2010
Proceedings of the Interactive Theorem Proving, First International Conference, 2010
Proceedings of the Proceeding of the 15th ACM SIGPLAN international conference on Functional programming, 2010
Proceedings of the Proceeding of the 15th ACM SIGPLAN international conference on Functional programming, 2010
Proceedings of the Third European Workshop on System Security, 2010
2009
Proceedings of the Theory and Practice of Model Transformations, 2009
Lambda, the ultimate TA: using a proof assistant to teach programming language foundations.
Proceedings of the Proceeding of the 14th ACM SIGPLAN international conference on Functional programming, 2009
Proceedings of the 22nd IEEE Computer Security Foundations Symposium, 2009
Proceedings of the 2009 ACM Conference on Computer and Communications Security, 2009
2008
Proceedings of the 35th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2008
Proceedings of the 35th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2008
Proceedings of the Proceeding of the 13th ACM SIGPLAN international conference on Functional programming, 2008
2007
Combinators for bidirectional tree transformations: A linguistic approach to the view-update problem.
ACM Trans. Program. Lang. Syst., 2007
Proceedings of the PLAN-X 2007, 2007
Proceedings of the FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science, 2007
Proceedings of the FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science, 2007
2006
Proceedings of the Distributed Computing, 20th International Symposium, 2006
Proceedings of the Twenty-Fifth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 2006
Statically Typed Document Transformation: An Xtatic Experience.
Proceedings of the PLAN-X 2006 Informal Proceedings, 2006
XTATIC.
Proceedings of the PLAN-X 2006 Informal Proceedings, 2006
Proceedings of the Programming Languages and Systems, 2006
2005
Proceedings of the Verified Software: Theories, 2005
Proceedings of the Theorem Proving in Higher Order Logics, 18th International Conference, 2005
Proceedings of the Trustworthy Global Computing, International Symposium, 2005
Combinators for bi-directional tree transformations: a linguistic approach to the view update problem.
Proceedings of the 32nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2005
Proceedings of the Database Programming Languages, 10th International Symposium, 2005
Proceedings of the Compiler Construction, 14th International Conference, 2005
2004
2003
Proceedings of the 18th IEEE Symposium on Logic in Computer Science (LICS 2003), 2003
2002
Types and programming languages.
MIT Press, ISBN: 978-0-262-16209-8, 2002
2001
ACM Trans. Program. Lang. Syst., 2001
Proceedings of the Theoretical Aspects of Computer Software, 4th International Symposium, 2001
2000
Proceedings of the World Wide Web and Databases, 2000
Proceedings of the Fifth ACM SIGPLAN International Conference on Functional Programming (ICFP '00), 2000
Proceedings of the Fifth ACM SIGPLAN International Conference on Functional Programming (ICFP '00), 2000
Pict: a programming language based on the Pi-Calculus.
Proceedings of the Proof, Language, and Interaction, Essays in Honour of Robin Milner, 2000
1999
Foundations of Object-Oriented Languages - Introduction.
Theory Pract. Object Syst., 1999
Proceedings of the 1999 ACM SIGPLAN Conference on Object-Oriented Programming Systems, 1999
Proceedings of the Research Issues in Structured and Semistructured Database Programming, 1999
1998
Editorial - Third Workshop on Foundations of Object-Oriented Languages.
Theory Pract. Object Syst., 1998
Proceedings of the 3rd International Workshop on High-Level Concurrent Languages, 1998
Proceedings of the Internet Programming Languages, 1998
Proceedings of the CONCUR '98: Concurrency Theory, 1998
1997
Foundational Calculi for Programming Languages.
Proceedings of the Computer Science and Engineering Handbook, 1997
1996
Math. Struct. Comput. Sci., 1996
1995
On Binary Methods.
Theory Pract. Object Syst., 1995
Proceedings of the Conference Record of POPL'95: 22nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 1995
1994
J. Funct. Program., 1994
Proceedings of the Theory and Practice of Parallel Programming, 1994
Proceedings of the Conference Record of POPL'94: 21st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 1994
1993
Proceedings of the Conference Record of the Twentieth Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 1993
1991
Int. J. Found. Comput. Sci., 1991
Proceedings of the Conference Record of the Eighteenth Annual ACM Symposium on Principles of Programming Languages, 1991
Basic category theory for computer scientists.
Foundations of computing, MIT Press, ISBN: 978-0-262-66071-6, 1991