Benjamin C. Pierce

According to our database, Benjamin C. Pierce authored at least 155 papers between 1991 and 2023.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2023

Etna: An Evaluation Platform for Property-Based Testing (Experience Report).

Jessica Shi, Alperen Keles, Harrison Goldstein, Benjamin C. Pierce, Leonidas Lampropoulos

Proc. ACM Program. Lang., August, 2023

Reflecting on Random Generation.

Harrison Goldstein, Samantha Frohlich, Meng Wang, Benjamin C. Pierce

Proc. ACM Program. Lang., August, 2023

Stream Types.

Joseph W. Cutler, Christopher Watson, Phillip Hilliard, Harrison Goldstein, Caleb Stanford, Benjamin C. Pierce

CoRR, 2023

Tyche: In Situ Analysis of Random Testing Effectiveness.

Harrison Goldstein, Benjamin C. Pierce, Andrew Head

Proceedings of the Adjunct Proceedings of the 36th Annual ACM Symposium on User Interface Software and Technology, 2023

Formalizing Stack Safety as a Security Property.

Sean Noble Anderson, Roberto Blanco, Leonidas Lampropoulos, Benjamin C. Pierce, Andrew Tolmach

Proceedings of the 36th IEEE Computer Security Foundations Symposium, 2023

2022

C4: verified transactional objects.

Mohsen Lesani, Li-yao Xia, Anders Kaseorg, Christian J. Bell, Adam Chlipala, Benjamin C. Pierce, Steve Zdancewic

Proc. ACM Program. Lang., 2022

Parsing randomness.

Harrison Goldstein, Benjamin C. Pierce

Proc. ACM Program. Lang., 2022

On being a PhD student of Robert Harper.

Derek Dreyer, Benjamin C. Pierce

J. Funct. Program., 2022

Parsing Randomness: Unifying and Differentiating Parsers and Random Generators.

Harrison Goldstein, Benjamin C. Pierce

CoRR, 2022

Social Presence in Virtual Event Spaces.

Matthew J. Bietz, Nitesh Goyal, Nicole Immorlica, Blair MacIntyre, Andrés Monroy-Hernández, Benjamin C. Pierce, Sean Rintel, Donghee Yvette Wohn

Proceedings of the CHI '22: CHI Conference on Human Factors in Computing Systems, New Orleans, LA, USA, 29 April 2022, 2022

2021

Security Properties for Stack Safety.

Sean Noble Anderson, Leonidas Lampropoulos, Roberto Blanco, Benjamin C. Pierce, Andrew Tolmach

CoRR, 2021

ICFP 2020 Post-Conference Report.

Stephanie Weirich, Benjamin C. Pierce

CoRR, 2021

Verifying an HTTP Key-Value Server with Interaction Trees and VST.

Hengchu Zhang, Wolf Honoré, Nicolas Koh, Yao Li, Yishuai Li, Li-yao Xia, Lennart Beringer, William Mansky, Benjamin C. Pierce, Steve Zdancewic

Proceedings of the 12th International Conference on Interactive Theorem Proving, 2021

Model-based testing of networked applications.

Yishuai Li, Benjamin C. Pierce, Steve Zdancewic

Proceedings of the ISSTA '21: 30th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2021

Do Judge a Test by its Cover - Combining Combinatorial and Property-Based Testing.

Harrison Goldstein, John Hughes, Leonidas Lampropoulos, Benjamin C. Pierce

Proceedings of the Programming Languages and Systems, 2021

2020

Testing differential privacy with dual interpreters.

Hengchu Zhang, Edo Roth, Andreas Haeberlen, Benjamin C. Pierce, Aaron Roth

Proc. ACM Program. Lang., 2020

Interaction trees: representing recursive and impure programs in Coq.

Li-yao Xia, Yannick Zakowski, Paul He, Chung-Kil Hur, Gregory Malecha, Benjamin C. Pierce, Steve Zdancewic

Proc. ACM Program. Lang., 2020

Conferences in an era of expensive carbon.

Benjamin C. Pierce, Michael Hicks, Cristina V. Lopes, Jens Palsberg

Commun. ACM, 2020

Orchard: Differentially Private Analytics at Scale.

Edo Roth, Hengchu Zhang, Andreas Haeberlen, Benjamin C. Pierce

Proceedings of the 14th USENIX Symposium on Operating Systems Design and Implementation, 2020

