Michael Greenberg

Publication Activity (10 Years)

Years Active: 2004-2023
Publications (10 Years): 31

Top Topics

Static Analysis

Programming Language

Modulo Theories

Top Venues

Proc. ACM Program. Lang.

Publications

Michael Greenberg
Reasoning About Paths in the Interface Graph. Eelco Visser Commemorative Symposium (2023)
Federico Cassano, John Gouwar, Daniel Nguyen, Sydney Nguyen, Luna Phipps-Costin, Donald Pinckney, Ming-Ho Yee, Yangtian Zi, Carolyn Jane Anderson, Molly Q. Feldman, Arjun Guha, Michael Greenberg, Abhinav Jangda
MultiPL-E: A Scalable and Polyglot Approach to Benchmarking Neural Code Generation. IEEE Trans. Software Eng. 49 (7) (2023)
Georgios Liargkovas, Konstantinos Kallas, Michael Greenberg, Nikos Vasilakis
Executing Shell Scripts in the Wrong Order, Correctly. HotOS (2023)
Federico Cassano, John Gouwar, Francesca Lucchetti, Claire Schlesinger, Carolyn Jane Anderson, Michael Greenberg, Abhinav Jangda, Arjun Guha
Knowledge Transfer from High-Resource to Low-Resource Programming Languages for Code LLMs. CoRR (2023)
Aaron Bembenek, Michael Greenberg, Stephen Chong
From SMT to ASP: Solver-Based Approaches to Solving Datalog Synthesis-as-Rule-Selection Problems. Proc. ACM Program. Lang. 7 (POPL) (2023)
Konstantinos Kallas, Tammam Mustafa, Jan Bielak, Dimitris Karnikis, Thurston H. Y. Dang, Michael Greenberg, Nikos Vasilakis
Practically Correct, Just-in-Time Shell Script Parallelization. OSDI (2022)
Aaron Bembenek, Michael Greenberg, Stephen Chong
Formulog: Datalog + SMT + FP. Datalog (2022)
Michael Greenberg, Ryan Beckett, Eric Hayden Campbell
Kleene algebra modulo theories: a framework for concrete KATs. PLDI (2022)
Federico Cassano, John Gouwar, Daniel Nguyen, Sydney Nguyen, Luna Phipps-Costin, Donald Pinckney, Ming Ho Yee, Yangtian Zi, Carolyn Jane Anderson, Molly Q. Feldman, Arjun Guha, Michael Greenberg, Abhinav Jangda
A Scalable and Extensible Approach to Benchmarking NL2Code for 18 Programming Languages. CoRR (2022)
Niki Vazou, Michael Greenberg
How to safely use extensionality in Liquid Haskell. Haskell (2022)
Niki Vazou, Michael Greenberg
Functional Extensionality for Refinement Types. CoRR (2021)
Luna Phipps-Costin, Carolyn Jane Anderson, Michael Greenberg, Arjun Guha
Solver-based gradual type migration. Proc. ACM Program. Lang. 5 (OOPSLA) (2021)
Luna Phipps-Costin, Carolyn Jane Anderson, Michael Greenberg, Arjun Guha
Solver-based Gradual Type Migration. CoRR (2021)
Michael Greenberg, Konstantinos Kallas, Nikos Vasilakis
Unix shell programming: the next 50 years. HotOS (2021)
Stefan Malewski, Michael Greenberg, Éric Tanter
Gradually structured data. Proc. ACM Program. Lang. 5 (OOPSLA) (2021)
Eric Hayden Campbell, Michael Greenberg
Injecting Finiteness to Prove Completeness for Finite Linear Temporal Logic. CoRR (2021)
Michael Greenberg
Files-as-Filesystems for POSIX Shell Data Processing. PLOS@SOSP (2021)
Michael Greenberg, Konstantinos Kallas, Nikos Vasilakis, Stephen Kell
Report on the "The Future of the Shell" Panel at HotOS 2021. CoRR (2021)
Michael Greenberg, Konstantinos Kallas, Nikos Vasilakis
The future of the shell: Unix and beyond. HotOS (2021)
Aaron Bembenek, Michael Greenberg, Stephen Chong
Formulog: Datalog for SMT-based static analysis. Proc. ACM Program. Lang. 4 (OOPSLA) (2020)
Aaron Bembenek, Michael Greenberg, Stephen Chong
Formulog: Datalog for SMT-Based Static Analysis (Extended Version). CoRR (2020)
Michael Greenberg, Austin J. Blatt
Executable formal semantics for the POSIX shell. Proc. ACM Program. Lang. 4 (POPL) (2020)
Michael Greenberg, Austin J. Blatt
Executable formal semantics for the POSIX shell. CoRR (2019)
Michael Greenberg
The Dynamic Practice and Static Theory of Gradual Typing. SNAPL (2019)
Michael Greenberg
Word expansion supports POSIX shell interactivity. Programming (2018)
Taro Sekiyama, Atsushi Igarashi, Michael Greenberg
Polymorphic Manifest Contracts, Revised and Resolved. ACM Trans. Program. Lang. Syst. 39 (1) (2017)
Ryan Beckett, Eric Hayden Campbell, Michael Greenberg
Kleene Algebra Modulo Theories. CoRR (2017)
Mina Tahmasbi Arashloo, Yaron Koral, Michael Greenberg, Jennifer Rexford, David Walker
SNAP: Stateful Network-Wide Abstractions for Packet Processing. SIGCOMM (2016)
Ryan Beckett, Michael Greenberg, David Walker
Temporal NetKAT. PLDI (2016)
Michael Greenberg
Space-Efficient Latent Contracts. TFP (2016)
Michael Greenberg
Space-Efficient Latent Contracts. CoRR (2016)
Michael Greenberg, Kathleen Fisher, David Walker
Tracking the Flow of Ideas through the Programming Languages Literature. SNAPL (2015)
Michael Greenberg
Space-Efficient Manifest Contracts. POPL (2015)
Mina Tahmasbi Arashloo, Yaron Koral, Michael Greenberg, Jennifer Rexford, David Walker
SNAP: Stateful Network-Wide Abstractions for Packet Processing. CoRR (2015)
Michael Greenberg
Space-Efficient Manifest Contracts. CoRR (2014)
Cole Schlesinger, Michael Greenberg, David Walker
Concurrent NetCore: from policies to pipelines. ICFP (2014)
Johannes Borgström, Andrew D. Gordon, Michael Greenberg, James Margetson, Jurgen Van Gael
Measure Transformer Semantics for Bayesian Machine Learning. Log. Methods Comput. Sci. 9 (3) (2013)
Catalin Hritcu, Michael Greenberg, Ben Karel, Benjamin C. Pierce, Greg Morrisett
All Your IFCException Are Belong to Us. IEEE Symposium on Security and Privacy (2013)
Michael Greenberg, Benjamin C. Pierce, Stephanie Weirich
Contracts made manifest. J. Funct. Program. 22 (3) (2012)
João Filipe Belo, Michael Greenberg, Atsushi Igarashi, Benjamin C. Pierce
Polymorphic Contracts. ESOP (2011)
Johannes Borgström, Andrew D. Gordon, Michael Greenberg, James Margetson, Jurgen Van Gael
Measure Transformer Semantics for Bayesian Machine Learning. ESOP (2011)
Michael Greenberg, Benjamin C. Pierce, Stephanie Weirich
Contracts made manifest. POPL (2010)
Davi M. J. Barbosa, Julien Cretin, Nate Foster, Michael Greenberg, Benjamin C. Pierce
Matching lenses: alignment and view update. ICFP (2010)
Leo A. Meyerovich, Arjun Guha, Jacob P. Baskin, Gregory H. Cooper, Michael Greenberg, Aleks Bromfield, Shriram Krishnamurthi
Flapjax: a programming language for Ajax applications. OOPSLA (2009)
Mary F. Fernández, Kathleen Fisher, J. Nathan Foster, Michael Greenberg, Yitzhak Mandelbaum
A Generic Programming Toolkit for PADS/ML: First-Class Upgrades for Third-Party Developers. PADL (2008)
Shriram Krishnamurthi, Kathi Fisler, Michael Greenberg
Verifying aspect advice modularly. SIGSOFT FSE (2004)