Benjamin C. Pierce

According to our database1, Benjamin C. Pierce authored at least 161 papers between 1989 and 2018.

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 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

2018
Synthesizing bijective lenses.
PACMPL, 2018

Synthesizing quotient lenses.
PACMPL, 2018

Generating good generators for inductive relations.
PACMPL, 2018

Synthesizing Symmetric Lenses.
CoRR, 2018

When Good Components Go Bad: Formally Secure Compilation Despite Dynamic Compromise.
CoRR, 2018

The Meaning of Memory Safety.
Proceedings of the Principles of Security and Trust - 7th International Conference, 2018

When Good Components Go Bad: Formally Secure Compilation Despite Dynamic Compromise.
Proceedings of the 2018 ACM SIGSAC Conference on Computer and Communications Security, 2018

2017
A framework for adaptive differential privacy.
PACMPL, 2017

Formally Secure Compilation of Unsafe Low-Level Components (Extended Abstract).
CoRR, 2017

Synthesizing Bijective Lenses.
CoRR, 2017

The Meaning of Memory Safety.
CoRR, 2017

Beginner's luck: a language for property-based generators.
Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, 2017

2016
Programming language techniques for differential privacy.
SIGLOG News, 2016

Testing noninterference, quickly.
J. Funct. Program., 2016

A verified information-flow architecture.
Journal of Computer Security, 2016

Beginner's Luck: A Language for Property-Based Generators.
CoRR, 2016

Beyond Full Abstraction: Formalizing the Security Guarantees of Low-Level Compartmentalization.
CoRR, 2016

Report on the NSF Workshop on Formal Methods for Security.
CoRR, 2016

The science of deep specification (keynote).
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

Explicit Secrecy: A Policy for Taint Tracking.
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
Towards a Fully Abstract Compiler Using Micro-Policies: Secure Compilation for Mutually Distrustful Components.
CoRR, 2015

A Verified Information-Flow Architecture.
CoRR, 2015

Micro-Policies: Formally Verified, Tag-Based Security Monitors.
Proceedings of the 2015 IEEE Symposium on Security and Privacy, 2015

Foundational Property-Based Testing.
Proceedings of the Interactive Theorem Proving - 6th International Conference, 2015

Architectural Support for Software-Defined Metadata Processing.
Proceedings of the Twentieth International Conference on Architectural Support for Programming Languages and Operating Systems, 2015

2014
Differential Privacy: An Economic Method for Choosing Epsilon.
CoRR, 2014

Testing Noninterference, Quickly.
CoRR, 2014

A verified information-flow architecture.
Proceedings of the 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2014

PUMP: a programmable unit for metadata processing.
Proceedings of the HASP 2014, 2014

Differential Privacy: An Economic Method for Choosing Epsilon.
Proceedings of the IEEE 27th Computer Security Foundations Symposium, 2014

2013
Special Issue Dedicated to ICFP 2011 Editorial.
J. Funct. Program., 2013

Dedication.
Electr. Notes Theor. Comput. Sci., 2013

Edit languages for information trees.
ECEASST, 2013

All Your IFCException Are Belong to Us.
Proceedings of the 2013 IEEE Symposium on Security and Privacy, 2013

Linear dependent types for differential privacy.
Proceedings of the 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2013

Testing noninterference, quickly.
Proceedings of the ACM SIGPLAN International Conference on Functional Programming, 2013

Sensitivity analysis using type-based constraints.
Proceedings of the 1st annual workshop on Functional programming concepts in domain-specific languages, 2013

A Theory of Information-Flow Labels.
Proceedings of the 2013 IEEE 26th Computer Security Foundations Symposium, 2013

2012
Contracts made manifest.
J. Funct. Program., 2012

Preface.
J. Autom. Reasoning, 2012

Hardware Support for Safety Interlocks and Introspection.
Proceedings of the Sixth IEEE International Conference on Self-Adaptive and Self-Organizing Systems Workshops, 2012

Edit lenses.
Proceedings of the 39th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2012

Linguistic foundations for bidirectional transformations: invited tutorial.
Proceedings of the 31st ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, 2012

Verification challenges of pervasive information flow.
Proceedings of the sixth workshop on Programming Languages meets Program Verification, 2012

2011
Differential Privacy Under Fire.
Proceedings of the 20th USENIX Security Symposium, 2011

Preliminary design of the SAFE platform.
Proceedings of the 6th Workshop on Programming Languages and Operating Systems, 2011

Symmetric lenses.
Proceedings of the 38th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2011

Polymorphic Contracts.
Proceedings of the Programming Languages and Systems, 2011

2010
Featherweight Firefox: Formalizing the Core of a Web Browser.
Proceedings of the USENIX Conference on Web Application Development, 2010

Contracts made manifest.
Proceedings of the 37th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2010

Art, science, and fear.
Proceedings of the 25th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2010

Proof Assistants as Teaching Assistants: A View from the Trenches.
Proceedings of the Interactive Theorem Proving, First International Conference, 2010