2019

Fuzzi: a three-level logic for differential privacy.

Hengchu Zhang, Edo Roth, Andreas Haeberlen, Benjamin C. Pierce, Aaron Roth

Proc. ACM Program. Lang., 2019

Synthesizing symmetric lenses.

Anders Miltner, Solomon Maina, Kathleen Fisher, Benjamin C. Pierce, David Walker, Steve Zdancewic

Proc. ACM Program. Lang., 2019

Coverage guided, property based testing.

Leonidas Lampropoulos, Michael Hicks, Benjamin C. Pierce

Proc. ACM Program. Lang., 2019

Interaction Trees: Representing Recursive and Impure Programs in Coq (Work In Progress).

Li-yao Xia, Yannick Zakowski, Paul He, Chung-Kil Hur, Gregory Malecha, Benjamin C. Pierce, Steve Zdancewic

CoRR, 2019

From C to interaction trees: specifying, verifying, and testing a networked server.

Nicolas Koh, Yao Li, Yishuai Li, Li-yao Xia, Lennart Beringer, Wolf Honoré, William Mansky, Benjamin C. Pierce, Steve Zdancewic

Proceedings of the 8th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2019

2018

XML Typechecking.

Véronique Benzaken, Giuseppe Castagna, Haruo Hosoya, Benjamin C. Pierce, Stijn Vansummeren

Proceedings of the Encyclopedia of Database Systems, Second Edition, 2018

Synthesizing bijective lenses.

Anders Miltner, Kathleen Fisher, Benjamin C. Pierce, David Walker, Steve Zdancewic

Proc. ACM Program. Lang., 2018

Synthesizing quotient lenses.

Solomon Maina, Anders Miltner, Kathleen Fisher, Benjamin C. Pierce, David Walker, Steve Zdancewic

Proc. ACM Program. Lang., 2018

Generating good generators for inductive relations.

Leonidas Lampropoulos, Zoe Paraskevopoulou, Benjamin C. Pierce

Proc. ACM Program. Lang., 2018

The Meaning of Memory Safety.

Arthur Azevedo de Amorim, Catalin Hritcu, Benjamin C. Pierce

Proceedings of the Principles of Security and Trust - 7th International Conference, 2018

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

Carmine Abate, Arthur Azevedo de Amorim, Roberto Blanco, Ana Nora Evans, Guglielmo Fachini, Catalin Hritcu, Théo Laurent, Benjamin C. Pierce, Marco Stronati, Andrew Tolmach

Proceedings of the 2018 ACM SIGSAC Conference on Computer and Communications Security, 2018

2017

A framework for adaptive differential privacy.

Daniel Winograd-Cort, Andreas Haeberlen, Aaron Roth, Benjamin C. Pierce

Proc. ACM Program. Lang., 2017

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

Guglielmo Fachini, Catalin Hritcu, Marco Stronati, Ana Nora Evans, Théo Laurent, Arthur Azevedo de Amorim, Benjamin C. Pierce, Andrew Tolmach

CoRR, 2017

Beginner's luck: a language for property-based generators.

Leonidas Lampropoulos, Diane Gallois-Wong, Catalin Hritcu, John Hughes, Benjamin C. Pierce, Li-yao Xia

Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, 2017

2016

Programming language techniques for differential privacy.

Gilles Barthe, Marco Gaboardi, Justin Hsu, Benjamin C. Pierce

ACM SIGLOG News, 2016

Testing noninterference, quickly.

Catalin Hritcu, Leonidas Lampropoulos, Antal Spector-Zabusky, Arthur Azevedo de Amorim, Maxime Dénès, John Hughes, Benjamin C. Pierce, Dimitrios Vytiniotis

J. Funct. Program., 2016

A verified information-flow architecture.

Arthur Azevedo de Amorim, Nathan Collins, André DeHon, Delphine Demange, Catalin Hritcu, David Pichardie, Benjamin C. Pierce, Randy Pollack, Andrew Tolmach

J. Comput. Secur., 2016

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

Yannis Juglaret, Catalin Hritcu, Arthur Azevedo de Amorim, Benjamin C. Pierce

CoRR, 2016

Report on the NSF Workshop on Formal Methods for Security.

Stephen Chong, Joshua D. Guttman, Anupam Datta, Andrew C. Myers, Benjamin C. Pierce, Patrick Schaumont, Tim Sherwood, Nickolai Zeldovich

