default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBenjamin C. Pierce
Person information
- affiliation: University of Pennsylvania, Philadelphia, PA, USA
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[j63]Joseph W. Cutler
, Christopher Watson, Emeka Nkurumeh, Phillip Hilliard, Harrison Goldstein, Caleb Stanford, Benjamin C. Pierce:
Stream Types. Proc. ACM Program. Lang. 8(PLDI): 1412-1436 (2024)- [c105]Harrison Goldstein, Joseph W. Cutler, Daniel Dickstein, Benjamin C. Pierce, Andrew Head:
Property-Based Testing in Practice. ICSE 2024: 187:1-187:13 - [c104]Harrison Goldstein, Jeffrey Tao, Zac Hatfield-Dodds, Benjamin C. Pierce, Andrew Head:
Tyche: Making Sense of PBT Effectiveness. UIST 2024: 10:1-10:16 - [i22]Ernest Ng, Harrison Goldstein, Benjamin C. Pierce:
Mica: Automated Differential Testing for OCaml Modules. CoRR abs/2408.14561 (2024) - 2023
- [j62]Harrison Goldstein, Samantha Frohlich, Meng Wang, Benjamin C. Pierce:
Reflecting on Random Generation. Proc. ACM Program. Lang. 7(ICFP): 322-355 (2023) - [j61]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): 878-894 (2023) - [c103]Sean Noble Anderson, Roberto Blanco, Leonidas Lampropoulos, Benjamin C. Pierce, Andrew Tolmach:
Formalizing Stack Safety as a Security Property. CSF 2023: 356-371 - [c102]Harrison Goldstein, Benjamin C. Pierce, Andrew Head:
Tyche: In Situ Analysis of Random Testing Effectiveness. UIST (Adjunct Volume) 2023: 96:1-96:3 - [i21]Joseph W. Cutler, Christopher Watson, Phillip Hilliard, Harrison Goldstein, Caleb Stanford, Benjamin C. Pierce:
Stream Types. CoRR abs/2307.09553 (2023) - 2022
- [j60]Derek Dreyer, Benjamin C. Pierce:
On being a PhD student of Robert Harper. J. Funct. Program. 32: e3 (2022) - [j59]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(OOPSLA1): 1-31 (2022) - [j58]Harrison Goldstein, Benjamin C. Pierce:
Parsing randomness. Proc. ACM Program. Lang. 6(OOPSLA2): 89-113 (2022) - [c101]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: 106:1-106:5 - [i20]Harrison Goldstein, Benjamin C. Pierce:
Parsing Randomness: Unifying and Differentiating Parsers and Random Generators. CoRR abs/2203.00652 (2022) - 2021
- [c100]Harrison Goldstein, John Hughes, Leonidas Lampropoulos, Benjamin C. Pierce:
Do Judge a Test by its Cover - Combining Combinatorial and Property-Based Testing. ESOP 2021: 264-291 - [c99]Yishuai Li, Benjamin C. Pierce, Steve Zdancewic:
Model-based testing of networked applications. ISSTA 2021: 529-539 - [c98]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: 32:1-32:19 - [d1]Yishuai Li, Benjamin C. Pierce, Steve Zdancewic:
Replication Package for Article: Model-Based Testing of Networked Applications. Zenodo, 2021
- [i19]Yishuai Li, Benjamin C. Pierce, Steve Zdancewic:
Model-Based Testing of Networked Applications. CoRR abs/2102.00378 (2021) - [i18]Stephanie Weirich, Benjamin C. Pierce:
ICFP 2020 Post-Conference Report. CoRR abs/2104.01239 (2021) - [i17]Sean Noble Anderson, Leonidas Lampropoulos, Roberto Blanco, Benjamin C. Pierce, Andrew Tolmach:
Security Properties for Stack Safety. CoRR abs/2105.00417 (2021) - 2020
- [j57]Benjamin C. Pierce, Michael Hicks, Cristina V. Lopes, Jens Palsberg:
Conferences in an era of expensive carbon. Commun. ACM 63(3): 35-37 (2020) - [j56]Hengchu Zhang, Edo Roth, Andreas Haeberlen, Benjamin C. Pierce, Aaron Roth:
Testing differential privacy with dual interpreters. Proc. ACM Program. Lang. 4(OOPSLA): 165:1-165:26 (2020) - [j55]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): 51:1-51:32 (2020) - [c97]Edo Roth, Hengchu Zhang, Andreas Haeberlen, Benjamin C. Pierce:
Orchard: Differentially Private Analytics at Scale. OSDI 2020: 1065-1081 - [i16]Hengchu Zhang, Edo Roth, Andreas Haeberlen, Benjamin C. Pierce, Aaron Roth:
Testing Differential Privacy with Dual Interpreters. CoRR abs/2010.04126 (2020)
2010 – 2019
- 2019
- [j54]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): 93:1-93:28 (2019) - [j53]Anders Miltner, Solomon Maina, Kathleen Fisher, Benjamin C. Pierce, David Walker, Steve Zdancewic:
Synthesizing symmetric lenses. Proc. ACM Program. Lang. 3(ICFP): 95:1-95:28 (2019) - [j52]Leonidas Lampropoulos, Michael Hicks, Benjamin C. Pierce:
Coverage guided, property based testing. Proc. ACM Program. Lang. 3(OOPSLA): 181:1-181:29 (2019) - [c96]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: 234-248 - [i15]Hengchu Zhang, Edo Roth, Andreas Haeberlen, Benjamin C. Pierce, Aaron Roth:
Fuzzi: A Three-Level Logic for Differential Privacy. CoRR abs/1905.12594 (2019) - [i14]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 abs/1906.00046 (2019) - 2018
- [j51]Solomon Maina, Anders Miltner, Kathleen Fisher, Benjamin C. Pierce, David Walker, Steve Zdancewic:
Synthesizing quotient lenses. Proc. ACM Program. Lang. 2(ICFP): 80:1-80:29 (2018) - [j50]Anders Miltner, Kathleen Fisher, Benjamin C. Pierce, David Walker, Steve Zdancewic:
Synthesizing bijective lenses. Proc. ACM Program. Lang. 2(POPL): 1:1-1:30 (2018) - [j49]Leonidas Lampropoulos, Zoe Paraskevopoulou, Benjamin C. Pierce:
Generating good generators for inductive relations. Proc. ACM Program. Lang. 2(POPL): 45:1-45:30 (2018) - [c95]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: 1351-1368 - [c94]Arthur Azevedo de Amorim, Catalin Hritcu, Benjamin C. Pierce:
The Meaning of Memory Safety. POST 2018: 79-105 - [r3]Véronique Benzaken, Giuseppe Castagna, Haruo Hosoya, Benjamin C. Pierce, Stijn Vansummeren:
XML Typechecking. Encyclopedia of Database Systems (2nd ed.) 2018 - [i13]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 abs/1802.00588 (2018) - [i12]Anders Miltner, Solomon Maina, Kathleen Fisher, Benjamin C. Pierce, David Walker, Steve Zdancewic:
Synthesizing Symmetric Lenses. CoRR abs/1810.11527 (2018) - [i11]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 abs/1811.11911 (2018) - 2017
- [j48]Daniel Winograd-Cort, Andreas Haeberlen, Aaron Roth, Benjamin C. Pierce:
A framework for adaptive differential privacy. Proc. ACM Program. Lang. 1(ICFP): 10:1-10:29 (2017) - [c93]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: 114-129 - [i10]Arthur Azevedo de Amorim, Catalin Hritcu, Benjamin C. Pierce:
The Meaning of Memory Safety. CoRR abs/1705.07354 (2017) - [i9]Anders Miltner, Kathleen Fisher, Benjamin C. Pierce, David Walker, Steve Zdancewic:
Synthesizing Bijective Lenses. CoRR abs/1710.03248 (2017) - [i8]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 abs/1710.07308 (2017) - 2016
- [j47]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): 689-734 (2016) - [j46]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: e4 (2016) - [j45]Gilles Barthe, Marco Gaboardi, Justin Hsu, Benjamin C. Pierce:
Programming language techniques for differential privacy. ACM SIGLOG News 3(1): 34-53 (2016) - [c92]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: 45-60 - [c91]Daniel Schoepe, Musard Balliu, Benjamin C. Pierce, Andrei Sabelfeld:
Explicit Secrecy: A Policy for Taint Tracking. EuroS&P 2016: 15-30 - [c90]John Hughes, Benjamin C. Pierce, Thomas Arts, Ulf Norell:
Mysteries of DropBox: Property-Based Testing of a Distributed Synchronization Service. ICST 2016: 135-145 - [c89]Benjamin C. Pierce:
The science of deep specification (keynote). SPLASH (Companion Volume) 2016: 1 - [i7]Yannis Juglaret, Catalin Hritcu, Arthur Azevedo de Amorim, Benjamin C. Pierce:
Beyond Full Abstraction: Formalizing the Security Guarantees of Low-Level Compartmentalization. CoRR abs/1602.04503 (2016) - [i6]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 abs/1607.05443 (2016) - [i5]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 abs/1608.00678 (2016) - 2015
- [j44]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): 49-62 (2015) - [c88]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: 487-502 - [c87]Zoe Paraskevopoulou, Catalin Hritcu, Maxime Dénès, Leonidas Lampropoulos, Benjamin C. Pierce:
Foundational Property-Based Testing. ITP 2015: 325-343 - [c86]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: 813-830 - [i4]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 abs/1509.06503 (2015) - [i3]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 abs/1510.00697 (2015) - 2014
- [c85]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: 398-410 - [c84]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: 8:1-8:8 - [c83]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: 165-178 - [i2]Justin Hsu, Marco Gaboardi, Andreas Haeberlen, Sanjeev Khanna, Arjun Narayan, Benjamin C. Pierce, Aaron Roth:
Differential Privacy: An Economic Method for Choosing Epsilon. CoRR abs/1402.3329 (2014) - [i1]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 abs/1409.0393 (2014) - 2013
- [j43]Martin Hofmann, Benjamin C. Pierce, Daniel Wagner:
Edit languages for information trees. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 57 (2013) - [j42]Kenichi Asai, Benjamin C. Pierce:
Special Issue Dedicated to ICFP 2011 Editorial. J. Funct. Program. 23(4): 355-356 (2013) - [c82]Benoît Montagu, Benjamin C. Pierce, Randy Pollack:
A Theory of Information-Flow Labels. CSF 2013: 3-17 - [c81]Loris D'Antoni, Marco Gaboardi, Emilio Jesús Gallego Arias, Andreas Haeberlen, Benjamin C. Pierce:
Sensitivity analysis using type-based constraints. FPCDSL@ICFP 2013: 43-50 - [c80]Catalin Hritcu, John Hughes, Benjamin C. Pierce, Antal Spector-Zabusky, Dimitrios Vytiniotis, Arthur Azevedo de Amorim, Leonidas Lampropoulos:
Testing noninterference, quickly. ICFP 2013: 455-468 - [c79]Marco Gaboardi, Andreas Haeberlen, Justin Hsu, Arjun Narayan, Benjamin C. Pierce:
Linear dependent types for differential privacy. POPL 2013: 357-370 - [c78]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: 3-17 - [c77]Stephen Brookes, Benjamin C. Pierce, Gordon D. Plotkin, Dana S. Scott:
Dedication. MFPS 2013: 3-5 - 2012
- [j41]Benjamin C. Pierce, Stephanie Weirich:
Preface. J. Autom. Reason. 49(3): 301-302 (2012) - [j40]Michael Greenberg, Benjamin C. Pierce, Stephanie Weirich:
Contracts made manifest. J. Funct. Program. 22(3): 225-274 (2012) - [c76]Benjamin C. Pierce:
Verification challenges of pervasive information flow. PLPV 2012: 1-2 - [c75]Benjamin C. Pierce:
Linguistic foundations for bidirectional transformations: invited tutorial. PODS 2012: 61-64 - [c74]Martin Hofmann, Benjamin C. Pierce, Daniel Wagner:
Edit lenses. POPL 2012: 495-508 - [c73]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: 1-8 - [e7]Benjamin C. Pierce:
Proceedings of the 8th ACM SIGPLAN Workshop on Types in Languages Design and Implementation, TLDI 2012, Philadelphia, PA, USA, Saturday, January 28, 2012. ACM 2012, ISBN 978-1-4503-1120-5 [contents] - 2011
- [c72]João Filipe Belo, Michael Greenberg, Atsushi Igarashi, Benjamin C. Pierce:
Polymorphic Contracts. ESOP 2011: 18-37 - [c71]Martin Hofmann, Benjamin C. Pierce, Daniel Wagner:
Symmetric lenses. POPL 2011: 371-384 - [c70]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: 4:1-4:5 - [c69]Andreas Haeberlen, Benjamin C. Pierce, Arjun Narayan:
Differential Privacy Under Fire. USENIX Security Symposium 2011 - 2010
- [c68]Jason Reed, Adam J. Aviv, Daniel Wagner, Andreas Haeberlen, Benjamin C. Pierce, Jonathan M. Smith:
Differential privacy for collaborative security. EUROSEC 2010: 1-7 - [c67]Jason Reed, Benjamin C. Pierce:
Distance makes the types grow stronger: a calculus for differential privacy. ICFP 2010: 157-168 - [c66]Davi M. J. Barbosa, Julien Cretin, Nate Foster, Michael Greenberg, Benjamin C. Pierce:
Matching lenses: alignment and view update. ICFP 2010: 193-204 - [c65]Benjamin C. Pierce:
Proof Assistants as Teaching Assistants: A View from the Trenches. ITP 2010: 8 - [c64]Benjamin C. Pierce:
Art, science, and fear. OOPSLA 2010: 2 - [c63]Michael Greenberg, Benjamin C. Pierce, Stephanie Weirich:
Contracts made manifest. POPL 2010: 353-364 - [c62]Aaron Bohannon, Benjamin C. Pierce:
Featherweight Firefox: Formalizing the Core of a Web Browser. WebApps 2010
2000 – 2009
- 2009
- [c61]Aaron Bohannon, Benjamin C. Pierce, Vilhelm Sjöberg, Stephanie Weirich, Steve Zdancewic:
Reactive noninterference. CCS 2009: 79-90 - [c60]J. Nathan Foster, Benjamin C. Pierce, Steve Zdancewic:
Updatable Security Views. CSF 2009: 60-74 - [c59]Benjamin C. Pierce:
Lambda, the ultimate TA: using a proof assistant to teach programming language foundations. ICFP 2009: 121-122 - [c58]Benjamin C. Pierce:
Foundations for Bidirectional Programming. ICMT@TOOLS 2009: 1-3 - [e6]Zhong Shao, Benjamin C. Pierce:
Proceedings of the 36th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2009, Savannah, GA, USA, January 21-23, 2009. ACM 2009, ISBN 978-1-60558-379-2 [contents] - [r2]Véronique Benzaken, Giuseppe Castagna, Haruo Hosoya, Benjamin C. Pierce, Stijn Vansummeren:
XML Typechecking. Encyclopedia of Database Systems 2009: 3646-3650 - 2008
- [c57]J. Nathan Foster, Alexandre Pilkiewicz, Benjamin C. Pierce:
Quotient lenses. ICFP 2008: 383-396 - [c56]Brian E. Aydemir, Arthur Charguéraud, Benjamin C. Pierce, Randy Pollack, Stephanie Weirich:
Engineering formal metatheory. POPL 2008: 3-15 - [c55]Aaron Bohannon, J. Nathan Foster, Benjamin C. Pierce, Alexandre Pilkiewicz, Alan Schmitt:
Boomerang: resourceful lenses for string data. POPL 2008: 407-419 - 2007
- [j39]Eijiro Sumii, Benjamin C. Pierce:
A bisimulation for type abstraction and recursion. J. ACM 54(5): 26 (2007) - [j38]J. Nathan Foster, Michael B. Greenwald, Christian Kirkegaard, Benjamin C. Pierce, Alan Schmitt:
Exploiting schemas in data synchronization. J. Comput. Syst. Sci. 73(4): 669-689 (2007) - [j37]Matthew Flatt, Benjamin C. Pierce:
Preface. J. Funct. Program. 17(4-5): 431 (2007) - [j36]Eijiro Sumii, Benjamin C. Pierce:
A bisimulation for dynamic sealing. Theor. Comput. Sci. 375(1-3): 169-192 (2007) - [j35]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): 17 (2007) - [c54]Benjamin C. Pierce:
Adventures in Bidirectional Programming. FSTTCS 2007: 21-22 - [c53]Sanjeev Khanna, Keshav Kunal, Benjamin C. Pierce:
A Formal Investigation of. FSTTCS 2007: 485-496 - [c52]J. Nathan Foster, Benjamin C. Pierce, Alan Schmitt:
A Logic Your Typechecker Can Count On: Unordered Tree Types in Practice. PLAN-X 2007: 80-90 - 2006
- [c51]Benjamin C. Pierce:
The Weird World of Bi-directional Programming. ESOP 2006: 342-342 - [c50]Vladimir Gapeyev, François Garillot, Benjamin C. Pierce:
Statically Typed Document Transformation: An Xtatic Experience. PLAN-X 2006: 2-13 - [c49]Vladimir Gapeyev, Michael Y. Levin, Benjamin C. Pierce, Alan Schmitt:
XTATIC. PLAN-X 2006: 88 - [c48]Aaron Bohannon, Benjamin C. Pierce, Jeffrey A. Vaughan:
Relational lenses: a language for updatable views. PODS 2006: 338-347 - [c47]Michael B. Greenwald, Sanjeev Khanna, Keshav Kunal, Benjamin C. Pierce, Alan Schmitt:
Agreeing to Agree: Conflict Resolution for Optimistically Replicated Data. DISC 2006: 269-283 - 2005
- [j34]Haruo Hosoya, Jerome Vouillon, Benjamin C. Pierce:
Regular expression types for XML. ACM Trans. Program. Lang. Syst. 27(1): 46-90 (2005) - [c46]Vladimir Gapeyev, Michael Y. Levin, Benjamin C. Pierce, Alan Schmitt:
XML Goes Native: Run-Time Representations for Xtatic. CC 2005: 43-58 - [c45]J. Nathan Foster, Michael B. Greenwald, Christian Kirkegaard, Benjamin C. Pierce, Alan Schmitt:
Exploiting Schemas in Data Synchronization. DBPL 2005: 42-57 - [c44]Michael Y. Levin, Benjamin C. Pierce:
Type-Based Optimization for Regular Patterns. DBPL 2005: 184-198 - [c43]Eijiro Sumii, Benjamin C. Pierce:
A bisimulation for type abstraction and recursion. POPL 2005: 63-74 - [c42]J. Nathan Foster, Michael B. Greenwald, Jonathan T. Moore, Benjamin C. Pierce, Alan Schmitt:
Combinators for bi-directional tree transformations: a linguistic approach to the view update problem. POPL 2005: 233-246 - [c41]Benjamin C. Pierce:
Harmony: The Art of Reconciliation. TGC 2005: 1 - [c40]Brian E. Aydemir, Aaron Bohannon, Matthew Fairbairn, J. Nathan Foster, Benjamin C. Pierce, Peter Sewell, Dimitrios Vytiniotis, Geoffrey Washburn, Stephanie Weirich, Steve Zdancewic:
Mechanized Metatheory for the Masses: The PoplMark Challenge. TPHOLs 2005: 50-65 - [c39]Benjamin C. Pierce, Peter Sewell, Stephanie Weirich, Steve Zdancewic:
It Is Time to Mechanize Programming Language Metatheory. VSTTE 2005: 26-30 - [e5]Olivier Danvy, Benjamin C. Pierce:
Proceedings of the 10th ACM SIGPLAN International Conference on Functional Programming, ICFP 2005, Tallinn, Estonia, September 26-28, 2005. ACM 2005, ISBN 1-59593-064-7 [contents] - 2004
- [j33]Martin Odersky, Benjamin C. Pierce:
Guest editorial. ACM Trans. Program. Lang. Syst. 26(5): 767-768 (2004) - [c38]Eijiro Sumii, Benjamin C. Pierce:
A bisimulation for dynamic sealing. POPL 2004: 161-172 - 2003
- [j32]Naoki Kobayashi, Benjamin C. Pierce:
Information and Computation special issue from TACS 2001. Inf. Comput. 186(2): 163-164 (2003) - [j31]Eijiro Sumii, Benjamin C. Pierce:
Logical Relations for Encryption. J. Comput. Secur. 11(4): 521-554 (2003) - [j30]Michael Y. Levin, Benjamin C. Pierce:
TinkerType: a language for playing with formal systems. J. Funct. Program. 13(2): 295-316 (2003) - [j29]Haruo Hosoya, Benjamin C. Pierce:
Regular expression pattern matching for XML. J. Funct. Program. 13(6): 961-1004 (2003) - [j28]Haruo Hosoya, Benjamin C. Pierce:
XDuce: A statically typed XML processing language. ACM Trans. Internet Techn. 3(2): 117-148 (2003) - [c37]Vladimir Gapeyev, Benjamin C. Pierce:
Regular Object Types. ECOOP 2003: 151-175 - [c36]Benjamin C. Pierce:
Types and Programming Languages: The Next Generation. LICS 2003: 32- - [e4]Mitsuhiro Okada, Benjamin C. Pierce, Andre Scedrov, Hideyuki Tokuda, Akinori Yonezawa:
Software Security -- Theories and Systems, Mext-NSF-JSPS International Symposium, ISSS 2002, Tokyo, Japan, November 8-10, 2002, Revised Papers. Lecture Notes in Computer Science 2609, Springer 2003, ISBN 3-540-00708-3 [contents] - 2002
- [b2]Benjamin C. Pierce:
Types and programming languages. MIT Press 2002, ISBN 978-0-262-16209-8, pp. I-XXI, 1-623 - [j27]Martin Hofmann, Benjamin C. Pierce:
Type Destructors. Inf. Comput. 172(1): 29-62 (2002) - [j26]Atsushi Igarashi, Benjamin C. Pierce:
Foundations for Virtual Types. Inf. Comput. 175(1): 34-49 (2002) - [j25]Atsushi Igarashi, Benjamin C. Pierce:
On Inner Classes. Inf. Comput. 177(1): 56-89 (2002) - [j24]Vladimir Gapeyev, Michael Y. Levin, Benjamin C. Pierce:
Recursive subtyping revealed. J. Funct. Program. 12(6): 511-548 (2002) - [j23]Kathleen Fisher, Benjamin C. Pierce:
Guest editorial. ACM Trans. Program. Lang. Syst. 24(2): 111 (2002) - 2001
- [j22]Atsushi Igarashi, Benjamin C. Pierce, Philip Wadler:
Featherweight Java: a minimal core calculus for Java and GJ. ACM Trans. Program. Lang. Syst. 23(3): 396-450 (2001) - [c35]Eijiro Sumii, Benjamin C. Pierce:
Logical Relations for Encryption. CSFW 2001: 256-269 - [c34]Haruo Hosoya, Benjamin C. Pierce:
Regular expression pattern matching for XML. POPL 2001: 67-80 - [c33]Benjamin C. Pierce, Jerome Vouillon:
Unison: A File Synchronizer and Its Specification. TACS 2001: 560 - [e3]Benjamin C. Pierce:
Proceedings of the Sixth ACM SIGPLAN International Conference on Functional Programming (ICFP '01), Firenze (Florence), Italy, September 3-5, 2001. ACM 2001, ISBN 1-58113-415-0 [contents] - [e2]Naoki Kobayashi, Benjamin C. Pierce:
Theoretical Aspects of Computer Software, 4th International Symposium, TACS 2001, Sendai, Japan, October 29-31, 2001, Proceedings. Lecture Notes in Computer Science 2215, Springer 2001, ISBN 3-540-42736-8 [contents] - 2000
- [j21]Uwe Nestmann, Benjamin C. Pierce:
Decoding Choice Encodings. Inf. Comput. 163(1): 1-59 (2000) - [j20]Benjamin C. Pierce, Davide Sangiorgi:
Behavioral equivalence in the polymorphic pi-calculus. J. ACM 47(3): 531-584 (2000) - [j19]Benjamin C. Pierce:
The essence of objects. ACM SIGSOFT Softw. Eng. Notes 25(1): 69-71 (2000) - [j18]Benjamin C. Pierce, David N. Turner:
Local type inference. ACM Trans. Program. Lang. Syst. 22(1): 1-44 (2000) - [c32]Benjamin C. Pierce, David N. Turner:
Pict: a programming language based on the Pi-Calculus. Proof, Language, and Interaction 2000: 455-494 - [c31]Atsushi Igarashi, Benjamin C. Pierce:
On Inner Classes. ECOOP 2000: 129-153 - [c30]Haruo Hosoya, Jerome Vouillon, Benjamin C. Pierce:
Regular expression types for XML. ICFP 2000: 11-22 - [c29]Robert Harper, Benjamin C. Pierce:
Advanced module systems: a guide for the perplexed (abstract of invited talk). ICFP 2000: 130 - [c28]Vladimir Gapeyev, Michael Y. Levin, Benjamin C. Pierce:
Recursive subtyping revealed: functional pearl. ICFP 2000: 221-231 - [c27]Haruo Hosoya, Benjamin C. Pierce:
XDuce: A Typed XML Processing Language (Preliminary Report). WebDB (Informal Proceedings) 2000: 111-116 - [c26]Haruo Hosoya, Benjamin C. Pierce:
XDuce: A Typed XML Processing Language (Preliminary Report). WebDB (Selected Papers) 2000: 226-244
1990 – 1999
- 1999
- [j17]Kim B. Bruce, Luca Cardelli, Benjamin C. Pierce:
Comparing Object Encodings. Inf. Comput. 155(1-2): 108-133 (1999) - [j16]Benjamin C. Pierce:
Foundations of Object-Oriented Languages - Introduction. Theory Pract. Object Syst. 5(1): 1 (1999) - [j15]Naoki Kobayashi, Benjamin C. Pierce, David N. Turner:
Linearity and the pi-calculus. ACM Trans. Program. Lang. Syst. 21(5): 914-947 (1999) - [c25]Peter Buneman, Benjamin C. Pierce:
Union Types for Semistructured Data. DBPL 1999: 184-207 - [c24]Atsushi Igarashi, Benjamin C. Pierce:
Foundations for Virtual Types. ECOOP 1999: 161-185 - [c23]Atsushi Igarashi, Benjamin C. Pierce, Philip Wadler:
Featherwieght Java: A Minimal Core Calculus for Java and GJ. OOPSLA 1999: 132-146 - 1998
- [j14]Kim B. Bruce, Benjamin C. Pierce:
Editorial - Third Workshop on Foundations of Object-Oriented Languages. Theory Pract. Object Syst. 4(1): 1 (1998) - [j13]Giorgio Ghelli, Benjamin C. Pierce:
Bounded Existentials and Minimal Typing. Theor. Comput. Sci. 193(1-2): 75-96 (1998) - [c22]Benjamin C. Pierce:
Type Systems for Concurrent Calculi (Abstract). CONCUR 1998: 364-365 - [c21]Peter Sewell, Pawel T. Wojciechowski, Benjamin C. Pierce:
Location-Independent Communication for Mobile Agents: A Two-Level Architecture. ICCL Workshop: Internet Programming Languages 1998: 1-31 - [c20]Sundar Balasubramaniam, Benjamin C. Pierce:
What is a File Synchronizer? MobiCom 1998: 98-108 - [c19]Benjamin C. Pierce, David N. Turner:
Local Type Inference. POPL 1998: 252-265 - [c18]Uwe Nestmann, Benjamin C. Pierce:
Preface. HLCL 1998: 291 - [e1]Uwe Nestmann, Benjamin C. Pierce:
3rd International Workshop on High-Level Concurrent Languages, HLCL 1998, Satellite Workshop of CONCUR 1998, Nice, France, September 12, 1998. Electronic Notes in Theoretical Computer Science 16(3), Elsevier 1998 [contents] - 1997
- [j12]Benjamin C. Pierce:
Intersection Types and Bounded Polymorphism. Math. Struct. Comput. Sci. 7(2): 129-193 (1997) - [j11]Benjamin C. Pierce, Martin Steffen:
Higher-Order Subtyping. Theor. Comput. Sci. 176(1-2): 235-282 (1997) - [c17]Benjamin C. Pierce, Davide Sangiorgi:
Behavioral Equivalence in the Polymorphic Pi-calculus. POPL 1997: 242-255 - [c16]Kim B. Bruce, Luca Cardelli, Benjamin C. Pierce:
Comparing Object Encodings. TACS 1997: 415-438 - [r1]Benjamin C. Pierce:
Foundational Calculi for Programming Languages. The Computer Science and Engineering Handbook 1997: 2190-2207 - 1996
- [j10]Martin Hofmann, Benjamin C. Pierce:
Positive Subtyping. Inf. Comput. 126(1): 11-33 (1996) - [j9]Benjamin C. Pierce, Davide Sangiorgi:
Typing and Subtyping for Mobile Processes. Math. Struct. Comput. Sci. 6(5): 409-453 (1996) - [j8]Adriana B. Compagnoni, Benjamin C. Pierce:
Higher-Order Intersection Types and Multiple Inheritance. Math. Struct. Comput. Sci. 6(5): 469-501 (1996) - [c15]Uwe Nestmann, Benjamin C. Pierce:
Decoding Choice Encodings. CONCUR 1996: 179-194 - [c14]Naoki Kobayashi, Benjamin C. Pierce, David N. Turner:
Linearity and the Pi-Calculus. POPL 1996: 358-371 - 1995
- [j7]Martín Abadi, Luca Cardelli, Benjamin C. Pierce, Didier Rémy:
Dynamic Typing in Polymorphic Languages. J. Funct. Program. 5(1): 111-130 (1995) - [j6]Martin Hofmann, Benjamin C. Pierce:
A Unifying Type-Theoretic Framework for Objects. J. Funct. Program. 5(4): 593-635 (1995) - [j5]Kim B. Bruce, Luca Cardelli, Giuseppe Castagna, Jonathan Eifrig, Scott F. Smith, Valery Trifonov, Gary T. Leavens, Benjamin C. Pierce:
On Binary Methods. Theory Pract. Object Syst. 1(3): 221-242 (1995) - [c13]Martin Hofmann, Benjamin C. Pierce:
Positive Subtyping. POPL 1995: 186-197 - [c12]Giuseppe Castagna, Benjamin C. Pierce:
Corrigendum: Decidable Bounded Quantification. POPL 1995: 408 - 1994
- [j4]Benjamin C. Pierce:
Bounded Quantification is Undecidable. Inf. Comput. 112(1): 131-165 (1994) - [j3]Benjamin C. Pierce, David N. Turner:
Simple Type-Theoretic Foundations for Object-Oriented Programming. J. Funct. Program. 4(2): 207-247 (1994) - [c11]Giuseppe Castagna, Benjamin C. Pierce:
Decidable Bounded Quantification. POPL 1994: 151-162 - [c10]Martin Steffen, Benjamin C. Pierce:
Higher-Order Subtyping. PROCOMET 1994: 511-530 - [c9]Martin Hofmann, Benjamin C. Pierce:
A Unifying Type-Theoretic Framework for Objects. STACS 1994: 251-262 - [c8]Benjamin C. Pierce:
Concurrent Objects in a Process Calculus. Theory and Practice of Parallel Programming 1994: 187-215 - 1993
- [c7]Benjamin C. Pierce, Davide Sangiorgi:
Typing and Subtyping for Mobile Processes. LICS 1993: 376-385 - [c6]Benjamin C. Pierce, David N. Turner:
Object-Oriented Programming without Recursive Types. POPL 1993: 299-312 - [c5]Benjamin C. Pierce:
Intersection Types and Bounded Polymorphism. TLCA 1993: 346-360 - 1992
- [c4]Benjamin C. Pierce:
Bounded Quantification is Undecidable. POPL 1992: 305-315 - 1991
- [b1]Benjamin C. Pierce:
Basic category theory for computer scientists. Foundations of computing, MIT Press 1991, ISBN 978-0-262-66071-6, pp. I-XIII, 1-100 - [j2]Martín Abadi, Benjamin C. Pierce, Gordon D. Plotkin:
Faithful Ideal Models for Recursive Polymorphic Types. Int. J. Found. Comput. Sci. 2(1): 1-21 (1991) - [j1]Martín Abadi, Luca Cardelli, Benjamin C. Pierce, Gordon D. Plotkin:
Dynamic Typing in a Statically Typed Language. ACM Trans. Program. Lang. Syst. 13(2): 237-268 (1991) - [c3]Robert Harper, Benjamin C. Pierce:
A Record Calculus Based on Symmetric Concatenation. POPL 1991: 131-142
1980 – 1989
- 1989
- [c2]Martín Abadi, Benjamin C. Pierce, Gordon D. Plotkin:
Faithful Ideal Models for Recursive Polymorphic Types. LICS 1989: 216-225 - [c1]Martín Abadi, Luca Cardelli, Benjamin C. Pierce, Gordon D. Plotkin:
Dynamic Typing in a Statically-Typed Language. POPL 1989: 213-227
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-23 21:28 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
