Benjamin C. Pierce

212 papers A* 38A 28B 8Journal 94Unranked 34

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Etna: An Evaluation Platform for Property-Based Testing. CoRR Alperen Keles, Jessica Shi, Nikhil Kamath, Tin Nam Liu, Ceren Mert, Harrison Goldstein, Benjamin C. Pierce, Leonidas Lampropoulos
2026	J	`jnl`	Typing Strictness. Proc. ACM Program. Lang. Daniel Sainati, Joseph W. Cutler, Benjamin C. Pierce, Stephanie Weirich
2025	J	`jnl`	Bennet: Randomized Specification Testing for Heap-Manipulating Programs. Proc. ACM Program. Lang. Zain K. Aamer, Benjamin C. Pierce
2025	J	`jnl`	Fail Faster: Staging and Fast Randomness for High-Performance PBT. CoRR Cynthia Richey, Joseph W. Cutler, Harrison Goldstein, Benjamin C. Pierce
2025	J	`jnl`	QED in Context: An Observation Study of Proof Assistant Users. Proc. ACM Program. Lang. Jessica Shi, Cassia Torczon, Harrison Goldstein, Benjamin C. Pierce, Andrew Head
2025	J	`jnl`	The Search for Constrained Random Generators. CoRR Harrison Goldstein, Hila Peleg, Cassia Torczon, Daniel Sainati, Leonidas Lampropoulos, Benjamin C. Pierce
2025	J	`jnl`	Tuning Random Generators: Property-Based Testing as Probabilistic Programming. CoRR Ryan Tjoa, Poorva Garg, Harrison Goldstein, Todd D. Millstein, Benjamin C. Pierce, Guy Van den Broeck
2025	J	`jnl`	Tuning Random Generators: Property-Based Testing as Probabilistic Programming. Proc. ACM Program. Lang. Ryan Tjoa, Poorva Garg, Harrison Goldstein, Todd D. Millstein, Benjamin C. Pierce, Guy Van den Broeck
2025	J	`jnl`	Typing Strictness (Extended Version). CoRR Daniel Sainati, Joseph W. Cutler, Benjamin C. Pierce, Stephanie Weirich
2024	J	`jnl`	Mica: Automated Differential Testing for OCaml Modules. CoRR Ernest Ng, Harrison Goldstein, Benjamin C. Pierce
2024	A*	`conf`	Property-Based Testing in Practice. ICSE Harrison Goldstein, Joseph W. Cutler, Daniel Dickstein, Benjamin C. Pierce, Andrew Head
2024	J	`jnl`	Stream Types. Proc. ACM Program. Lang. Joseph W. Cutler, Christopher Watson, Emeka Nkurumeh, Phillip Hilliard, Harrison Goldstein, Caleb Stanford, Benjamin C. Pierce
2024	A*	`conf`	Tyche: Making Sense of PBT Effectiveness. UIST Harrison Goldstein, Jeffrey Tao, Zac Hatfield-Dodds, Benjamin C. Pierce, Andrew Head
2023	J	`jnl`	Etna: An Evaluation Platform for Property-Based Testing (Experience Report). Proc. ACM Program. Lang. Jessica Shi, Alperen Keles, Harrison Goldstein, Benjamin C. Pierce, Leonidas Lampropoulos
2023	A	`conf`	Formalizing Stack Safety as a Security Property. CSF Sean Noble Anderson, Roberto Blanco, Leonidas Lampropoulos, Benjamin C. Pierce, Andrew Tolmach
2023	J	`jnl`	Reflecting on Random Generation. Proc. ACM Program. Lang. Harrison Goldstein, Samantha Frohlich, Meng Wang, Benjamin C. Pierce
2023	J	`jnl`	Stream Types. CoRR Joseph W. Cutler, Christopher Watson, Phillip Hilliard, Harrison Goldstein, Caleb Stanford, Benjamin C. Pierce
2023	—	`conf`	Tyche: In Situ Analysis of Random Testing Effectiveness. UIST (Adjunct Volume) Harrison Goldstein, Benjamin C. Pierce, Andrew Head
2022	J	`jnl`	C4: verified transactional objects. Proc. ACM Program. Lang. Mohsen Lesani, Li-yao Xia, Anders Kaseorg, Christian J. Bell, Adam Chlipala, Benjamin C. Pierce, Steve Zdancewic
2022	J	`jnl`	On being a PhD student of Robert Harper. J. Funct. Program. Derek Dreyer, Benjamin C. Pierce
2022	J	`jnl`	Parsing Randomness: Unifying and Differentiating Parsers and Random Generators. CoRR Harrison Goldstein, Benjamin C. Pierce
2022	J	`jnl`	Parsing randomness. Proc. ACM Program. Lang. Harrison Goldstein, Benjamin C. Pierce
2022	—	`conf`	Social Presence in Virtual Event Spaces. CHI Extended Abstracts Matthew J. Bietz, Nitesh Goyal, Nicole Immorlica, Blair MacIntyre, Andrés Monroy-Hernández, Benjamin C. Pierce, Sean Rintel, Donghee Yvette Wohn
2021	A	`conf`	Do Judge a Test by its Cover - Combining Combinatorial and Property-Based Testing. ESOP Harrison Goldstein, John Hughes, Leonidas Lampropoulos, Benjamin C. Pierce
2021	J	`jnl`	ICFP 2020 Post-Conference Report. CoRR Stephanie Weirich, Benjamin C. Pierce
2021	J	`jnl`	Model-Based Testing of Networked Applications. CoRR Yishuai Li, Benjamin C. Pierce, Steve Zdancewic
2021	A	`conf`	Model-based testing of networked applications. ISSTA Yishuai Li, Benjamin C. Pierce, Steve Zdancewic
2021	J	`jnl`	Security Properties for Stack Safety. CoRR Sean Noble Anderson, Leonidas Lampropoulos, Roberto Blanco, Benjamin C. Pierce, Andrew Tolmach
2021	B	`conf`	Verifying an HTTP Key-Value Server with Interaction Trees and VST. ITP Hengchu Zhang, Wolf Honoré, Nicolas Koh, Yao Li, Yishuai Li, Li-yao Xia, Lennart Beringer, William Mansky, Benjamin C. Pierce, Steve Zdancewic
2020	J	`jnl`	Conferences in an era of expensive carbon. Commun. ACM Benjamin C. Pierce, Michael Hicks, Cristina V. Lopes, Jens Palsberg
2020	J	`jnl`	Interaction trees: representing recursive and impure programs in Coq. Proc. ACM Program. Lang. Li-yao Xia, Yannick Zakowski, Paul He, Chung-Kil Hur, Gregory Malecha, Benjamin C. Pierce, Steve Zdancewic
2020	—	`ch.`	Luck: A Probabilistic Language for Testing. Foundations of Probabilistic Programming Leonidas Lampropoulos, Benjamin C. Pierce, Li-yao Xia, Diane Gallois-Wong, Catalin Hritcu, John Hughes
2020	A*	`conf`	Orchard: Differentially Private Analytics at Scale. OSDI Edo Roth, Hengchu Zhang, Andreas Haeberlen, Benjamin C. Pierce
2020	J	`jnl`	Testing Differential Privacy with Dual Interpreters. CoRR Hengchu Zhang, Edo Roth, Andreas Haeberlen, Benjamin C. Pierce, Aaron Roth
2020	J	`jnl`	Testing differential privacy with dual interpreters. Proc. ACM Program. Lang. Hengchu Zhang, Edo Roth, Andreas Haeberlen, Benjamin C. Pierce, Aaron Roth
2019	J	`jnl`	Coverage guided, property based testing. Proc. ACM Program. Lang. Leonidas Lampropoulos, Michael Hicks, Benjamin C. Pierce
2019	B	`conf`	From C to interaction trees: specifying, verifying, and testing a networked server. CPP Nicolas Koh, Yao Li, Yishuai Li, Li-yao Xia, Lennart Beringer, Wolf Honoré, William Mansky, Benjamin C. Pierce, Steve Zdancewic
2019	J	`jnl`	Fuzzi: A Three-Level Logic for Differential Privacy. CoRR Hengchu Zhang, Edo Roth, Andreas Haeberlen, Benjamin C. Pierce, Aaron Roth
2019	J	`jnl`	Fuzzi: a three-level logic for differential privacy. Proc. ACM Program. Lang. Hengchu Zhang, Edo Roth, Andreas Haeberlen, Benjamin C. Pierce, Aaron Roth
2019	J	`jnl`	Interaction Trees: Representing Recursive and Impure Programs in Coq (Work In Progress). CoRR Li-yao Xia, Yannick Zakowski, Paul He, Chung-Kil Hur, Gregory Malecha, Benjamin C. Pierce, Steve Zdancewic
2019	J	`jnl`	Synthesizing symmetric lenses. Proc. ACM Program. Lang. Anders Miltner, Solomon Maina, Kathleen Fisher, Benjamin C. Pierce, David Walker, Steve Zdancewic
2018	J	`jnl`	From C to Interaction Trees: Specifying, Verifying, and Testing a Networked Server. CoRR Nicolas Koh, Yao Li, Yishuai Li, Li-yao Xia, Lennart Beringer, Wolf Honoré, William Mansky, Benjamin C. Pierce, Steve Zdancewic
2018	J	`jnl`	Generating good generators for inductive relations. Proc. ACM Program. Lang. Leonidas Lampropoulos, Zoe Paraskevopoulou, Benjamin C. Pierce
2018	J	`jnl`	Synthesizing Symmetric Lenses. CoRR Anders Miltner, Solomon Maina, Kathleen Fisher, Benjamin C. Pierce, David Walker, Steve Zdancewic
2018	J	`jnl`	Synthesizing bijective lenses. Proc. ACM Program. Lang. Anders Miltner, Kathleen Fisher, Benjamin C. Pierce, David Walker, Steve Zdancewic
2018	J	`jnl`	Synthesizing quotient lenses. Proc. ACM Program. Lang. Solomon Maina, Anders Miltner, Kathleen Fisher, Benjamin C. Pierce, David Walker, Steve Zdancewic
2018	—	`conf`	The Meaning of Memory Safety. POST Arthur Azevedo de Amorim, Catalin Hritcu, Benjamin C. Pierce
2018	A*	`conf`	When Good Components Go Bad: Formally Secure Compilation Despite Dynamic Compromise. CCS 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
2018	J	`jnl`	When Good Components Go Bad: Formally Secure Compilation Despite Dynamic Compromise. CoRR 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
2018	—	`ch.`	XML Typechecking. Encyclopedia of Database Systems (2nd ed.) Véronique Benzaken, Giuseppe Castagna, Haruo Hosoya, Benjamin C. Pierce, Stijn Vansummeren
2017	J	`jnl`	A framework for adaptive differential privacy. Proc. ACM Program. Lang. Daniel Winograd-Cort, Andreas Haeberlen, Aaron Roth, Benjamin C. Pierce
2017	A*	`conf`	Beginner's luck: a language for property-based generators. POPL Leonidas Lampropoulos, Diane Gallois-Wong, Catalin Hritcu, John Hughes, Benjamin C. Pierce, Li-yao Xia
2017	J	`jnl`	Formally Secure Compilation of Unsafe Low-Level Components (Extended Abstract). CoRR Guglielmo Fachini, Catalin Hritcu, Marco Stronati, Ana Nora Evans, Théo Laurent, Arthur Azevedo de Amorim, Benjamin C. Pierce, Andrew Tolmach
2017	J	`jnl`	Synthesizing Bijective Lenses. CoRR Anders Miltner, Kathleen Fisher, Benjamin C. Pierce, David Walker, Steve Zdancewic
2017	J	`jnl`	The Meaning of Memory Safety. CoRR Arthur Azevedo de Amorim, Catalin Hritcu, Benjamin C. Pierce
2016	J	`jnl`	A verified information-flow architecture. J. Comput. Secur. Arthur Azevedo de Amorim, Nathan Collins, André DeHon, Delphine Demange, Catalin Hritcu, David Pichardie, Benjamin C. Pierce, Randy Pollack, Andrew Tolmach
2016	J	`jnl`	Beginner's Luck: A Language for Property-Based Generators. CoRR Leonidas Lampropoulos, Diane Gallois-Wong, Catalin Hritcu, John Hughes, Benjamin C. Pierce, Li-yao Xia
2016	J	`jnl`	Beyond Full Abstraction: Formalizing the Security Guarantees of Low-Level Compartmentalization. CoRR Yannis Juglaret, Catalin Hritcu, Arthur Azevedo de Amorim, Benjamin C. Pierce
2016	A	`conf`	Beyond Good and Evil: Formalizing the Security Guarantees of Compartmentalizing Compilation. CSF Yannis Juglaret, Catalin Hritcu, Arthur Azevedo de Amorim, Boris Eng, Benjamin C. Pierce
2016	A	`conf`	Explicit Secrecy: A Policy for Taint Tracking. EuroS&P Daniel Schoepe, Musard Balliu, Benjamin C. Pierce, Andrei Sabelfeld
2016	A	`conf`	Mysteries of DropBox: Property-Based Testing of a Distributed Synchronization Service. ICST John Hughes, Benjamin C. Pierce, Thomas Arts, Ulf Norell
2016	J	`jnl`	Programming language techniques for differential privacy. ACM SIGLOG News Gilles Barthe, Marco Gaboardi, Justin Hsu, Benjamin C. Pierce
2016	J	`jnl`	Report on the NSF Workshop on Formal Methods for Security. CoRR Stephen Chong, Joshua D. Guttman, Anupam Datta, Andrew C. Myers, Benjamin C. Pierce, Patrick Schaumont, Tim Sherwood, Nickolai Zeldovich
2016	J	`jnl`	Testing noninterference, quickly. J. Funct. Program. Catalin Hritcu, Leonidas Lampropoulos, Antal Spector-Zabusky, Arthur Azevedo de Amorim, Maxime Dénès, John Hughes, Benjamin C. Pierce, Dimitrios Vytiniotis
2016	—	`conf`	The science of deep specification (keynote). SPLASH (Companion Volume) Benjamin C. Pierce
2015	J	`jnl`	A Verified Information-Flow Architecture. CoRR Arthur Azevedo de Amorim, Nathan Collins, André DeHon, Delphine Demange, Catalin Hritcu, David Pichardie, Benjamin C. Pierce, Randy Pollack, Andrew Tolmach
2015	A*	`conf`	Architectural Support for Software-Defined Metadata Processing. ASPLOS Udit Dhawan, Catalin Hritcu, Raphael Rubin, Nikos Vasilakis, Silviu Chiricescu, Jonathan M. Smith, Thomas F. Knight Jr., Benjamin C. Pierce, André DeHon
2015	B	`conf`	Foundational Property-Based Testing. ITP Zoe Paraskevopoulou, Catalin Hritcu, Maxime Dénès, Leonidas Lampropoulos, Benjamin C. Pierce
2015	A*	`conf`	Micro-Policies: Formally Verified, Tag-Based Security Monitors. IEEE Symposium on Security and Privacy Arthur Azevedo de Amorim, Maxime Dénès, Nick Giannarakis, Catalin Hritcu, Benjamin C. Pierce, Antal Spector-Zabusky, Andrew Tolmach
2015	J	`jnl`	POPL 2005: Combinators for Bi-Directional Tree Transformations: Linguistic Approach to the View Update Problem. ACM SIGPLAN Notices J. Nathan Foster, Michael B. Greenwald, Jonathan T. Moore, Benjamin C. Pierce, Alan Schmitt
2015	J	`jnl`	Towards a Fully Abstract Compiler Using Micro-Policies: Secure Compilation for Mutually Distrustful Components. CoRR Yannis Juglaret, Catalin Hritcu, Arthur Azevedo de Amorim, Benjamin C. Pierce, Antal Spector-Zabusky, Andrew Tolmach
2014	A*	`conf`	A verified information-flow architecture. POPL Arthur Azevedo de Amorim, Nathan Collins, André DeHon, Delphine Demange, Catalin Hritcu, David Pichardie, Benjamin C. Pierce, Randy Pollack, Andrew Tolmach
2014	A	`conf`	Differential Privacy: An Economic Method for Choosing Epsilon. CSF Justin Hsu, Marco Gaboardi, Andreas Haeberlen, Sanjeev Khanna, Arjun Narayan, Benjamin C. Pierce, Aaron Roth
2014	J	`jnl`	Differential Privacy: An Economic Method for Choosing Epsilon. CoRR Justin Hsu, Marco Gaboardi, Andreas Haeberlen, Sanjeev Khanna, Arjun Narayan, Benjamin C. Pierce, Aaron Roth
2014	—	`conf`	PUMP: a programmable unit for metadata processing. HASP@ISCA Udit Dhawan, Nikos Vasilakis, Raphael Rubin, Silviu Chiricescu, Jonathan M. Smith, Thomas F. Knight Jr., Benjamin C. Pierce, André DeHon
2014	J	`jnl`	Testing Noninterference, Quickly. CoRR Catalin Hritcu, Leonidas Lampropoulos, Antal Spector-Zabusky, Arthur Azevedo de Amorim, Maxime Dénès, John Hughes, Benjamin C. Pierce, Dimitrios Vytiniotis
2013	A	`conf`	A Theory of Information-Flow Labels. CSF Benoît Montagu, Benjamin C. Pierce, Randy Pollack
2013	A*	`conf`	All Your IFCException Are Belong to Us. IEEE Symposium on Security and Privacy Catalin Hritcu, Michael Greenberg, Ben Karel, Benjamin C. Pierce, Greg Morrisett
2013	B	`conf`	Dedication. MFPS Stephen Brookes, Benjamin C. Pierce, Gordon D. Plotkin, Dana S. Scott
2013	J	`jnl`	Edit languages for information trees. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. Martin Hofmann, Benjamin C. Pierce, Daniel Wagner
2013	A*	`conf`	Linear dependent types for differential privacy. POPL Marco Gaboardi, Andreas Haeberlen, Justin Hsu, Arjun Narayan, Benjamin C. Pierce
2013	—	`conf`	Sensitivity analysis using type-based constraints. FPCDSL@ICFP Loris D'Antoni, Marco Gaboardi, Emilio Jesús Gallego Arias, Andreas Haeberlen, Benjamin C. Pierce
2013	J	`jnl`	Special Issue Dedicated to ICFP 2011 Editorial. J. Funct. Program. Kenichi Asai, Benjamin C. Pierce
2013	A	`conf`	Testing noninterference, quickly. ICFP Catalin Hritcu, John Hughes, Benjamin C. Pierce, Antal Spector-Zabusky, Dimitrios Vytiniotis, Arthur Azevedo de Amorim, Leonidas Lampropoulos
2012	J	`jnl`	Contracts made manifest. J. Funct. Program. Michael Greenberg, Benjamin C. Pierce, Stephanie Weirich
2012	A*	`conf`	Edit lenses. POPL Martin Hofmann, Benjamin C. Pierce, Daniel Wagner
2012	—	`conf`	Hardware Support for Safety Interlocks and Introspection. SASO Workshops 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
2012	A*	`conf`	Linguistic foundations for bidirectional transformations: invited tutorial. PODS Benjamin C. Pierce
2012	J	`jnl`	Preface. J. Autom. Reason. Benjamin C. Pierce, Stephanie Weirich
2012	—	`ed.`	Proceedings of the 8th ACM SIGPLAN Workshop on Types in Languages Design and Implementation, TLDI 2012, Philadelphia, PA, USA, Saturday, January 28, 2012 TLDI Benjamin C. Pierce
2012	—	`conf`	Verification challenges of pervasive information flow. PLPV Benjamin C. Pierce
2011	A*	`conf`	Differential Privacy Under Fire. USENIX Security Symposium Andreas Haeberlen, Benjamin C. Pierce, Arjun Narayan
2011	A	`conf`	Polymorphic Contracts. ESOP João Filipe Belo, Michael Greenberg, Atsushi Igarashi, Benjamin C. Pierce
2011	—	`conf`	Preliminary design of the SAFE platform. PLOS@SOSP 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
2011	A*	`conf`	Symmetric lenses. POPL Martin Hofmann, Benjamin C. Pierce, Daniel Wagner
2010	A	`conf`	Art, science, and fear. OOPSLA Benjamin C. Pierce
2010	A*	`conf`	Contracts made manifest. POPL Michael Greenberg, Benjamin C. Pierce, Stephanie Weirich
2010	—	`conf`	Differential privacy for collaborative security. EUROSEC Jason Reed, Adam J. Aviv, Daniel Wagner, Andreas Haeberlen, Benjamin C. Pierce, Jonathan M. Smith
2010	A	`conf`	Distance makes the types grow stronger: a calculus for differential privacy. ICFP Jason Reed, Benjamin C. Pierce
2010	—	`conf`	Featherweight Firefox: Formalizing the Core of a Web Browser. WebApps Aaron Bohannon, Benjamin C. Pierce
2010	A	`conf`	Matching lenses: alignment and view update. ICFP Davi M. J. Barbosa, Julien Cretin, Nate Foster, Michael Greenberg, Benjamin C. Pierce
2010	B	`conf`	Proof Assistants as Teaching Assistants: A View from the Trenches. ITP Benjamin C. Pierce
2009	—	`conf`	Foundations for Bidirectional Programming. ICMT@TOOLS Benjamin C. Pierce
2009	A	`conf`	Lambda, the ultimate TA: using a proof assistant to teach programming language foundations. ICFP Benjamin C. Pierce
2009	A*	`ed.`	Proceedings of the 36th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2009, Savannah, GA, USA, January 21-23, 2009 POPL Zhong Shao, Benjamin C. Pierce
2009	A*	`conf`	Reactive noninterference. CCS Aaron Bohannon, Benjamin C. Pierce, Vilhelm Sjöberg, Stephanie Weirich, Steve Zdancewic
2009	A	`conf`	Updatable Security Views. CSF J. Nathan Foster, Benjamin C. Pierce, Steve Zdancewic
2009	—	`ch.`	XML Typechecking. Encyclopedia of Database Systems Véronique Benzaken, Giuseppe Castagna, Haruo Hosoya, Benjamin C. Pierce, Stijn Vansummeren
2008	A*	`conf`	Boomerang: resourceful lenses for string data. POPL Aaron Bohannon, J. Nathan Foster, Benjamin C. Pierce, Alexandre Pilkiewicz, Alan Schmitt
2008	A*	`conf`	Engineering formal metatheory. POPL Brian E. Aydemir, Arthur Charguéraud, Benjamin C. Pierce, Randy Pollack, Stephanie Weirich
2008	A	`conf`	Quotient lenses. ICFP J. Nathan Foster, Alexandre Pilkiewicz, Benjamin C. Pierce
2007	—	`conf`	A Formal Investigation of. FSTTCS Sanjeev Khanna, Keshav Kunal, Benjamin C. Pierce
2007	—	`conf`	A Logic Your Typechecker Can Count On: Unordered Tree Types in Practice. PLAN-X J. Nathan Foster, Benjamin C. Pierce, Alan Schmitt
2007	J	`jnl`	A bisimulation for dynamic sealing. Theor. Comput. Sci. Eijiro Sumii, Benjamin C. Pierce
2007	J	`jnl`	A bisimulation for type abstraction and recursion. J. ACM Eijiro Sumii, Benjamin C. Pierce
2007	—	`conf`	Adventures in Bidirectional Programming. FSTTCS Benjamin C. Pierce
2007	J	`jnl`	Combinators for bidirectional tree transformations: A linguistic approach to the view-update problem. ACM Trans. Program. Lang. Syst. J. Nathan Foster, Michael B. Greenwald, Jonathan T. Moore, Benjamin C. Pierce, Alan Schmitt
2007	J	`jnl`	Exploiting schemas in data synchronization. J. Comput. Syst. Sci. J. Nathan Foster, Michael B. Greenwald, Christian Kirkegaard, Benjamin C. Pierce, Alan Schmitt
2007	J	`jnl`	Preface. J. Funct. Program. Matthew Flatt, Benjamin C. Pierce
2006	A	`conf`	Agreeing to Agree: Conflict Resolution for Optimistically Replicated Data. DISC Michael B. Greenwald, Sanjeev Khanna, Keshav Kunal, Benjamin C. Pierce, Alan Schmitt
2006	A*	`conf`	Relational lenses: a language for updatable views. PODS Aaron Bohannon, Benjamin C. Pierce, Jeffrey A. Vaughan
2006	—	`conf`	Statically Typed Document Transformation: An Xtatic Experience. PLAN-X Vladimir Gapeyev, François Garillot, Benjamin C. Pierce
2006	A	`conf`	The Weird World of Bi-directional Programming. ESOP Benjamin C. Pierce
2006	—	`conf`	XTATIC. PLAN-X Vladimir Gapeyev, Michael Y. Levin, Benjamin C. Pierce, Alan Schmitt
2005	A*	`conf`	A bisimulation for type abstraction and recursion. POPL Eijiro Sumii, Benjamin C. Pierce
2005	A*	`conf`	Combinators for bi-directional tree transformations: a linguistic approach to the view update problem. POPL J. Nathan Foster, Michael B. Greenwald, Jonathan T. Moore, Benjamin C. Pierce, Alan Schmitt
2005	—	`conf`	Exploiting Schemas in Data Synchronization. DBPL J. Nathan Foster, Michael B. Greenwald, Christian Kirkegaard, Benjamin C. Pierce, Alan Schmitt
2005	—	`conf`	Harmony: The Art of Reconciliation. TGC Benjamin C. Pierce
2005	—	`conf`	It Is Time to Mechanize Programming Language Metatheory. VSTTE Benjamin C. Pierce, Peter Sewell, Stephanie Weirich, Steve Zdancewic
2005	—	`conf`	Mechanized Metatheory for the Masses: The PoplMark Challenge. TPHOLs Brian E. Aydemir, Aaron Bohannon, Matthew Fairbairn, J. Nathan Foster, Benjamin C. Pierce, Peter Sewell, Dimitrios Vytiniotis, Geoffrey Washburn, Stephanie Weirich, Steve Zdancewic
2005	A	`ed.`	Proceedings of the 10th ACM SIGPLAN International Conference on Functional Programming, ICFP 2005, Tallinn, Estonia, September 26-28, 2005 ICFP Olivier Danvy, Benjamin C. Pierce
2005	J	`jnl`	Regular expression types for XML. ACM Trans. Program. Lang. Syst. Haruo Hosoya, Jerome Vouillon, Benjamin C. Pierce
2005	—	`conf`	Type-Based Optimization for Regular Patterns. DBPL Michael Y. Levin, Benjamin C. Pierce
2005	B	`conf`	XML Goes Native: Run-Time Representations for Xtatic. CC Vladimir Gapeyev, Michael Y. Levin, Benjamin C. Pierce, Alan Schmitt
2004	A*	`conf`	A bisimulation for dynamic sealing. POPL Eijiro Sumii, Benjamin C. Pierce
2004	J	`jnl`	Guest editorial. ACM Trans. Program. Lang. Syst. Martin Odersky, Benjamin C. Pierce
2003	J	`jnl`	Information and Computation special issue from TACS 2001. Inf. Comput. Naoki Kobayashi, Benjamin C. Pierce
2003	J	`jnl`	Logical Relations for Encryption. J. Comput. Secur. Eijiro Sumii, Benjamin C. Pierce
2003	A	`conf`	Regular Object Types. ECOOP Vladimir Gapeyev, Benjamin C. Pierce
2003	J	`jnl`	Regular expression pattern matching for XML. J. Funct. Program. Haruo Hosoya, Benjamin C. Pierce
2003	—	`ed.`	Software Security -- Theories and Systems, Mext-NSF-JSPS International Symposium, ISSS 2002, Tokyo, Japan, November 8-10, 2002, Revised Papers ISSS Mitsuhiro Okada, Benjamin C. Pierce, Andre Scedrov, Hideyuki Tokuda, Akinori Yonezawa
2003	J	`jnl`	TinkerType: a language for playing with formal systems. J. Funct. Program. Michael Y. Levin, Benjamin C. Pierce
2003	A*	`conf`	Types and Programming Languages: The Next Generation. LICS Benjamin C. Pierce
2003	J	`jnl`	XDuce: A statically typed XML processing language. ACM Trans. Internet Techn. Haruo Hosoya, Benjamin C. Pierce
2002	J	`jnl`	Foundations for Virtual Types. Inf. Comput. Atsushi Igarashi, Benjamin C. Pierce
2002	J	`jnl`	Guest editorial. ACM Trans. Program. Lang. Syst. Kathleen Fisher, Benjamin C. Pierce
2002	J	`jnl`	On Inner Classes. Inf. Comput. Atsushi Igarashi, Benjamin C. Pierce
2002	J	`jnl`	Recursive subtyping revealed. J. Funct. Program. Vladimir Gapeyev, Michael Y. Levin, Benjamin C. Pierce
2002	J	`jnl`	Type Destructors. Inf. Comput. Martin Hofmann, Benjamin C. Pierce
2002	—	`book`	Types and programming languages. Benjamin C. Pierce
2001	J	`jnl`	Featherweight Java: a minimal core calculus for Java and GJ. ACM Trans. Program. Lang. Syst. Atsushi Igarashi, Benjamin C. Pierce, Philip Wadler
2001	—	`conf`	Logical Relations for Encryption. CSFW Eijiro Sumii, Benjamin C. Pierce
2001	A	`ed.`	Proceedings of the Sixth ACM SIGPLAN International Conference on Functional Programming (ICFP '01), Firenze (Florence), Italy, September 3-5, 2001. ICFP Benjamin C. Pierce
2001	A*	`conf`	Regular expression pattern matching for XML. POPL Haruo Hosoya, Benjamin C. Pierce
2001	—	`ed.`	Theoretical Aspects of Computer Software, 4th International Symposium, TACS 2001, Sendai, Japan, October 29-31, 2001, Proceedings TACS Naoki Kobayashi, Benjamin C. Pierce
2001	—	`conf`	Unison: A File Synchronizer and Its Specification. TACS Benjamin C. Pierce, Jerome Vouillon
2000	A	`conf`	Advanced module systems: a guide for the perplexed (abstract of invited talk). ICFP Robert Harper, Benjamin C. Pierce
2000	J	`jnl`	Behavioral equivalence in the polymorphic pi-calculus. J. ACM Benjamin C. Pierce, Davide Sangiorgi
2000	J	`jnl`	Decoding Choice Encodings. Inf. Comput. Uwe Nestmann, Benjamin C. Pierce
2000	J	`jnl`	Local type inference. ACM Trans. Program. Lang. Syst. Benjamin C. Pierce, David N. Turner
2000	A	`conf`	On Inner Classes. ECOOP Atsushi Igarashi, Benjamin C. Pierce
2000	—	`conf`	Pict: a programming language based on the Pi-Calculus. Proof, Language, and Interaction Benjamin C. Pierce, David N. Turner
2000	A	`conf`	Recursive subtyping revealed: functional pearl. ICFP Vladimir Gapeyev, Michael Y. Levin, Benjamin C. Pierce
2000	A	`conf`	Regular expression types for XML. ICFP Haruo Hosoya, Jerome Vouillon, Benjamin C. Pierce
2000	J	`jnl`	The essence of objects. ACM SIGSOFT Softw. Eng. Notes Benjamin C. Pierce
2000	—	`conf`	XDuce: A Typed XML Processing Language (Preliminary Report). WebDB (Informal Proceedings) Haruo Hosoya, Benjamin C. Pierce
2000	—	`conf`	XDuce: A Typed XML Processing Language (Preliminary Report). WebDB (Selected Papers) Haruo Hosoya, Benjamin C. Pierce
1999	J	`jnl`	Comparing Object Encodings. Inf. Comput. Kim B. Bruce, Luca Cardelli, Benjamin C. Pierce
1999	A	`conf`	Featherwieght Java: A Minimal Core Calculus for Java and GJ. OOPSLA Atsushi Igarashi, Benjamin C. Pierce, Philip Wadler
1999	A	`conf`	Foundations for Virtual Types. ECOOP Atsushi Igarashi, Benjamin C. Pierce
1999	J	`jnl`	Foundations of Object-Oriented Languages - Introduction. Theory Pract. Object Syst. Benjamin C. Pierce
1999	J	`jnl`	Linearity and the pi-calculus. ACM Trans. Program. Lang. Syst. Naoki Kobayashi, Benjamin C. Pierce, David N. Turner
1999	—	`conf`	Union Types for Semistructured Data. DBPL Peter Buneman, Benjamin C. Pierce
1998	—	`ed.`	3rd International Workshop on High-Level Concurrent Languages, HLCL 1998, Satellite Workshop of CONCUR 1998, Nice, France, September 12, 1998 HLCL Uwe Nestmann, Benjamin C. Pierce
1998	J	`jnl`	Bounded Existentials and Minimal Typing. Theor. Comput. Sci. Giorgio Ghelli, Benjamin C. Pierce
1998	J	`jnl`	Editorial - Third Workshop on Foundations of Object-Oriented Languages. Theory Pract. Object Syst. Kim B. Bruce, Benjamin C. Pierce
1998	A*	`conf`	Local Type Inference. POPL Benjamin C. Pierce, David N. Turner
1998	—	`conf`	Location-Independent Communication for Mobile Agents: A Two-Level Architecture. ICCL Workshop: Internet Programming Languages Peter Sewell, Pawel T. Wojciechowski, Benjamin C. Pierce
1998	—	`conf`	Preface. HLCL Uwe Nestmann, Benjamin C. Pierce
1998	B	`conf`	Type Systems for Concurrent Calculi (Abstract). CONCUR Benjamin C. Pierce
1998	A*	`conf`	What is a File Synchronizer? MobiCom Sundar Balasubramaniam, Benjamin C. Pierce
1997	A*	`conf`	Behavioral Equivalence in the Polymorphic Pi-calculus. POPL Benjamin C. Pierce, Davide Sangiorgi
1997	—	`conf`	Comparing Object Encodings. TACS Kim B. Bruce, Luca Cardelli, Benjamin C. Pierce
1997	—	`ch.`	Foundational Calculi for Programming Languages. The Computer Science and Engineering Handbook Benjamin C. Pierce
1997	J	`jnl`	Higher-Order Subtyping. Theor. Comput. Sci. Benjamin C. Pierce, Martin Steffen
1997	J	`jnl`	Intersection Types and Bounded Polymorphism. Math. Struct. Comput. Sci. Benjamin C. Pierce
1996	B	`conf`	Decoding Choice Encodings. CONCUR Uwe Nestmann, Benjamin C. Pierce
1996	J	`jnl`	Higher-Order Intersection Types and Multiple Inheritance. Math. Struct. Comput. Sci. Adriana B. Compagnoni, Benjamin C. Pierce
1996	A*	`conf`	Linearity and the Pi-Calculus. POPL Naoki Kobayashi, Benjamin C. Pierce, David N. Turner
1996	J	`jnl`	Positive Subtyping. Inf. Comput. Martin Hofmann, Benjamin C. Pierce
1996	J	`jnl`	Typing and Subtyping for Mobile Processes. Math. Struct. Comput. Sci. Benjamin C. Pierce, Davide Sangiorgi
1995	J	`jnl`	A Unifying Type-Theoretic Framework for Objects. J. Funct. Program. Martin Hofmann, Benjamin C. Pierce
1995	A*	`conf`	Corrigendum: Decidable Bounded Quantification. POPL Giuseppe Castagna, Benjamin C. Pierce
1995	J	`jnl`	Dynamic Typing in Polymorphic Languages. J. Funct. Program. Martín Abadi, Luca Cardelli, Benjamin C. Pierce, Didier Rémy
1995	J	`jnl`	On Binary Methods. Theory Pract. Object Syst. Kim B. Bruce, Luca Cardelli, Giuseppe Castagna, Jonathan Eifrig, Scott F. Smith, Valery Trifonov, Gary T. Leavens, Benjamin C. Pierce
1995	A*	`conf`	Positive Subtyping. POPL Martin Hofmann, Benjamin C. Pierce
1994	A	`conf`	A Unifying Type-Theoretic Framework for Objects. STACS Martin Hofmann, Benjamin C. Pierce
1994	J	`jnl`	Bounded Quantification is Undecidable Inf. Comput. Benjamin C. Pierce
1994	—	`conf`	Concurrent Objects in a Process Calculus. Theory and Practice of Parallel Programming Benjamin C. Pierce
1994	A*	`conf`	Decidable Bounded Quantification. POPL Giuseppe Castagna, Benjamin C. Pierce
1994	—	`conf`	Higher-Order Subtyping. PROCOMET Martin Steffen, Benjamin C. Pierce
1994	J	`jnl`	Simple Type-Theoretic Foundations for Object-Oriented Programming. J. Funct. Program. Benjamin C. Pierce, David N. Turner
1993	—	`conf`	Intersection Types and Bounded Polymorphism. TLCA Benjamin C. Pierce
1993	A*	`conf`	Object-Oriented Programming without Recursive Types. POPL Benjamin C. Pierce, David N. Turner
1993	A*	`conf`	Typing and Subtyping for Mobile Processes LICS Benjamin C. Pierce, Davide Sangiorgi
1992	A*	`conf`	Bounded Quantification is Undecidable. POPL Benjamin C. Pierce
1991	A*	`conf`	A Record Calculus Based on Symmetric Concatenation. POPL Robert Harper, Benjamin C. Pierce
1991	—	`book`	Basic category theory for computer scientists. Benjamin C. Pierce
1991	J	`jnl`	Dynamic Typing in a Statically Typed Language. ACM Trans. Program. Lang. Syst. Martín Abadi, Luca Cardelli, Benjamin C. Pierce, Gordon D. Plotkin
1991	J	`jnl`	Faithful Ideal Models for Recursive Polymorphic Types. Int. J. Found. Comput. Sci. Martín Abadi, Benjamin C. Pierce, Gordon D. Plotkin
1989	A*	`conf`	Dynamic Typing in a Statically-Typed Language. POPL Martín Abadi, Luca Cardelli, Benjamin C. Pierce, Gordon D. Plotkin
1989	A*	`conf`	Faithful Ideal Models for Recursive Polymorphic Types LICS Martín Abadi, Benjamin C. Pierce, Gordon D. Plotkin