Distance makes the types grow stronger: a calculus for differential privacy.
Proceedings of the Proceeding of the 15th ACM SIGPLAN international conference on Functional programming, 2010

Matching lenses: alignment and view update.
Proceedings of the Proceeding of the 15th ACM SIGPLAN international conference on Functional programming, 2010

Differential privacy for collaborative security.
Proceedings of the Third European Workshop on System Security, 2010

2009
XML Typechecking.
Proceedings of the Encyclopedia of Database Systems, 2009

Foundations for Bidirectional Programming.
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

Updatable Security Views.
Proceedings of the 22nd IEEE Computer Security Foundations Symposium, 2009

Reactive noninterference.
Proceedings of the 2009 ACM Conference on Computer and Communications Security, 2009

2008
Boomerang: resourceful lenses for string data.
Proceedings of the 35th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2008

Engineering formal metatheory.
Proceedings of the 35th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2008

Quotient lenses.
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

A bisimulation for dynamic sealing.
Theor. Comput. Sci., 2007

Preface.
J. Funct. Program., 2007

Exploiting schemas in data synchronization.
J. Comput. Syst. Sci., 2007

A bisimulation for type abstraction and recursion.
J. ACM, 2007

A Logic Your Typechecker Can Count On: Unordered Tree Types in Practice.
Proceedings of the PLAN-X 2007, 2007

Adventures in Bidirectional Programming.
Proceedings of the FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science, 2007

A Formal Investigation of.
Proceedings of the FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science, 2007

2006
Agreeing to Agree: Conflict Resolution for Optimistically Replicated Data.
Proceedings of the Distributed Computing, 20th International Symposium, 2006

Relational lenses: a language for updatable views.
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

The Weird World of Bi-directional Programming.
Proceedings of the Programming Languages and Systems, 2006

2005
Regular expression types for XML.
ACM Trans. Program. Lang. Syst., 2005

It Is Time to Mechanize Programming Language Metatheory.
Proceedings of the Verified Software: Theories, 2005

Mechanized Metatheory for the Masses: The PoplMark Challenge.
Proceedings of the Theorem Proving in Higher Order Logics, 18th International Conference, 2005

Harmony: The Art of Reconciliation.
Proceedings of the Trustworthy Global Computing, International Symposium, 2005

A bisimulation for type abstraction and recursion.
Proceedings of the 32nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 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

Type-Based Optimization for Regular Patterns.
Proceedings of the Database Programming Languages, 10th International Symposium, 2005

Exploiting Schemas in Data Synchronization.
Proceedings of the Database Programming Languages, 10th International Symposium, 2005

XML Goes Native: Run-Time Representations for Xtatic.
Proceedings of the Compiler Construction, 14th International Conference, 2005

2004
Guest editorial.
ACM Trans. Program. Lang. Syst., 2004

A bisimulation for dynamic sealing.
Proceedings of the 31st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2004

2003
XDuce: A statically typed XML processing language.
ACM Trans. Internet Techn., 2003

TinkerType: a language for playing with formal systems.
J. Funct. Program., 2003

Regular expression pattern matching for XML.
J. Funct. Program., 2003

Logical Relations for Encryption.
Journal of Computer Security, 2003

Information and Computation special issue from TACS 2001.
Inf. Comput., 2003

Types and Programming Languages: The Next Generation.
Proceedings of the 18th IEEE Symposium on Logic in Computer Science (LICS 2003), 2003

Regular Object Types.
Proceedings of the ECOOP 2003, 2003

2002
Guest editorial.
ACM Trans. Program. Lang. Syst., 2002

Recursive subtyping revealed.
J. Funct. Program., 2002

On Inner Classes.
Inf. Comput., 2002

Foundations for Virtual Types.
Inf. Comput., 2002

Type Destructors.
Inf. Comput., 2002

Types and programming languages.
MIT Press, ISBN: 978-0-262-16209-8, 2002

2001
Featherweight Java: a minimal core calculus for Java and GJ.
ACM Trans. Program. Lang. Syst., 2001

Unison: A File Synchronizer and Its Specification.
Proceedings of the Theoretical Aspects of Computer Software, 4th International Symposium, 2001

Regular expression pattern matching for XML.
Proceedings of the Conference Record of POPL 2001: The 28th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2001

Logical Relations for Encryption.
Proceedings of the 14th IEEE Computer Security Foundations Workshop (CSFW-14 2001), 2001

2000
Local type inference.
ACM Trans. Program. Lang. Syst., 2000

The essence of objects.
ACM SIGSOFT Software Engineering Notes, 2000

Behavioral equivalence in the polymorphic pi-calculus.
J. ACM, 2000

Decoding Choice Encodings.
Inf. Comput., 2000

XDuce: A Typed XML Processing Language (Preliminary Report).
Proceedings of the World Wide Web and Databases, 2000

XDuce: A Typed XML Processing Language (Preliminary Report).
Proceedings of the Third International Workshop on the Web and Databases, 2000

