mgree.bib

@inproceedings{Liargkovas23hs,
  author = {Georgios Liargkovas and Konstantinos Kallas and Michael Greenberg and Nikos Vasilakis},
  title = {Executing Shell Scripts in the Wrong Order, Correctly},
  booktitle = {{HotOS}},
  year = 2023,
  doi = {10.1145/3593856.3595891}
}
@inproceedings{Mastorou23lh2coq,
  author = {Lykourgos Mastorou and Niki Vazou and Michael Greenberg},
  title = {Towards a Translation from Liquid Haskell to Coq},
  booktitle = {{TYPES}},
  year = 2023
}
@inproceedings{Greenberg23clam,
  author = {Greenberg, Michael},
  title = {{Reasoning About Paths in the Interface Graph}},
  booktitle = {Eelco Visser Commemorative Symposium (EVCS 2023)},
  pages = {11:1--11:11},
  series = {Open Access Series in Informatics (OASIcs)},
  isbn = {978-3-95977-267-9},
  issn = {2190-6807},
  year = {2023},
  volume = {109},
  editor = {L\"{a}mmel, Ralf and Mosses, Peter D. and Steimann, Friedrich},
  publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address = {Dagstuhl, Germany},
  url = {https://drops.dagstuhl.de/opus/volltexte/2023/17781},
  urn = {urn:nbn:de:0030-drops-177812},
  doi = {10.4230/OASIcs.EVCS.2023.11}
}
@article{Bembenek23asp,
  author = {Aaron Bembenek and Michael Greenberg and Stephen Chong},
  title = {From {SMT} to {ASP}: Solver-Based Approaches to Solving Datalog Synthesis-as-Rule-Selection Problems},
  year = 2023,
  volume = 7,
  number = {POPL},
  journal = {Proc. ACM Program. Lang.},
  doi = {10.1145/3571200}
}
@article{Cassano23multiple,
  title = {A Scalable and Extensible Approach to Benchmarking {NL2Code} for 18 Programming Languages},
  author = {Federico Cassano and John Gouwar and Daniel Nguyen and Sydney Nguyen and Luna Phipps-Costin and Donald Pinckney and Ming Ho Yee and Yangtian Zi and Carolyn Jane Anderson and Molly Q Feldman and Arjun Guha and Michael Greenberg and Abhinav Jangda},
  journal = {IEEE Transactions on Software Engineering},
  eprint = {2208.08227},
  pages = {1-17},
  doi = {10.1109/TSE.2023.3267446},
  year = 2023
}
@inproceedings{Bembenek22formulog,
  author = {Aaron Bembenek and Michael Greenberg and Stephen Chong},
  title = {Formulog: Datalog + SMT + FP},
  year = 2022,
  booktitle = {Datalog 2.0},
  url = {http://ceur-ws.org/Vol-3203/short2.pdf}
}
@inproceedings{Vazou22funext,
  author = {Niki Vazou and Michael Greenberg},
  title = {How to Safely Use Extensionality in Liquid Haskell},
  year = {2022},
  booktitle = {Haskell Symposium},
  doi = {10.1145/3546189.3549919}
}
@inproceedings{Kallas22pash,
  author = {Konstantinos Kallas and Tammam Mustafa and Jan Bielak and Dimitris Karnikis and Thurston H.Y. Dang and Michael Greenberg and Nikos Vasilakis},
  title = {Practically Correct, Just-in-Time Shell Script Parallelization},
  year = 2022,
  booktitle = {OSDI},
  url = {https://www.usenix.org/conference/osdi22/presentation/kallas}
}
@inproceedings{Greenberg22kmt,
  author = {Michael Greenberg and Ryan Beckett and Eric Campbell},
  title = {Kleene Algebras Modulo Theories: A Framework for Concrete KATs},
  year = 2022,
  booktitle = {PLDI},
  eprint = {1707.02894},
  doi = {10.1145/3519939.3523722}
}
@inproceedings{Greenberg21ffs,
  author = {Michael Greenberg},
  title = {Files-as-Filesystems for POSIX Shell Data Processing},
  year = {2021},
  booktitle = {PLOS},
  doi = {10.1145/3477113.3487265}
}
@article{PhippsCostin21typewhich,
  author = {Luna Phipps-Costin and Carolyn Jane Anderson and Michael Greenberg and Arjun Guha},
  title = {Solver-based Gradual Type Migration},
  publisher = {ACM},
  volume = 5,
  number = {OOPSLA},
  journal = {Proc. ACM Program. Lang.},
  year = 2021,
  doi = {10.1145/3485488}
}
@article{Malewski21adt,
  author = {Stefan Malewski and Michael Greenberg and \'{E}ric Tanter},
  title = {Gradual Algebraic Datatypes},
  publisher = {ACM},
  volume = 5,
  number = {OOPSLA},
  journal = {Proc. ACM Program. Lang.},
  year = 2021,
  doi = {10.1145/3485503}
}
@inproceedings{Greenberg21shell,
  author = {Greenberg, Michael and Kallas, Konstantinos and Vasilakis, Nikos},
  title = {Unix Shell Programming: The next 50 Years},
  year = {2021},
  isbn = {9781450384384},
  publisher = {Association for Computing Machinery},
  address = {New York, NY, USA},
  doi = {10.1145/3458336.3465294},
  booktitle = {Proceedings of the Workshop on Hot Topics in Operating Systems},
  pages = {104–111},
  numpages = {8},
  location = {Ann Arbor, Michigan},
  series = {HotOS '21}
}
@misc{Greenberg21panel,
  author = {Michael Greenberg and Konstantinos Kallas and Nikos Vasilakis and Stephen Kell},
  title = {Report on the "The Future of the Shell" Panel at HotOS 2021},
  year = 2021,
  eprint = {2109.11016}
}
@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},
  volume = 4,
  number = {OOPSLA},
  journal = {Proc. ACM Program. Lang.},
  year = 2020,
  doi = {10.1145/3428209}
}
@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 = {2020},
  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},
  doi = {10.1007/978-3-030-14805-8\_1}
}
@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},
  doi = {10.1145/2934872.2934892}
}
@inproceedings{Beckett16temporal,
  author = {Ryan Beckett and Michael Greenberg and David Walker},
  title = {Temporal {NetKAT}},
  year = {2016},
  booktitle = {PLDI},
  doi = {10.1145/2908080.2908108}
}
@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},
  doi = {10.1145/2628136.2628157}
}
@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},
  doi = {10.1007/978-3-642-19718-5\_2}
}
@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},
  doi = {0.1145/1863543.1863572}
}
@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},
  doi = {10.1145/1706299.1706341}
}
@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},
  doi = {10.1145/1640089.1640091}
}
@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},
  doi = {10.1007/978-3-540-77442-6\_10}
}
@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 = {10.1145/1029894.1029916}
}

This file was generated by bibtex2html 1.99.