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 - [d2]Harrison Goldstein, Samantha Frohlich, Meng Wang, Benjamin C. Pierce:
Reflecting on Random Generation: Reflective Generators Development and Experiments. Zenodo, 2023
- [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]