Michael Greenberg
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
21
Venues
14
Active years
1987–2025
Best venue rank
A*
Where they publish
Papers
21 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | HotOS | From Ahead-of- to Just-in-Time and Back Again: Static Analysis for Unix Shell Programs. | Lukas Lazarek, Seong-Heon Jung, Evangelos Lamprou, Zekai Li, Anirudh Narsipur, Eric Zhao, Michael Greenberg, Konstantinos Kallas, Konstantinos Mamouras, Nikos Vasilakis |
| 2025 | USENIX | The Koala Benchmarks for the Shell: Characterization and Implications. | Evangelos Lamprou, Ethan Williams, Georgios Kaoukis, Zhuoxuan Zhang, Michael Greenberg, Konstantinos Kallas, Lukas Lazarek, Nikos Vasilakis |
| 2023 | HotOS | Executing Shell Scripts in the Wrong Order, Correctly. | Georgios Liargkovas, Konstantinos Kallas, Michael Greenberg, Nikos Vasilakis |
| 2022 | HASKELL | How to safely use extensionality in Liquid Haskell. | Niki Vazou, Michael Greenberg |
| 2022 | OSDI | Practically Correct, Just-in-Time Shell Script Parallelization. | Konstantinos Kallas, Tammam Mustafa, Jan Bielak, Dimitris Karnikis, Thurston H. Y. Dang, Michael Greenberg, Nikos Vasilakis |
| 2022 | PLDI | Kleene algebra modulo theories: a framework for concrete KATs. | Michael Greenberg, Ryan Beckett, Eric Hayden Campbell |
| 2021 | HotOS | The future of the shell: Unix and beyond. | Michael Greenberg, Konstantinos Kallas, Nikos Vasilakis |
| 2021 | HotOS | Unix shell programming: the next 50 years. | Michael Greenberg, Konstantinos Kallas, Nikos Vasilakis |
| 2021 | SOSP | Files-as-Filesystems for POSIX Shell Data Processing. | Michael Greenberg |
| 2016 | PLDI | Temporal NetKAT. | Ryan Beckett, Michael Greenberg, David Walker |
| 2016 | SIGCOMM | SNAP: Stateful Network-Wide Abstractions for Packet Processing. | Mina Tahmasbi Arashloo, Yaron Koral, Michael Greenberg, Jennifer Rexford, David Walker |
| 2015 | POPL | Space-Efficient Manifest Contracts. | Michael Greenberg |
| 2014 | ICFP | Concurrent NetCore: from policies to pipelines. | Cole Schlesinger, Michael Greenberg, David Walker |
| 2013 | SP | All Your IFCException Are Belong to Us. | Catalin Hritcu, Michael Greenberg, Ben Karel, Benjamin C. Pierce, Greg Morrisett |
| 2011 | ESOP | Polymorphic Contracts. | Joo Filipe Belo, Michael Greenberg, Atsushi Igarashi, Benjamin C. Pierce |
| 2011 | ESOP | Measure Transformer Semantics for Bayesian Machine Learning. | Johannes Borgstrm, Andrew D. Gordon, Michael Greenberg, James Margetson, Jurgen Van Gael |
| 2010 | ICFP | Matching lenses: alignment and view update. | Davi M. J. Barbosa, Julien Cretin, Nate Foster, Michael Greenberg, Benjamin C. Pierce |
| 2010 | POPL | Contracts made manifest. | Michael Greenberg, Benjamin C. Pierce, Stephanie Weirich |
| 2009 | OOPSLA | Flapjax: a programming language for Ajax applications. | Leo A. Meyerovich, Arjun Guha, Jacob P. Baskin, Gregory H. Cooper, Michael Greenberg, Aleks Bromfield, Shriram Krishnamurthi |
| 2008 | PADL | A Generic Programming Toolkit for PADS/ML: First-Class Upgrades for Third-Party Developers. | Mary F. Fernndez, Kathleen Fisher, J. Nathan Foster, Michael Greenberg, Yitzhak Mandelbaum |
| 1987 | AAAI | MU: A Development Environment for Prospective Reasoning Systems. | Paul R. Cohen, Michael Greenberg, Jefferson DeLisio |