mgree.bib

@inproceedings{Greenberg19snapl,
  author = {Michael Greenberg},
  title = {The Dynamic Practice and Static Theory of Gradual Typing},
  year = {2019},
  booktitle = {SNAPL},
  publisher = {LIPIcs}
}
@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}
}
@misc{Beckett18,
  author = {Ryan Beckett and Eric Campbell and Michael Greenberg},
  title = {Kleene Algebras Modulo Theories},
  year = {2018},
  note = {In submission}
}
@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 = {Michael Greenberg},
  title = {Space-Efficient Latent Contracts},
  year = 2016,
  booktitle = {TFP}
}
@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.