@misc{PhippsCostin21typewhich,
author = {Luna Phipps-Costin and Carolyn Jane Anderson and Michael Greenberg and Arjun Guha},
title = {Solver-based Gradual Type Migration},
year = {2021},
note = {In submission.}
}
@misc{Malewski21adt,
author = {Stefan Malewski and Michael Greenberg and \'{E}ric Tanter},
title = {Gradual Algebraic Datatypes},
year = {2021},
note = {In submission.}
}
@misc{Vazou21funext,
author = {Niki Vazou and Michael Greenberg},
title = {Functional Extensionality for Refinement Types},
year = {2021},
note = {In submission.}
}
@misc{Greenberg21kmt,
author = {Michael Greenberg and Ryan Beckett and Eric Campbell},
title = {Kleene Algebras Modulo Theories},
year = {2021},
note = {In submission}
}
@misc{Bembenek20incremental,
title = { Datalog-Based Systems Can Use Incremental SMT Solving },
author = { Aaron Bembenek and Michael Ballantyne and Michael Greenberg and Nada Amin },
year = 2020,
note = {{ICLP, extended abstract}}
}
@article{Bembenek20formulog,
title = { Formulog: Datalog for SMT-based Static Analysis },
author = { Aaron Bembenek and Michael Greenberg and Stephen Chong },
publisher = {Association for Computing Machinery},
address = {New York, NY, USA},
number = {OOPSLA},
journal = {Proc. ACM Program. Lang.},
year = 2020
}
@misc{Greenberg20agtadt,
title = {Gradual Algebraic Data Types},
author = { Michael Greenberg and Stefan Malewski and \'{E}ric Tanter },
year = 2020,
note = {Presented at WGT.}
}
@article{Greenberg20smoosh,
author = {Greenberg, Michael and Blatt, Austin J.},
title = {Executable Formal Semantics for the POSIX Shell},
year = {2019},
issue_date = {December 2019},
publisher = {Association for Computing Machinery},
address = {New York, NY, USA},
volume = {4},
number = {POPL},
url = {https://doi.org/10.1145/3371111},
doi = {10.1145/3371111},
journal = {Proc. ACM Program. Lang.},
month = dec,
articleno = {Article 43},
numpages = {30}
}
@inproceedings{Greenberg19snapl,
author = {Michael Greenberg},
title = {{The Dynamic Practice and Static Theory of Gradual Typing}},
booktitle = {3rd Summit on Advances in Programming Languages (SNAPL 2019)},
pages = {6:1--6:20},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
isbn = {978-3-95977-113-9},
issn = {1868-8969},
year = {2019},
volume = {136},
editor = {Benjamin S. Lerner and Rastislav Bod{\'i}k and Shriram Krishnamurthi},
publisher = {Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
address = {Dagstuhl, Germany},
url = {http://drops.dagstuhl.de/opus/volltexte/2019/10549},
urn = {urn:nbn:de:0030-drops-105495},
doi = {10.4230/LIPIcs.SNAPL.2019.6},
annote = {Keywords: dynamic typing, gradual typing, static typing, implementation, theory, challenge problems}
}
@misc{Greenberg19coqpl,
author = {Michael Greenberg and Joseph C. Osborn},
title = {Teaching Discrete Mathematics to Early Undergraduates with Software Foundations},
year = { 2019 },
note = {CoqPL}
}
@misc{Greenberg18dsl,
author = {Michael Greenberg},
title = {The {POSIX} shell is an interactive {DSL} for concurrency},
year = {2018},
note = {DSLDI}
}
@inproceedings{Greenberg18px,
author = {Michael Greenberg},
title = {Word expansion supports POSIX shell interactivity},
year = {2018},
booktitle = {Programming Companion (presented at Programming eXperience (PX))},
doi = {10.1145/3191697.3214336},
publisher = {ACM}
}
@article{Sekiyama17,
author = {Sekiyama, Taro and Igarashi, Atsushi and Greenberg, Michael},
title = {Polymorphic Manifest Contracts, Revised and Resolved},
journal = {ACM Trans. Program. Lang. Syst.},
issue_date = {February 2017},
volume = {39},
number = {1},
month = feb,
year = {2017},
issn = {0164-0925},
pages = {3:1--3:36},
url = {http://doi.acm.org/10.1145/2994594},
doi = {10.1145/2994594},
acmid = {2994594},
publisher = {ACM}
}
@misc{Greenberg17obt,
author = {Michael Greenberg},
title = {Understanding the POSIX Shell as a Programming Language},
year = {2017},
note = {OBT}
}
@inproceedings{Greenberg16latent,
author = {Greenberg, Michael},
editor = {Van Horn, David and Hughes, John},
title = {Space-Efficient Latent Contracts},
booktitle = {Trends in Functional Programming (2016)},
year = {2019},
publisher = {Springer International Publishing},
address = {Cham},
pages = {3--23},
isbn = {978-3-030-14805-8}
}
@inproceedings{Arashloo16snap,
author = {Mina Tahmasbi Arashloo and Yaron Koral and Michael Greenberg and Jennifer Rexford and and David Walker},
title = {{SNAP}: Stateful Network-Wide Abstractions for Packet Processing},
year = {2016},
booktitle = {SIGCOMM}
}
@inproceedings{Beckett16temporal,
author = {Ryan Beckett and Michael Greenberg and David Walker},
title = {Temporal {NetKAT}},
year = {2016},
booktitle = {PLDI}
}
@misc{Greenberg15hope,
author = {Michael Greenberg},
title = {Combining Manifest Contracts with State},
year = {2015},
note = {HOPE}
}
@inproceedings{Greenberg15space,
author = {Greenberg, Michael},
title = {Space-Efficient Manifest Contracts},
booktitle = {POPL},
year = {2015},
pages = {181--194},
doi = {10.1145/2676726.2676967}
}
@inproceedings{Greenberg15tmpl,
author = {Michael Greenberg and Kathleen Fisher and David Walker},
title = {{Tracking the Flow of Ideas through the Programming Languages Literature}},
booktitle = {SNAPL},
pages = {140--155},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
year = {2015},
volume = {32},
editor = {Thomas Ball and Rastislav Bodik and Shriram Krishnamurthi and Benjamin S. Lerner and Greg Morrisett},
publisher = {Schloss Dagstuhl--Leibniz-Zentrum f\"ur Informatik},
doi = {http://dx.doi.org/10.4230/LIPIcs.SNAPL.2015.140}
}
@misc{Beckett15temporal,
author = {Ryan Beckett and Michael Greenberg and David Walker},
title = {Temporal {NetKAT}},
year = {2015},
note = {PLVNET}
}
@misc{Gaboardi15controllers,
author = {Marco Gaboardi and Michael Greenberg and David Walker},
title = {Type Systems for {SDN} controllers},
year = {2015},
note = {PLVNET}
}
@inproceedings{Schlesinger14cnc,
author = {Cole Schlesinger and Michael Greenberg and David Walker},
title = {Concurrent NetCore: From Policies to Pipelines},
year = {2014},
booktitle = {ICFP}
}
@phdthesis{Greenberg13thesis,
author = {Michael Greenberg},
title = {Manifest Contracts},
year = {2013},
month = {November},
school = {University of Pennsylvania}
}
@article{Borgstrom13bayesian,
author = {Johannes Borgstr{\"{o}}m and
Andrew D. Gordon and
Michael Greenberg and
James Margetson and
Jurgen Van Gael},
title = {Measure Transformer Semantics for Bayesian Machine Learning},
journal = {Logical Methods in Computer Science},
year = {2013},
volume = {9},
number = {3},
url = {http://dx.doi.org/10.2168/LMCS-9(3:11)2013},
doi = {10.2168/LMCS-9(3:11)2013}
}
@inproceedings{Hritcu13nav,
author = {Hritcu, Catalin and Greenberg, Michael and Karel, Ben and Pierce, Benjamin C. and Morrisett, Greg},
booktitle = {Security and Privacy (SP)},
title = {All Your IFCException Are Belong to Us},
year = {2013},
doi = {10.1109/SP.2013.10},
issn = {1081-6011}
}
@unpublished{Greenberg12migration,
author = {Michael Greenberg and Yitzhak Mandelbaum},
title = {Towards a core calculus for implicitly migration-capable applications},
year = {2012},
note = {Submitted to PEPM'12.}
}
@inproceedings{Belo11fh,
author = {Jo\~ao Filipe Belo and Michael Greenberg and Atsushi Igarashi and Benjamin C. Pierce},
title = {Polymorphic Contracts},
year = {2011},
booktitle = {ESOP}
}
@inproceedings{Borgstrom11bayesian,
author = {Johannes Borgstr\"om and Andrew D. Gordon and Michael Greenberg and James Margetson and Jurgen Van Gael},
title = {Measure Transformer Semantics for Bayesian Machine Learning},
year = {2011},
booktitle = {ESOP}
}
@inproceedings{Barbosa10matching,
author = {Davi M. J. Barbosa and Julien Cretin and Nate Foster and Michael Greenberg and Benjamin C. Pierce},
title = {Matching Lenses: Alignment and View Update},
year = {2010},
booktitle = {ICFP}
}
@techreport{Barbosa10matchingtr,
author = {Davi M. J. Barbosa and Julien Cretin and Nate Foster and Michael Greenberg and Benjamin C. Pierce},
title = {Matching Lenses: Alignment and View Update},
year = {2010},
month = {1},
institution = {University of Pennsylvania},
number = {MS-CIS-10-01},
url = {http://repository.upenn.edu/cis_reports/915/}
}
@article{Greenberg12contracts,
author = {Michael Greenberg and Benjamin C. Pierce and Stephanie Weirich},
title = {Contracts Made Manifest},
year = {2012},
journal = {JFP},
volume = {22},
number = {3},
month = {May},
pages = {225--274}
}
@inproceedings{Greenberg10contracts,
author = {Michael Greenberg and Benjamin C. Pierce and Stephanie Weirich},
title = {Contracts Made Manifest},
year = {2010},
booktitle = {POPL}
}
@book{Pierce18sf,
author = {Benjamin C. Pierce and Arthur Azevedo de Amorim and Chris Casinghino and Marco Gaboardi and Michael Greenberg and C\u{a}t\u{a}lin Hri\c{t}cu and Vilhelm Sj\"oberg and Brent Yorgey},
title = {Software Foundations},
year = {2018},
url = {https://softwarefoundations.cis.upenn.edu/},
publisher = {University of Pennsylvania CIS Department}
}
@inproceedings{Meyerovich09flapjax,
author = {Leo Meyerovich and Arjun Guha and Jacob Baskin and Gregory H. Cooper and Michael Greenberg and Aleks Bromfield and Shriram Krishnamurthi},
title = {Flapjax: A Programming Language for Ajax Applications},
year = {2009},
booktitle = {OOPSLA}
}
@inproceedings{Fernandez08genericpadsml,
author = {Mary Fern\'andez and Kathleen Fisher and J. Nathan Foster and Michael Greenberg and Yitzhak Mandelbaum},
title = {A Generic Programming Toolkit for PADS/ML: First-Class Upgrades for Third-Party Developers},
booktitle = {PADL},
pages = {133--149},
year = {2008},
url = {http://www.springerlink.com/content/y2v61801m8273k73}
}
@unpublished{Greenberg07views,
author = {Michael Greenberg},
title = {Declarative, composable views},
year = {2007},
note = {Undergraduate honors thesis at Brown University.}
}
@techreport{Greenberg05margrave,
author = {Michael Greenberg and Casey Marks and Leo Alexander Meyerovich and Michael Carl Tschantz},
title = {The Soundness and Completeness of Margrave with Respect to a Subset of XACML},
year = {2005},
institution = {Brown University},
number = {CS--05--05},
url = {http://www.cs.brown.edu/research/pubs/techreports/reports/CS-05-05.html}
}
@inproceedings{Krishnamurthi04modverif,
author = {Shriram Krishnamurthi and Kathi Fisler and Michael Greenberg},
title = {Verifying aspect advice modularly},
booktitle = {FSE},
year = {2004},
pages = {137--146},
doi = {http://doi.acm.org/10.1145/1029894.1029916}
}
This file was generated by bibtex2html 1.99.