Regular expression types for XML.
Proceedings of the Fifth ACM SIGPLAN International Conference on Functional Programming (ICFP '00), 2000

Advanced module systems: a guide for the perplexed (abstract of invited talk).
Proceedings of the Fifth ACM SIGPLAN International Conference on Functional Programming (ICFP '00), 2000

Recursive subtyping revealed: functional pearl.
Proceedings of the Fifth ACM SIGPLAN International Conference on Functional Programming (ICFP '00), 2000

On Inner Classes.
Proceedings of the ECOOP 2000, 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
Linearity and the pi-calculus.
ACM Trans. Program. Lang. Syst., 1999

Foundations of Object-Oriented Languages - Introduction.
TAPOS, 1999

Comparing Object Encodings.
Inf. Comput., 1999

Featherwieght Java: A Minimal Core Calculus for Java and GJ.
Proceedings of the 1999 ACM SIGPLAN Conference on Object-Oriented Programming Systems, 1999

Foundations for Virtual Types.
Proceedings of the ECOOP'99, 1999

Union Types for Semistructured Data.
Proceedings of the Research Issues in Structured and Semistructured Database Programming, 1999

1998
Bounded Existentials and Minimal Typing.
Theor. Comput. Sci., 1998

Editorial - Third Workshop on Foundations of Object-Oriented Languages.
TAPOS, 1998

Preface.
Electr. Notes Theor. Comput. Sci., 1998

Local Type Inference.
Proceedings of the POPL '98, 1998

What is a File Synchronizer?
Proceedings of the MOBICOM '98, 1998

Location-Independent Communication for Mobile Agents: A Two-Level Architecture.
Proceedings of the Internet Programming Languages, 1998

Type Systems for Concurrent Calculi (Abstract).
Proceedings of the CONCUR '98: Concurrency Theory, 1998

1997
Higher-Order Subtyping.
Theor. Comput. Sci., 1997

Intersection Types and Bounded Polymorphism.
Mathematical Structures in Computer Science, 1997

Comparing Object Encodings.
Proceedings of the Theoretical Aspects of Computer Software, Third International Symposium, 1997

Behavioral Equivalence in the Polymorphic Pi-calculus.
Proceedings of the Conference Record of POPL'97: The 24th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 1997

Foundational Calculi for Programming Languages.
Proceedings of the Computer Science and Engineering Handbook, 1997

1996
Typing and Subtyping for Mobile Processes.
Mathematical Structures in Computer Science, 1996

Higher-Order Intersection Types and Multiple Inheritance.
Mathematical Structures in Computer Science, 1996

Positive Subtyping.
Inf. Comput., 1996

Linearity and the Pi-Calculus.
Proceedings of the Conference Record of POPL'96: The 23rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 1996

Decoding Choice Encodings.
Proceedings of the CONCUR '96, 1996

1995
On Binary Methods.
TAPOS, 1995

A Unifying Type-Theoretic Framework for Objects.
J. Funct. Program., 1995

Dynamic Typing in Polymorphic Languages.
J. Funct. Program., 1995

Positive Subtyping.
Proceedings of the Conference Record of POPL'95: 22nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 1995

Corrigendum: Decidable Bounded Quantification.
Proceedings of the Conference Record of POPL'95: 22nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 1995

1994
Bounded Quantification is Undecidable
Inf. Comput., July, 1994

Simple Type-Theoretic Foundations for Object-Oriented Programming.
J. Funct. Program., 1994

Concurrent Objects in a Process Calculus.
Proceedings of the Theory and Practice of Parallel Programming, 1994

A Unifying Type-Theoretic Framework for Objects.
Proceedings of the STACS 94, 1994

Higher-Order Subtyping.
Proceedings of the Programming Concepts, 1994

Decidable Bounded Quantification.
Proceedings of the Conference Record of POPL'94: 21st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 1994

1993
Intersection Types and Bounded Polymorphism.
Proceedings of the Typed Lambda Calculi and Applications, 1993

Object-Oriented Programming without Recursive Types.
Proceedings of the Conference Record of the Twentieth Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 1993

Typing and Subtyping for Mobile Processes
Proceedings of the Eighth Annual Symposium on Logic in Computer Science (LICS '93), 1993

1992
Bounded Quantification is Undecidable.
Proceedings of the Conference Record of the Nineteenth Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 1992

1991
Dynamic Typing in a Statically Typed Language.
ACM Trans. Program. Lang. Syst., 1991

Faithful Ideal Models for Recursive Polymorphic Types.
Int. J. Found. Comput. Sci., 1991

A Record Calculus Based on Symmetric Concatenation.
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

1989
Dynamic Typing in a Statically-Typed Language.
Proceedings of the Conference Record of the Sixteenth Annual ACM Symposium on Principles of Programming Languages, 1989

Faithful Ideal Models for Recursive Polymorphic Types
Proceedings of the Fourth Annual Symposium on Logic in Computer Science (LICS '89), 1989


  Loading...