@inproceedings{Lamprou25koala,
author = {Evangelos Lamprou and
Ethan Williams and
Georgios Kaoukis and
Zhuoxuan Zhang and
Michael Greenberg and
Konstantinos Kallas and
Lukas Lazarek and
Nikos Vasilakis},
title = {The Koala Benchmarks for the Shell: Characterization and Implications},
booktitle = {Proceedings of the 2025 {USENIX} Annual Technical Conference, {USENIX}
{ATC} 2025, Boston, MA, USA, July 7-9, 2025},
pages = {449--464},
publisher = {{USENIX} Association},
year = {2025},
url = {https://www.usenix.org/conference/atc25/presentation/lamprou}
}
@inproceedings{Lazarek25sash,
author = {Lukas Lazarek and
Seong{-}Heon Jung and
Evangelos Lamprou and
Zekai Li and
Anirudh Narsipur and
Eric Zhao and
Michael Greenberg and
Konstantinos Kallas and
Konstantinos Mamouras and
Nikos Vasilakis},
title = {From Ahead-of- to Just-in-Time and Back Again: Static Analysis for
Unix Shell Programs},
booktitle = {Proceedings of the 2025 Workshop on Hot Topics in Operating Systems,
HotOS 2025, Banff, AB, Canada, May 14-16, 2025},
pages = {88--95},
publisher = {{ACM}},
year = {2025},
url = {https://doi.org/10.1145/3713082.3730395},
doi = {10.1145/3713082.3730395}
}
@article{Bembenek24formulog,
author = {Bembenek, Aaron and Greenberg, Michael and Chong, Stephen},
title = {Making Formulog Fast: An Argument for Unconventional Datalog Evaluation},
year = {2024},
issue_date = {October 2024},
publisher = {Association for Computing Machinery},
address = {New York, NY, USA},
volume = {8},
number = {OOPSLA2},
url = {https://doi.org/10.1145/3689754},
doi = {10.1145/3689754},
journal = {Proc. ACM Program. Lang.},
month = oct,
articleno = {314},
numpages = {30},
keywords = {Datalog, Formulog, SMT solving, compilation, parallel evaluation}
}
@article{Cassano24multiplt,
author = {Cassano, Federico and Gouwar, John and Lucchetti, Francesca and Schlesinger, Claire and Freeman, Anders and Anderson, Carolyn Jane and Feldman, Molly Q and Greenberg, Michael and Jangda, Abhinav and Guha, Arjun},
title = {Knowledge Transfer from High-Resource to Low-Resource Programming Languages for Code LLMs},
year = {2024},
issue_date = {October 2024},
publisher = {Association for Computing Machinery},
address = {New York, NY, USA},
volume = {8},
number = {OOPSLA2},
url = {https://doi.org/10.1145/3689735},
doi = {10.1145/3689735},
journal = {Proc. ACM Program. Lang.},
month = oct,
articleno = {295},
numpages = {32},
keywords = {Large Language Models trained on Code}
}
@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.