Benjamin C. Pierce
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
68
Venues
24
Active years
1989–2024
Best venue rank
A*
Where they publish
- A*POPL22 papers
- AICFP9 papers
- AESOP3 papers
- BITP3 papers
- AOOPSLA3 papers
- AECOOP3 papers
- A*LICS3 papers
- A*UIST2 papers
- A*CCS2 papers
- A*SP2 papers
- A*PODS2 papers
- BCONCUR2 papers
- A*ICSE1 paper
- A*CHI1 paper
- AISSTA1 paper
- A*OSDI1 paper
- BCPP1 paper
- AICST1 paper
- A*ASPLOS1 paper
- A*ISCA1 paper
- A*SOSP1 paper
- BCC1 paper
- A*MOBICOM1 paper
- ASTACS1 paper
Papers
68 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | ICSE | Property-Based Testing in Practice. | Harrison Goldstein, Joseph W. Cutler, Daniel Dickstein, Benjamin C. Pierce, Andrew Head |
| 2024 | UIST | Tyche: Making Sense of PBT Effectiveness. | Harrison Goldstein, Jeffrey Tao, Zac Hatfield-Dodds, Benjamin C. Pierce, Andrew Head |
| 2023 | UIST | Tyche: In Situ Analysis of Random Testing Effectiveness. | Harrison Goldstein, Benjamin C. Pierce, Andrew Head |
| 2022 | CHI | Social Presence in Virtual Event Spaces. | Matthew J. Bietz, Nitesh Goyal, Nicole Immorlica, Blair MacIntyre, Andrs Monroy-Hernndez, Benjamin C. Pierce, Sean Rintel, Donghee Yvette Wohn |
| 2021 | ESOP | Do Judge a Test by its Cover - Combining Combinatorial and Property-Based Testing. | Harrison Goldstein, John Hughes, Leonidas Lampropoulos, Benjamin C. Pierce |
| 2021 | ISSTA | Model-based testing of networked applications. | Yishuai Li, Benjamin C. Pierce, Steve Zdancewic |
| 2021 | ITP | 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 |
| 2020 | OSDI | Orchard: Differentially Private Analytics at Scale. | Edo Roth, Hengchu Zhang, Andreas Haeberlen, Benjamin C. Pierce |
| 2019 | CPP | 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 |
| 2018 | CCS | 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, Tho Laurent, Benjamin C. Pierce, Marco Stronati, Andrew Tolmach |
| 2017 | POPL | Beginner's luck: a language for property-based generators. | Leonidas Lampropoulos, Diane Gallois-Wong, Catalin Hritcu, John Hughes, Benjamin C. Pierce, Li-yao Xia |
| 2016 | ICST | Mysteries of DropBox: Property-Based Testing of a Distributed Synchronization Service. | John Hughes, Benjamin C. Pierce, Thomas Arts, Ulf Norell |
| 2016 | OOPSLA | The science of deep specification (keynote). | Benjamin C. Pierce |
| 2015 | ASPLOS | 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 |
| 2015 | ITP | Foundational Property-Based Testing. | Zoe Paraskevopoulou, Catalin Hritcu, Maxime Dns, Leonidas Lampropoulos, Benjamin C. Pierce |
| 2015 | SP | Micro-Policies: Formally Verified, Tag-Based Security Monitors. | Arthur Azevedo de Amorim, Maxime Dns, Nick Giannarakis, Catalin Hritcu, Benjamin C. Pierce, Antal Spector-Zabusky, Andrew Tolmach |
| 2014 | ISCA | 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 |
| 2014 | POPL | 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 |
| 2013 | ICFP | Sensitivity analysis using type-based constraints. | Loris D'Antoni, Marco Gaboardi, Emilio Jess Gallego Arias, Andreas Haeberlen, Benjamin C. Pierce |
| 2013 | ICFP | Testing noninterference, quickly. | Catalin Hritcu, John Hughes, Benjamin C. Pierce, Antal Spector-Zabusky, Dimitrios Vytiniotis, Arthur Azevedo de Amorim, Leonidas Lampropoulos |
| 2013 | POPL | Linear dependent types for differential privacy. | Marco Gaboardi, Andreas Haeberlen, Justin Hsu, Arjun Narayan, Benjamin C. Pierce |
| 2013 | SP | All Your IFCException Are Belong to Us. | Catalin Hritcu, Michael Greenberg, Ben Karel, Benjamin C. Pierce, Greg Morrisett |
| 2012 | PODS | Linguistic foundations for bidirectional transformations: invited tutorial. | Benjamin C. Pierce |
| 2012 | POPL | Edit lenses. | Martin Hofmann, Benjamin C. Pierce, Daniel Wagner |
| 2011 | ESOP | Polymorphic Contracts. | Joo Filipe Belo, Michael Greenberg, Atsushi Igarashi, Benjamin C. Pierce |
| 2011 | POPL | Symmetric lenses. | Martin Hofmann, Benjamin C. Pierce, Daniel Wagner |
| 2011 | SOSP | Preliminary design of the SAFE platform. | Andr DeHon, Ben Karel, Thomas F. Knight Jr., Gregory Malecha, Benot Montagu, Robin Morisset, Greg Morrisett, Benjamin C. Pierce, Randy Pollack, Sumit Ray, Olin Shivers, Jonathan M. Smith, Gregory Sullivan |
| 2010 | ICFP | Matching lenses: alignment and view update. | Davi M. J. Barbosa, Julien Cretin, Nate Foster, Michael Greenberg, Benjamin C. Pierce |
| 2010 | ICFP | Distance makes the types grow stronger: a calculus for differential privacy. | Jason Reed, Benjamin C. Pierce |
| 2010 | ITP | Proof Assistants as Teaching Assistants: A View from the Trenches. | Benjamin C. Pierce |
| 2010 | OOPSLA | Art, science, and fear. | Benjamin C. Pierce |
| 2010 | POPL | Contracts made manifest. | Michael Greenberg, Benjamin C. Pierce, Stephanie Weirich |
| 2009 | CCS | Reactive noninterference. | Aaron Bohannon, Benjamin C. Pierce, Vilhelm Sjberg, Stephanie Weirich, Steve Zdancewic |
| 2009 | ICFP | Lambda, the ultimate TA: using a proof assistant to teach programming language foundations. | Benjamin C. Pierce |
| 2008 | ICFP | Quotient lenses. | J. Nathan Foster, Alexandre Pilkiewicz, Benjamin C. Pierce |
| 2008 | POPL | Engineering formal metatheory. | Brian E. Aydemir, Arthur Charguraud, Benjamin C. Pierce, Randy Pollack, Stephanie Weirich |
| 2008 | POPL | Boomerang: resourceful lenses for string data. | Aaron Bohannon, J. Nathan Foster, Benjamin C. Pierce, Alexandre Pilkiewicz, Alan Schmitt |
| 2006 | ESOP | The Weird World of Bi-directional Programming. | Benjamin C. Pierce |
| 2006 | PODS | Relational lenses: a language for updatable views. | Aaron Bohannon, Benjamin C. Pierce, Jeffrey A. Vaughan |
| 2005 | CC | XML Goes Native: Run-Time Representations for Xtatic. | Vladimir Gapeyev, Michael Y. Levin, Benjamin C. Pierce, Alan Schmitt |
| 2005 | POPL | 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 |
| 2005 | POPL | A bisimulation for type abstraction and recursion. | Eijiro Sumii, Benjamin C. Pierce |
| 2004 | POPL | A bisimulation for dynamic sealing. | Eijiro Sumii, Benjamin C. Pierce |
| 2003 | ECOOP | Regular Object Types. | Vladimir Gapeyev, Benjamin C. Pierce |
| 2003 | LICS | Types and Programming Languages: The Next Generation. | Benjamin C. Pierce |
| 2001 | POPL | Regular expression pattern matching for XML. | Haruo Hosoya, Benjamin C. Pierce |
| 2000 | ECOOP | On Inner Classes. | Atsushi Igarashi, Benjamin C. Pierce |
| 2000 | ICFP | Recursive subtyping revealed: functional pearl. | Vladimir Gapeyev, Michael Y. Levin, Benjamin C. Pierce |
| 2000 | ICFP | Advanced module systems: a guide for the perplexed (abstract of invited talk). | Robert Harper, Benjamin C. Pierce |
| 2000 | ICFP | Regular expression types for XML. | Haruo Hosoya, Jerome Vouillon, Benjamin C. Pierce |
| 1999 | ECOOP | Foundations for Virtual Types. | Atsushi Igarashi, Benjamin C. Pierce |
| 1999 | OOPSLA | Featherwieght Java: A Minimal Core Calculus for Java and GJ. | Atsushi Igarashi, Benjamin C. Pierce, Philip Wadler |
| 1998 | CONCUR | Type Systems for Concurrent Calculi (Abstract). | Benjamin C. Pierce |
| 1998 | MOBICOM | What is a File Synchronizer? | Sundar Balasubramaniam, Benjamin C. Pierce |
| 1998 | POPL | Local Type Inference. | Benjamin C. Pierce, David N. Turner |
| 1997 | POPL | Behavioral Equivalence in the Polymorphic Pi-calculus. | Benjamin C. Pierce, Davide Sangiorgi |
| 1996 | CONCUR | Decoding Choice Encodings. | Uwe Nestmann, Benjamin C. Pierce |
| 1996 | POPL | Linearity and the Pi-Calculus. | Naoki Kobayashi, Benjamin C. Pierce, David N. Turner |
| 1995 | POPL | Corrigendum: Decidable Bounded Quantification. | Giuseppe Castagna, Benjamin C. Pierce |
| 1995 | POPL | Positive Subtyping. | Martin Hofmann, Benjamin C. Pierce |
| 1994 | POPL | Decidable Bounded Quantification. | Giuseppe Castagna, Benjamin C. Pierce |
| 1994 | STACS | A Unifying Type-Theoretic Framework for Objects. | Martin Hofmann, Benjamin C. Pierce |
| 1993 | LICS | Typing and Subtyping for Mobile Processes | Benjamin C. Pierce, Davide Sangiorgi |
| 1993 | POPL | Object-Oriented Programming without Recursive Types. | Benjamin C. Pierce, David N. Turner |
| 1992 | POPL | Bounded Quantification is Undecidable. | Benjamin C. Pierce |
| 1991 | POPL | A Record Calculus Based on Symmetric Concatenation. | Robert Harper, Benjamin C. Pierce |
| 1989 | LICS | Faithful Ideal Models for Recursive Polymorphic Types | Martn Abadi, Benjamin C. Pierce, Gordon D. Plotkin |
| 1989 | POPL | Dynamic Typing in a Statically-Typed Language. | Martn Abadi, Luca Cardelli, Benjamin C. Pierce, Gordon D. Plotkin |