CoRR, 2016

The science of deep specification (keynote).

Benjamin C. Pierce

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.

John Hughes, Benjamin C. Pierce, Thomas Arts, Ulf Norell

Proceedings of the 2016 IEEE International Conference on Software Testing, 2016

Explicit Secrecy: A Policy for Taint Tracking.

Daniel Schoepe, Musard Balliu, Benjamin C. Pierce, Andrei Sabelfeld

Proceedings of the IEEE European Symposium on Security and Privacy, 2016

Beyond Good and Evil: Formalizing the Security Guarantees of Compartmentalizing Compilation.

Yannis Juglaret, Catalin Hritcu, Arthur Azevedo de Amorim, Boris Eng, Benjamin C. Pierce

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.

J. Nathan Foster, Michael B. Greenwald, Jonathan T. Moore, Benjamin C. Pierce, Alan Schmitt

ACM SIGPLAN Notices, 2015

Towards a Fully Abstract Compiler Using Micro-Policies: Secure Compilation for Mutually Distrustful Components.

Yannis Juglaret, Catalin Hritcu, Arthur Azevedo de Amorim, Benjamin C. Pierce, Antal Spector-Zabusky, Andrew Tolmach

CoRR, 2015

Micro-Policies: Formally Verified, Tag-Based Security Monitors.

Arthur Azevedo de Amorim, Maxime Dénès, Nick Giannarakis, Catalin Hritcu, Benjamin C. Pierce, Antal Spector-Zabusky, Andrew Tolmach

Proceedings of the 2015 IEEE Symposium on Security and Privacy, 2015

Foundational Property-Based Testing.

Zoe Paraskevopoulou, Catalin Hritcu, Maxime Dénès, Leonidas Lampropoulos, Benjamin C. Pierce

Proceedings of the Interactive Theorem Proving - 6th International Conference, 2015

Architectural Support for Software-Defined Metadata Processing.

Udit Dhawan, Catalin Hritcu, Raphael Rubin, Nikos Vasilakis, Silviu Chiricescu, Jonathan M. Smith, Thomas F. Knight Jr., Benjamin C. Pierce, André DeHon

Proceedings of the Twentieth International Conference on Architectural Support for Programming Languages and Operating Systems, 2015

2014

PUMP: a programmable unit for metadata processing.

Udit Dhawan, Nikos Vasilakis, Raphael Rubin, Silviu Chiricescu, Jonathan M. Smith, Thomas F. Knight Jr., Benjamin C. Pierce, André DeHon

Proceedings of the HASP 2014, 2014

Differential Privacy: An Economic Method for Choosing Epsilon.

Justin Hsu, Marco Gaboardi, Andreas Haeberlen, Sanjeev Khanna, Arjun Narayan, Benjamin C. Pierce, Aaron Roth

Proceedings of the IEEE 27th Computer Security Foundations Symposium, 2014

2013

Special Issue Dedicated to ICFP 2011 Editorial.

Kenichi Asai, Benjamin C. Pierce

J. Funct. Program., 2013

Dedication.

Stephen Brookes, Benjamin C. Pierce, Gordon D. Plotkin, Dana S. Scott

Proceedings of the Twenty-ninth Conference on the Mathematical Foundations of Programming Semantics, 2013

Edit languages for information trees.

Martin Hofmann, Benjamin C. Pierce, Daniel Wagner

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2013

All Your IFCException Are Belong to Us.

Catalin Hritcu, Michael Greenberg, Ben Karel, Benjamin C. Pierce, Greg Morrisett

Proceedings of the 2013 IEEE Symposium on Security and Privacy, 2013

Linear dependent types for differential privacy.

Marco Gaboardi, Andreas Haeberlen, Justin Hsu, Arjun Narayan, Benjamin C. Pierce

Proceedings of the 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2013

Testing noninterference, quickly.

Catalin Hritcu, John Hughes, Benjamin C. Pierce, Antal Spector-Zabusky, Dimitrios Vytiniotis, Arthur Azevedo de Amorim, Leonidas Lampropoulos

Proceedings of the ACM SIGPLAN International Conference on Functional Programming, 2013

Sensitivity analysis using type-based constraints.

Loris D'Antoni, Marco Gaboardi, Emilio Jesús Gallego Arias, Andreas Haeberlen, Benjamin C. Pierce

