Benjamin C. Pierce

ORCID

Publication Activity (10 Years)

Years Active: 1989-2023
Publications (10 Years): 56

Top Venues

CoRR

Proc. ACM Program. Lang.

CSF

POPL

Publications

Harrison Goldstein, Samantha Frohlich, Meng Wang, Benjamin C. Pierce
Reflecting on Random Generation. Proc. ACM Program. Lang. 7 (ICFP) (2023)
Sean Noble Anderson, Roberto Blanco, Leonidas Lampropoulos, Benjamin C. Pierce, Andrew Tolmach
Formalizing Stack Safety as a Security Property. CSF (2023)
Jessica Shi, Alperen Keles, Harrison Goldstein, Benjamin C. Pierce, Leonidas Lampropoulos
Etna: An Evaluation Platform for Property-Based Testing (Experience Report). Proc. ACM Program. Lang. 7 (ICFP) (2023)
Joseph W. Cutler, Christopher Watson, Phillip Hilliard, Harrison Goldstein, Caleb Stanford, Benjamin C. Pierce
Stream Types. CoRR (2023)
Harrison Goldstein, Benjamin C. Pierce, Andrew Head
Tyche: In Situ Analysis of Random Testing Effectiveness. UIST (Adjunct Volume) (2023)
Mohsen Lesani, Li-yao Xia, Anders Kaseorg, Christian J. Bell, Adam Chlipala, Benjamin C. Pierce, Steve Zdancewic
C4: verified transactional objects. Proc. ACM Program. Lang. 6 (OOPSLA) (2022)
Derek Dreyer, Benjamin C. Pierce
On being a PhD student of Robert Harper. J. Funct. Program. 32 (2022)
Harrison Goldstein, Benjamin C. Pierce
Parsing Randomness: Unifying and Differentiating Parsers and Random Generators. CoRR (2022)
Matthew J. Bietz, Nitesh Goyal, Nicole Immorlica, Blair MacIntyre, Andrés Monroy-Hernández, Benjamin C. Pierce, Sean Rintel, Donghee Yvette Wohn
Social Presence in Virtual Event Spaces. CHI Extended Abstracts (2022)
Harrison Goldstein, Benjamin C. Pierce
Parsing randomness. Proc. ACM Program. Lang. 6 (OOPSLA2) (2022)
Sean Noble Anderson, Leonidas Lampropoulos, Roberto Blanco, Benjamin C. Pierce, Andrew Tolmach
Security Properties for Stack Safety. CoRR (2021)
Hengchu Zhang, Wolf Honoré, Nicolas Koh, Yao Li, Yishuai Li, Li-yao Xia, Lennart Beringer, William Mansky, Benjamin C. Pierce, Steve Zdancewic
Verifying an HTTP Key-Value Server with Interaction Trees and VST. ITP (2021)
Yishuai Li, Benjamin C. Pierce, Steve Zdancewic
Model-based testing of networked applications. ISSTA (2021)
Harrison Goldstein, John Hughes, Leonidas Lampropoulos, Benjamin C. Pierce
Do Judge a Test by its Cover - Combining Combinatorial and Property-Based Testing. ESOP (2021)
Stephanie Weirich, Benjamin C. Pierce
ICFP 2020 Post-Conference Report. CoRR (2021)
Yishuai Li, Benjamin C. Pierce, Steve Zdancewic
Model-Based Testing of Networked Applications. CoRR (2021)
Hengchu Zhang, Edo Roth, Andreas Haeberlen, Benjamin C. Pierce, Aaron Roth
Testing differential privacy with dual interpreters. Proc. ACM Program. Lang. 4 (OOPSLA) (2020)
Li-yao Xia, Yannick Zakowski, Paul He, Chung-Kil Hur, Gregory Malecha, Benjamin C. Pierce, Steve Zdancewic
Interaction trees: representing recursive and impure programs in Coq. Proc. ACM Program. Lang. 4 (POPL) (2020)
Edo Roth, Hengchu Zhang, Andreas Haeberlen, Benjamin C. Pierce
Orchard: Differentially Private Analytics at Scale. OSDI (2020)
Benjamin C. Pierce, Michael Hicks, Crista Lopes, Jens Palsberg
Conferences in an era of expensive carbon. Commun. ACM 63 (3) (2020)
Hengchu Zhang, Edo Roth, Andreas Haeberlen, Benjamin C. Pierce, Aaron Roth
Testing Differential Privacy with Dual Interpreters. CoRR (2020)
Li-yao Xia, Yannick Zakowski, Paul He, Chung-Kil Hur, Gregory Malecha, Benjamin C. Pierce, Steve Zdancewic
Interaction Trees: Representing Recursive and Impure Programs in Coq (Work In Progress). CoRR (2019)
Hengchu Zhang, Edo Roth, Andreas Haeberlen, Benjamin C. Pierce, Aaron Roth
Fuzzi: a three-level logic for differential privacy. Proc. ACM Program. Lang. 3 (ICFP) (2019)
Anders Miltner, Solomon Maina, Kathleen Fisher, Benjamin C. Pierce, David Walker, Steve Zdancewic
Synthesizing symmetric lenses. Proc. ACM Program. Lang. 3 (ICFP) (2019)
Hengchu Zhang, Edo Roth, Andreas Haeberlen, Benjamin C. Pierce, Aaron Roth
Fuzzi: A Three-Level Logic for Differential Privacy. CoRR (2019)
Nicolas Koh, Yao Li, Yishuai Li, Li-yao Xia, Lennart Beringer, Wolf Honoré, William Mansky, Benjamin C. Pierce, Steve Zdancewic
From C to interaction trees: specifying, verifying, and testing a networked server. CPP (2019)
Leonidas Lampropoulos, Michael Hicks, Benjamin C. Pierce
Coverage guided, property based testing. Proc. ACM Program. Lang. 3 (OOPSLA) (2019)
Nicolas Koh, Yao Li, Yishuai Li, Li-yao Xia, Lennart Beringer, Wolf Honoré, William Mansky, Benjamin C. Pierce, Steve Zdancewic
From C to Interaction Trees: Specifying, Verifying, and Testing a Networked Server. CoRR (2018)
Anders Miltner, Solomon Maina, Kathleen Fisher, Benjamin C. Pierce, David Walker, Steve Zdancewic
Synthesizing Symmetric Lenses. CoRR (2018)
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
When Good Components Go Bad: Formally Secure Compilation Despite Dynamic Compromise. CCS (2018)
Anders Miltner, Kathleen Fisher, Benjamin C. Pierce, David Walker, Steve Zdancewic
Synthesizing bijective lenses. Proc. ACM Program. Lang. 2 (POPL) (2018)
Guglielmo Fachini, Catalin Hritcu, Marco Stronati, Arthur Azevedo de Amorim, Ana Nora Evans, Carmine Abate, Roberto Blanco, Théo Laurent, Benjamin C. Pierce, Andrew Tolmach
When Good Components Go Bad: Formally Secure Compilation Despite Dynamic Compromise. CoRR (2018)
Leonidas Lampropoulos, Zoe Paraskevopoulou, Benjamin C. Pierce
Generating good generators for inductive relations. Proc. ACM Program. Lang. 2 (POPL) (2018)
Solomon Maina, Anders Miltner, Kathleen Fisher, Benjamin C. Pierce, David Walker, Steve Zdancewic
Synthesizing quotient lenses. Proc. ACM Program. Lang. 2 (ICFP) (2018)
Arthur Azevedo de Amorim, Catalin Hritcu, Benjamin C. Pierce
The Meaning of Memory Safety. POST (2018)
Leonidas Lampropoulos, Diane Gallois-Wong, Catalin Hritcu, John Hughes, Benjamin C. Pierce, Li-yao Xia
Beginner's luck: a language for property-based generators. POPL (2017)
Daniel Winograd-Cort, Andreas Haeberlen, Aaron Roth, Benjamin C. Pierce
A framework for adaptive differential privacy. Proc. ACM Program. Lang. 1 (ICFP) (2017)
Guglielmo Fachini, Catalin Hritcu, Marco Stronati, Ana Nora Evans, Théo Laurent, Arthur Azevedo de Amorim, Benjamin C. Pierce, Andrew Tolmach
Formally Secure Compilation of Unsafe Low-Level Components (Extended Abstract). CoRR (2017)
Arthur Azevedo de Amorim, Catalin Hritcu, Benjamin C. Pierce
The Meaning of Memory Safety. CoRR (2017)
Anders Miltner, Kathleen Fisher, Benjamin C. Pierce, David Walker, Steve Zdancewic
Synthesizing Bijective Lenses. CoRR (2017)
Stephen Chong, Joshua D. Guttman, Anupam Datta, Andrew C. Myers, Benjamin C. Pierce, Patrick Schaumont, Tim Sherwood, Nickolai Zeldovich
Report on the NSF Workshop on Formal Methods for Security. CoRR (2016)
Arthur Azevedo de Amorim, Nathan Collins, André DeHon, Delphine Demange, Catalin Hritcu, David Pichardie, Benjamin C. Pierce, Randy Pollack, Andrew Tolmach
A verified information-flow architecture. J. Comput. Secur. 24 (6) (2016)
Catalin Hritcu, Leonidas Lampropoulos, Antal Spector-Zabusky, Arthur Azevedo de Amorim, Maxime Dénès, John Hughes, Benjamin C. Pierce, Dimitrios Vytiniotis
Testing noninterference, quickly. J. Funct. Program. 26 (2016)
Yannis Juglaret, Catalin Hritcu, Arthur Azevedo de Amorim, Benjamin C. Pierce
Beyond Full Abstraction: Formalizing the Security Guarantees of Low-Level Compartmentalization. CoRR (2016)
Benjamin C. Pierce
The science of deep specification (keynote). SPLASH (Companion Volume) (2016)
Yannis Juglaret, Catalin Hritcu, Arthur Azevedo de Amorim, Boris Eng, Benjamin C. Pierce
Beyond Good and Evil: Formalizing the Security Guarantees of Compartmentalizing Compilation. CSF (2016)
John Hughes, Benjamin C. Pierce, Thomas Arts, Ulf Norell
Mysteries of DropBox: Property-Based Testing of a Distributed Synchronization Service. ICST (2016)
Daniel Schoepe, Musard Balliu, Benjamin C. Pierce, Andrei Sabelfeld
Explicit Secrecy: A Policy for Taint Tracking. EuroS&P (2016)
Gilles Barthe, Marco Gaboardi, Justin Hsu, Benjamin C. Pierce
Programming language techniques for differential privacy. ACM SIGLOG News 3 (1) (2016)
Leonidas Lampropoulos, Diane Gallois-Wong, Catalin Hritcu, John Hughes, Benjamin C. Pierce, Li-yao Xia
Beginner's Luck: A Language for Property-Based Generators. CoRR (2016)
J. Nathan Foster, Michael B. Greenwald, Jonathan T. Moore, Benjamin C. Pierce, Alan Schmitt
POPL 2005: Combinators for Bi-Directional Tree Transformations: Linguistic Approach to the View Update Problem. ACM SIGPLAN Notices 50 (8s) (2015)
Arthur Azevedo de Amorim, Maxime Dénès, Nick Giannarakis, Catalin Hritcu, Benjamin C. Pierce, Antal Spector-Zabusky, Andrew Tolmach
Micro-Policies: Formally Verified, Tag-Based Security Monitors. IEEE Symposium on Security and Privacy (2015)
Arthur Azevedo de Amorim, Nathan Collins, André DeHon, Delphine Demange, Catalin Hritcu, David Pichardie, Benjamin C. Pierce, Randy Pollack, Andrew Tolmach
A Verified Information-Flow Architecture. CoRR (2015)
Udit Dhawan, Catalin Hritcu, Raphael Rubin, Nikos Vasilakis, Silviu Chiricescu, Jonathan M. Smith, Thomas F. Knight Jr., Benjamin C. Pierce, André DeHon
Architectural Support for Software-Defined Metadata Processing. ASPLOS (2015)
Zoe Paraskevopoulou, Catalin Hritcu, Maxime Dénès, Leonidas Lampropoulos, Benjamin C. Pierce
Foundational Property-Based Testing. ITP (2015)
Yannis Juglaret, Catalin Hritcu, Arthur Azevedo de Amorim, Benjamin C. Pierce, Antal Spector-Zabusky, Andrew Tolmach
Towards a Fully Abstract Compiler Using Micro-Policies: Secure Compilation for Mutually Distrustful Components. CoRR (2015)
Arthur Azevedo de Amorim, Nathan Collins, André DeHon, Delphine Demange, Catalin Hritcu, David Pichardie, Benjamin C. Pierce, Randy Pollack, Andrew Tolmach
A verified information-flow architecture. POPL (2014)
Catalin Hritcu, Leonidas Lampropoulos, Antal Spector-Zabusky, Arthur Azevedo de Amorim, Maxime Dénès, John Hughes, Benjamin C. Pierce, Dimitrios Vytiniotis
Testing Noninterference, Quickly. CoRR (2014)
Udit Dhawan, Nikos Vasilakis, Raphael Rubin, Silviu Chiricescu, Jonathan M. Smith, Thomas F. Knight Jr., Benjamin C. Pierce, André DeHon
PUMP: a programmable unit for metadata processing. HASP@ISCA (2014)
Justin Hsu, Marco Gaboardi, Andreas Haeberlen, Sanjeev Khanna, Arjun Narayan, Benjamin C. Pierce, Aaron Roth
Differential Privacy: An Economic Method for Choosing Epsilon. CSF (2014)
Justin Hsu, Marco Gaboardi, Andreas Haeberlen, Sanjeev Khanna, Arjun Narayan, Benjamin C. Pierce, Aaron Roth
Differential Privacy: An Economic Method for Choosing Epsilon. CoRR (2014)
Stephen Brookes, Benjamin C. Pierce, Gordon D. Plotkin, Dana S. Scott
Dedication. MFPS (2013)
Benoît Montagu, Benjamin C. Pierce, Randy Pollack
A Theory of Information-Flow Labels. CSF (2013)
Martin Hofmann, Benjamin C. Pierce, Daniel Wagner
Edit languages for information trees. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 57 (2013)
Marco Gaboardi, Andreas Haeberlen, Justin Hsu, Arjun Narayan, Benjamin C. Pierce
Linear dependent types for differential privacy. POPL (2013)
Kenichi Asai, Benjamin C. Pierce
Special Issue Dedicated to ICFP 2011 Editorial. J. Funct. Program. 23 (4) (2013)
Catalin Hritcu, John Hughes, Benjamin C. Pierce, Antal Spector-Zabusky, Dimitrios Vytiniotis, Arthur Azevedo de Amorim, Leonidas Lampropoulos
Testing noninterference, quickly. ICFP (2013)
Loris D'Antoni, Marco Gaboardi, Emilio Jesús Gallego Arias, Andreas Haeberlen, Benjamin C. Pierce
Sensitivity analysis using type-based constraints. FPCDSL@ICFP (2013)
Catalin Hritcu, Michael Greenberg, Ben Karel, Benjamin C. Pierce, Greg Morrisett
All Your IFCException Are Belong to Us. IEEE Symposium on Security and Privacy (2013)
Benjamin C. Pierce
Verification challenges of pervasive information flow. PLPV (2012)
Benjamin C. Pierce, Stephanie Weirich
Preface. J. Autom. Reason. 49 (3) (2012)
Benjamin C. Pierce
Linguistic foundations for bidirectional transformations: invited tutorial. PODS (2012)
Michael Greenberg, Benjamin C. Pierce, Stephanie Weirich
Contracts made manifest. J. Funct. Program. 22 (3) (2012)
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
Hardware Support for Safety Interlocks and Introspection. SASO Workshops (2012)
Martin Hofmann, Benjamin C. Pierce, Daniel Wagner
Edit lenses. POPL (2012)
João Filipe Belo, Michael Greenberg, Atsushi Igarashi, Benjamin C. Pierce
Polymorphic Contracts. ESOP (2011)
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
Preliminary design of the SAFE platform. PLOS@SOSP (2011)
Martin Hofmann, Benjamin C. Pierce, Daniel Wagner
Symmetric lenses. POPL (2011)
Andreas Haeberlen, Benjamin C. Pierce, Arjun Narayan
Differential Privacy Under Fire. USENIX Security Symposium (2011)
Michael Greenberg, Benjamin C. Pierce, Stephanie Weirich
Contracts made manifest. POPL (2010)
Benjamin C. Pierce
Proof Assistants as Teaching Assistants: A View from the Trenches. ITP (2010)
Aaron Bohannon, Benjamin C. Pierce
Featherweight Firefox: Formalizing the Core of a Web Browser. WebApps (2010)
Davi M. J. Barbosa, Julien Cretin, Nate Foster, Michael Greenberg, Benjamin C. Pierce
Matching lenses: alignment and view update. ICFP (2010)
Jason Reed, Adam J. Aviv, Daniel Wagner, Andreas Haeberlen, Benjamin C. Pierce, Jonathan M. Smith
Differential privacy for collaborative security. EUROSEC (2010)
Jason Reed, Benjamin C. Pierce
Distance makes the types grow stronger: a calculus for differential privacy. ICFP (2010)
Benjamin C. Pierce
Art, science, and fear. OOPSLA (2010)
Benjamin C. Pierce
Lambda, the ultimate TA: using a proof assistant to teach programming language foundations. ICFP (2009)
Benjamin C. Pierce
Foundations for Bidirectional Programming. ICMT@TOOLS (2009)
J. Nathan Foster, Benjamin C. Pierce, Steve Zdancewic
Updatable Security Views. CSF (2009)
Aaron Bohannon, Benjamin C. Pierce, Vilhelm Sjöberg, Stephanie Weirich, Steve Zdancewic
Reactive noninterference. CCS (2009)
J. Nathan Foster, Alexandre Pilkiewicz, Benjamin C. Pierce
Quotient lenses. ICFP (2008)
Brian E. Aydemir, Arthur Charguéraud, Benjamin C. Pierce, Randy Pollack, Stephanie Weirich
Engineering formal metatheory. POPL (2008)
Aaron Bohannon, J. Nathan Foster, Benjamin C. Pierce, Alexandre Pilkiewicz, Alan Schmitt
Boomerang: resourceful lenses for string data. POPL (2008)
Sanjeev Khanna, Keshav Kunal, Benjamin C. Pierce
A Formal Investigation of. FSTTCS (2007)
Benjamin C. Pierce
Adventures in Bidirectional Programming. FSTTCS (2007)
Matthew Flatt, Benjamin C. Pierce
Preface. J. Funct. Program. 17 (4-5) (2007)
J. Nathan Foster, Michael B. Greenwald, Christian Kirkegaard, Benjamin C. Pierce, Alan Schmitt
Exploiting schemas in data synchronization. J. Comput. Syst. Sci. 73 (4) (2007)
J. Nathan Foster, Benjamin C. Pierce, Alan Schmitt
A Logic Your Typechecker Can Count On: Unordered Tree Types in Practice. PLAN-X (2007)
J. Nathan Foster, Michael B. Greenwald, Jonathan T. Moore, Benjamin C. Pierce, Alan Schmitt
Combinators for bidirectional tree transformations: A linguistic approach to the view-update problem. ACM Trans. Program. Lang. Syst. 29 (3) (2007)
Eijiro Sumii, Benjamin C. Pierce
A bisimulation for type abstraction and recursion. J. ACM 54 (5) (2007)

Benjamin C. Pierce.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Benjamin C. Pierce