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