Proceedings of the 1st annual workshop on Functional programming concepts in domain-specific languages, 2013

A Theory of Information-Flow Labels.

Benoît Montagu, Benjamin C. Pierce, Randy Pollack

Proceedings of the 2013 IEEE 26th Computer Security Foundations Symposium, 2013

2012

Contracts made manifest.

Michael Greenberg, Benjamin C. Pierce, Stephanie Weirich

J. Funct. Program., 2012

Preface.

Benjamin C. Pierce, Stephanie Weirich

J. Autom. Reason., 2012

Hardware Support for Safety Interlocks and Introspection.

Udit Dhawan, Albert Kwon, Edin Kadric, Catalin Hritcu, Benjamin C. Pierce, Jonathan M. Smith, André DeHon, Gregory Malecha, Greg Morrisett, Thomas F. Knight Jr., Andrew Sutherland, Tom Hawkins, Amanda Zyxnfryx, David K. Wittenberg, Peter Trei, Sumit Ray, Greg Sullivan

Proceedings of the Sixth IEEE International Conference on Self-Adaptive and Self-Organizing Systems Workshops, 2012

Edit lenses.

Martin Hofmann, Benjamin C. Pierce, Daniel Wagner

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

Linguistic foundations for bidirectional transformations: invited tutorial.

Benjamin C. Pierce

Proceedings of the 31st ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, 2012

Verification challenges of pervasive information flow.

Benjamin C. Pierce

Proceedings of the sixth workshop on Programming Languages meets Program Verification, 2012

2011

Differential Privacy Under Fire.

Andreas Haeberlen, Benjamin C. Pierce, Arjun Narayan

Proceedings of the 20th USENIX Security Symposium, 2011

Preliminary design of the SAFE platform.

André DeHon, Ben Karel, Thomas F. Knight Jr., Gregory Malecha, Benoît Montagu, Robin Morisset, Greg Morrisett, Benjamin C. Pierce, Randy Pollack, Sumit Ray, Olin Shivers, Jonathan M. Smith, Gregory Sullivan

Proceedings of the 6th Workshop on Programming Languages and Operating Systems, 2011

Symmetric lenses.

Martin Hofmann, Benjamin C. Pierce, Daniel Wagner

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

Polymorphic Contracts.

João Filipe Belo, Michael Greenberg, Atsushi Igarashi, Benjamin C. Pierce

Proceedings of the Programming Languages and Systems, 2011

2010

Featherweight Firefox: Formalizing the Core of a Web Browser.

Aaron Bohannon, Benjamin C. Pierce

Proceedings of the USENIX Conference on Web Application Development, 2010

Art, science, and fear.

Benjamin C. Pierce

Proceedings of the 25th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2010

Proof Assistants as Teaching Assistants: A View from the Trenches.

Benjamin C. Pierce

Proceedings of the Interactive Theorem Proving, First International Conference, 2010

Distance makes the types grow stronger: a calculus for differential privacy.

Jason Reed, Benjamin C. Pierce

Proceedings of the Proceeding of the 15th ACM SIGPLAN international conference on Functional programming, 2010

Matching lenses: alignment and view update.

Davi M. J. Barbosa, Julien Cretin, Nate Foster, Michael Greenberg, Benjamin C. Pierce

Proceedings of the Proceeding of the 15th ACM SIGPLAN international conference on Functional programming, 2010

Differential privacy for collaborative security.

Jason Reed, Adam J. Aviv, Daniel Wagner, Andreas Haeberlen, Benjamin C. Pierce, Jonathan M. Smith

Proceedings of the Third European Workshop on System Security, 2010

2009

XML Typechecking.

Véronique Benzaken, Giuseppe Castagna, Haruo Hosoya, Benjamin C. Pierce, Stijn Vansummeren

Proceedings of the Encyclopedia of Database Systems, 2009

Foundations for Bidirectional Programming.

Benjamin C. Pierce

Proceedings of the Theory and Practice of Model Transformations, 2009

Lambda, the ultimate TA: using a proof assistant to teach programming language foundations.

Benjamin C. Pierce

Proceedings of the Proceeding of the 14th ACM SIGPLAN international conference on Functional programming, 2009

Updatable Security Views.

J. Nathan Foster, Benjamin C. Pierce, Steve Zdancewic

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

