mgree.bib

@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.