Reactive noninterference.

Aaron Bohannon, Benjamin C. Pierce, Vilhelm Sjöberg, Stephanie Weirich, Steve Zdancewic

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

2008

Boomerang: resourceful lenses for string data.

Aaron Bohannon, J. Nathan Foster, Benjamin C. Pierce, Alexandre Pilkiewicz, Alan Schmitt

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

Engineering formal metatheory.

Brian E. Aydemir, Arthur Charguéraud, Benjamin C. Pierce, Randy Pollack, Stephanie Weirich

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

Quotient lenses.

J. Nathan Foster, Alexandre Pilkiewicz, Benjamin C. Pierce

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.

J. Nathan Foster, Michael B. Greenwald, Jonathan T. Moore, Benjamin C. Pierce, Alan Schmitt

ACM Trans. Program. Lang. Syst., 2007

A bisimulation for dynamic sealing.

Eijiro Sumii, Benjamin C. Pierce

Theor. Comput. Sci., 2007

Preface.

Matthew Flatt, Benjamin C. Pierce

J. Funct. Program., 2007

Exploiting schemas in data synchronization.

J. Nathan Foster, Michael B. Greenwald, Christian Kirkegaard, Benjamin C. Pierce, Alan Schmitt

J. Comput. Syst. Sci., 2007

A bisimulation for type abstraction and recursion.

Eijiro Sumii, Benjamin C. Pierce

J. ACM, 2007

A Logic Your Typechecker Can Count On: Unordered Tree Types in Practice.

J. Nathan Foster, Benjamin C. Pierce, Alan Schmitt

Proceedings of the PLAN-X 2007, 2007

Adventures in Bidirectional Programming.

Benjamin C. Pierce

Proceedings of the FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science, 2007

A Formal Investigation of.

Sanjeev Khanna, Keshav Kunal, Benjamin C. Pierce

Proceedings of the FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science, 2007

2006

Agreeing to Agree: Conflict Resolution for Optimistically Replicated Data.

Michael B. Greenwald, Sanjeev Khanna, Keshav Kunal, Benjamin C. Pierce, Alan Schmitt

Proceedings of the Distributed Computing, 20th International Symposium, 2006

Relational lenses: a language for updatable views.

Aaron Bohannon, Benjamin C. Pierce, Jeffrey A. Vaughan

Proceedings of the Twenty-Fifth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 2006

Statically Typed Document Transformation: An Xtatic Experience.

Vladimir Gapeyev, François Garillot, Benjamin C. Pierce

Proceedings of the PLAN-X 2006 Informal Proceedings, 2006

XTATIC.

Vladimir Gapeyev, Michael Y. Levin, Benjamin C. Pierce, Alan Schmitt

Proceedings of the PLAN-X 2006 Informal Proceedings, 2006

The Weird World of Bi-directional Programming.

Benjamin C. Pierce

Proceedings of the Programming Languages and Systems, 2006

2005

Regular expression types for XML.

Haruo Hosoya, Jerome Vouillon, Benjamin C. Pierce

ACM Trans. Program. Lang. Syst., 2005

It Is Time to Mechanize Programming Language Metatheory.

Benjamin C. Pierce, Peter Sewell, Stephanie Weirich, Steve Zdancewic

Proceedings of the Verified Software: Theories, 2005

Mechanized Metatheory for the Masses: The PoplMark Challenge.

Brian E. Aydemir, Aaron Bohannon, Matthew Fairbairn, J. Nathan Foster, Benjamin C. Pierce, Peter Sewell, Dimitrios Vytiniotis, Geoffrey Washburn, Stephanie Weirich, Steve Zdancewic

Proceedings of the Theorem Proving in Higher Order Logics, 18th International Conference, 2005

Harmony: The Art of Reconciliation.

Benjamin C. Pierce

Proceedings of the Trustworthy Global Computing, International Symposium, 2005

Combinators for bi-directional tree transformations: a linguistic approach to the view update problem.

J. Nathan Foster, Michael B. Greenwald, Jonathan T. Moore, Benjamin C. Pierce, Alan Schmitt

Proceedings of the 32nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2005

Type-Based Optimization for Regular Patterns.

Michael Y. Levin, Benjamin C. Pierce

Proceedings of the Database Programming Languages, 10th International Symposium, 2005

XML Goes Native: Run-Time Representations for Xtatic.

Vladimir Gapeyev, Michael Y. Levin, Benjamin C. Pierce, Alan Schmitt

Proceedings of the Compiler Construction, 14th International Conference, 2005

2004

Guest editorial.

Martin Odersky, Benjamin C. Pierce

ACM Trans. Program. Lang. Syst., 2004

2003

XDuce: A statically typed XML processing language.

Haruo Hosoya, Benjamin C. Pierce

ACM Trans. Internet Techn., 2003

TinkerType: a language for playing with formal systems.

Michael Y. Levin, Benjamin C. Pierce

J. Funct. Program., 2003

Regular expression pattern matching for XML.

Haruo Hosoya, Benjamin C. Pierce

J. Funct. Program., 2003

Logical Relations for Encryption.

Eijiro Sumii, Benjamin C. Pierce

J. Comput. Secur., 2003

Information and Computation special issue from TACS 2001.

Naoki Kobayashi, Benjamin C. Pierce

Inf. Comput., 2003

Types and Programming Languages: The Next Generation.

Benjamin C. Pierce

Proceedings of the 18th IEEE Symposium on Logic in Computer Science (LICS 2003), 2003

Regular Object Types.

Vladimir Gapeyev, Benjamin C. Pierce

Proceedings of the ECOOP 2003, 2003

2002

Guest editorial.

Kathleen Fisher, Benjamin C. Pierce

ACM Trans. Program. Lang. Syst., 2002

Recursive subtyping revealed.

Vladimir Gapeyev, Michael Y. Levin, Benjamin C. Pierce

J. Funct. Program., 2002

On Inner Classes.

Atsushi Igarashi, Benjamin C. Pierce

Inf. Comput., 2002

Foundations for Virtual Types.

Atsushi Igarashi, Benjamin C. Pierce

Inf. Comput., 2002

Type Destructors.

Martin Hofmann, Benjamin C. Pierce

Inf. Comput., 2002

Types and programming languages.

Benjamin C. Pierce

MIT Press, ISBN: 978-0-262-16209-8, 2002

2001

Featherweight Java: a minimal core calculus for Java and GJ.

Atsushi Igarashi, Benjamin C. Pierce, Philip Wadler

ACM Trans. Program. Lang. Syst., 2001

Unison: A File Synchronizer and Its Specification.

Benjamin C. Pierce, Jerome Vouillon

Proceedings of the Theoretical Aspects of Computer Software, 4th International Symposium, 2001

2000

Local type inference.

Benjamin C. Pierce, David N. Turner

ACM Trans. Program. Lang. Syst., 2000

The essence of objects.

Benjamin C. Pierce

ACM SIGSOFT Softw. Eng. Notes, 2000

Behavioral equivalence in the polymorphic pi-calculus.

Benjamin C. Pierce, Davide Sangiorgi

J. ACM, 2000

Decoding Choice Encodings.

Uwe Nestmann, Benjamin C. Pierce

Inf. Comput., 2000

XDuce: A Typed XML Processing Language (Preliminary Report).

Haruo Hosoya, Benjamin C. Pierce

Proceedings of the World Wide Web and Databases, 2000

Advanced module systems: a guide for the perplexed (abstract of invited talk).

Robert Harper, Benjamin C. Pierce

Proceedings of the Fifth ACM SIGPLAN International Conference on Functional Programming (ICFP '00), 2000

Recursive subtyping revealed: functional pearl.

Vladimir Gapeyev, Michael Y. Levin, Benjamin C. Pierce

Proceedings of the Fifth ACM SIGPLAN International Conference on Functional Programming (ICFP '00), 2000

Pict: a programming language based on the Pi-Calculus.

Benjamin C. Pierce, David N. Turner

Proceedings of the Proof, Language, and Interaction, Essays in Honour of Robin Milner, 2000

1999

Linearity and the pi-calculus.

Naoki Kobayashi, Benjamin C. Pierce, David N. Turner

ACM Trans. Program. Lang. Syst., 1999

Foundations of Object-Oriented Languages - Introduction.

Benjamin C. Pierce

Theory Pract. Object Syst., 1999

Comparing Object Encodings.

Kim B. Bruce, Luca Cardelli, Benjamin C. Pierce

Inf. Comput., 1999

Featherwieght Java: A Minimal Core Calculus for Java and GJ.

Atsushi Igarashi, Benjamin C. Pierce, Philip Wadler

Proceedings of the 1999 ACM SIGPLAN Conference on Object-Oriented Programming Systems, 1999

Union Types for Semistructured Data.

Peter Buneman, Benjamin C. Pierce

Proceedings of the Research Issues in Structured and Semistructured Database Programming, 1999

1998

Bounded Existentials and Minimal Typing.

Giorgio Ghelli, Benjamin C. Pierce

Theor. Comput. Sci., 1998

Editorial - Third Workshop on Foundations of Object-Oriented Languages.

Kim B. Bruce, Benjamin C. Pierce

Theory Pract. Object Syst., 1998

Preface.

Uwe Nestmann, Benjamin C. Pierce

Proceedings of the 3rd International Workshop on High-Level Concurrent Languages, 1998

What is a File Synchronizer?

Sundar Balasubramaniam, Benjamin C. Pierce

Proceedings of the MOBICOM '98, 1998

Location-Independent Communication for Mobile Agents: A Two-Level Architecture.

Peter Sewell, Pawel T. Wojciechowski, Benjamin C. Pierce

Proceedings of the Internet Programming Languages, 1998

Type Systems for Concurrent Calculi (Abstract).

Benjamin C. Pierce

Proceedings of the CONCUR '98: Concurrency Theory, 1998

1997

Higher-Order Subtyping.

Benjamin C. Pierce, Martin Steffen

Theor. Comput. Sci., 1997

Intersection Types and Bounded Polymorphism.

Benjamin C. Pierce

Math. Struct. Comput. Sci., 1997

Foundational Calculi for Programming Languages.

Benjamin C. Pierce

Proceedings of the Computer Science and Engineering Handbook, 1997

1996

Typing and Subtyping for Mobile Processes.

Benjamin C. Pierce, Davide Sangiorgi

Math. Struct. Comput. Sci., 1996

Higher-Order Intersection Types and Multiple Inheritance.

Adriana B. Compagnoni, Benjamin C. Pierce

Math. Struct. Comput. Sci., 1996

Positive Subtyping.

Martin Hofmann, Benjamin C. Pierce

Inf. Comput., 1996

1995

On Binary Methods.

Kim B. Bruce, Luca Cardelli, Giuseppe Castagna, Jonathan Eifrig, Scott F. Smith, Valery Trifonov, Gary T. Leavens, Benjamin C. Pierce

Theory Pract. Object Syst., 1995

A Unifying Type-Theoretic Framework for Objects.

Martin Hofmann, Benjamin C. Pierce

J. Funct. Program., 1995

Dynamic Typing in Polymorphic Languages.

Martín Abadi, Luca Cardelli, Benjamin C. Pierce, Didier Rémy

J. Funct. Program., 1995

Corrigendum: Decidable Bounded Quantification.

Giuseppe Castagna, Benjamin C. Pierce

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

1994

Bounded Quantification is Undecidable

Benjamin C. Pierce

Inf. Comput., July, 1994

Simple Type-Theoretic Foundations for Object-Oriented Programming.

Benjamin C. Pierce, David N. Turner

J. Funct. Program., 1994

Concurrent Objects in a Process Calculus.

Benjamin C. Pierce

Proceedings of the Theory and Practice of Parallel Programming, 1994

Decidable Bounded Quantification.

Giuseppe Castagna, Benjamin C. Pierce

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

1993

Object-Oriented Programming without Recursive Types.

Benjamin C. Pierce, David N. Turner

Proceedings of the Conference Record of the Twentieth Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 1993

1991

Dynamic Typing in a Statically Typed Language.

Martín Abadi, Luca Cardelli, Benjamin C. Pierce, Gordon D. Plotkin

ACM Trans. Program. Lang. Syst., 1991

Faithful Ideal Models for Recursive Polymorphic Types.

Martín Abadi, Benjamin C. Pierce, Gordon D. Plotkin

Int. J. Found. Comput. Sci., 1991

A Record Calculus Based on Symmetric Concatenation.

Robert Harper, Benjamin C. Pierce

Proceedings of the Conference Record of the Eighteenth Annual ACM Symposium on Principles of Programming Languages, 1991

Basic category theory for computer scientists.

Benjamin C. Pierce

Foundations of computing, MIT Press, ISBN: 978-0-262-66071-6, 1991