Michael Greenberg

According to our database, Michael Greenberg authored at least 39 papers between 2004 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

MultiPL-E: A Scalable and Polyglot Approach to Benchmarking Neural Code Generation.

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

IEEE Trans. Software Eng., July, 2023

From SMT to ASP: Solver-Based Approaches to Solving Datalog Synthesis-as-Rule-Selection Problems.

Aaron Bembenek, Michael Greenberg, Stephen Chong

Proc. ACM Program. Lang., January, 2023

Knowledge Transfer from High-Resource to Low-Resource Programming Languages for Code LLMs.

Federico Cassano, John Gouwar, Francesca Lucchetti, Claire Schlesinger, Carolyn Jane Anderson, Michael Greenberg, Abhinav Jangda, Arjun Guha

CoRR, 2023

Executing Shell Scripts in the Wrong Order, Correctly.

Georgios Liargkovas, Konstantinos Kallas, Michael Greenberg, Nikos Vasilakis

Proceedings of the 19th Workshop on Hot Topics in Operating Systems, 2023

Reasoning About Paths in the Interface Graph.

Michael Greenberg

Proceedings of the Eelco Visser Commemorative Symposium, 2023

2022

A Scalable and Extensible Approach to Benchmarking NL2Code for 18 Programming Languages.

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

CoRR, 2022

Kleene algebra modulo theories: a framework for concrete KATs.

Michael Greenberg, Ryan Beckett, Eric Hayden Campbell

Proceedings of the PLDI '22: 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation, San Diego, CA, USA, June 13, 2022

Practically Correct, Just-in-Time Shell Script Parallelization.

Konstantinos Kallas, Tammam Mustafa, Jan Bielak, Dimitris Karnikis, Thurston H. Y. Dang, Michael Greenberg, Nikos Vasilakis

Proceedings of the 16th USENIX Symposium on Operating Systems Design and Implementation, 2022

How to safely use extensionality in Liquid Haskell.

Niki Vazou, Michael Greenberg

Proceedings of the Haskell '22: 15th ACM SIGPLAN International Haskell Symposium, Ljubljana, Slovenia, September 15, 2022

Formulog: Datalog + SMT + FP.

Aaron Bembenek, Michael Greenberg, Stephen Chong

Proceedings of the 4th International Workshop on the Resurgence of Datalog in Academia and Industry (Datalog-2.0 2022) co-located with the 16th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2022), 2022

2021

Solver-based gradual type migration.

Luna Phipps-Costin, Carolyn Jane Anderson, Michael Greenberg, Arjun Guha

Proc. ACM Program. Lang., 2021

Gradually structured data.

Stefan Malewski, Michael Greenberg, Éric Tanter

Proc. ACM Program. Lang., 2021

Report on the "The Future of the Shell" Panel at HotOS 2021.

Michael Greenberg, Konstantinos Kallas, Nikos Vasilakis, Stephen Kell

CoRR, 2021

Injecting Finiteness to Prove Completeness for Finite Linear Temporal Logic.

Eric Hayden Campbell, Michael Greenberg

CoRR, 2021

Functional Extensionality for Refinement Types.

Niki Vazou, Michael Greenberg

CoRR, 2021

Files-as-Filesystems for POSIX Shell Data Processing.

Michael Greenberg

Proceedings of the PLOS '21: Proceedings of the 11th Workshop on Programming Languages and Operating Systems, 2021

Unix shell programming: the next 50 years.

Michael Greenberg, Konstantinos Kallas, Nikos Vasilakis

Proceedings of the HotOS '21: Workshop on Hot Topics in Operating Systems, 2021

The future of the shell: Unix and beyond.

Michael Greenberg, Konstantinos Kallas, Nikos Vasilakis

Proceedings of the HotOS '21: Workshop on Hot Topics in Operating Systems, 2021

2020

Executable formal semantics for the POSIX shell.

Michael Greenberg, Austin J. Blatt

Proc. ACM Program. Lang., 2020

Formulog: Datalog for SMT-based static analysis.

Aaron Bembenek, Michael Greenberg, Stephen Chong

Proc. ACM Program. Lang., 2020

Formulog: Datalog for SMT-Based Static Analysis (Extended Version).

Aaron Bembenek, Michael Greenberg, Stephen Chong

CoRR, 2020

2019

The Dynamic Practice and Static Theory of Gradual Typing.

Michael Greenberg

Proceedings of the 3rd Summit on Advances in Programming Languages, 2019

2018

Word expansion supports POSIX shell interactivity.

Michael Greenberg

Proceedings of the Conference Companion of the 2nd International Conference on Art, 2018

2017

Polymorphic Manifest Contracts, Revised and Resolved.

Taro Sekiyama, Atsushi Igarashi, Michael Greenberg

ACM Trans. Program. Lang. Syst., 2017

Kleene Algebra Modulo Theories.

Ryan Beckett, Eric Hayden Campbell, Michael Greenberg

CoRR, 2017

2016

SNAP: Stateful Network-Wide Abstractions for Packet Processing.

Mina Tahmasbi Arashloo, Yaron Koral, Michael Greenberg, Jennifer Rexford, David Walker

Proceedings of the ACM SIGCOMM 2016 Conference, Florianopolis, Brazil, August 22-26, 2016, 2016

Space-Efficient Latent Contracts.

Michael Greenberg

Proceedings of the Trends in Functional Programming - 17th International Conference, 2016

Temporal NetKAT.

Ryan Beckett, Michael Greenberg, David Walker

Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2016

2015

Tracking the Flow of Ideas through the Programming Languages Literature.

Michael Greenberg, Kathleen Fisher, David Walker

Proceedings of the 1st Summit on Advances in Programming Languages, 2015

Space-Efficient Manifest Contracts.

Michael Greenberg

Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2015

2014

Concurrent NetCore: from policies to pipelines.

Cole Schlesinger, Michael Greenberg, David Walker

Proceedings of the 19th ACM SIGPLAN international conference on Functional programming, 2014

2013

Measure Transformer Semantics for Bayesian Machine Learning.

Johannes Borgström, Andrew D. Gordon, Michael Greenberg, James Margetson, Jurgen Van Gael

Log. Methods Comput. Sci., 2013

All Your IFCException Are Belong to Us.

Catalin Hritcu, Michael Greenberg, Ben Karel, Benjamin C. Pierce, Greg Morrisett

Proceedings of the 2013 IEEE Symposium on Security and Privacy, 2013

2012

Contracts made manifest.

Michael Greenberg, Benjamin C. Pierce, Stephanie Weirich

J. Funct. Program., 2012

2011

Polymorphic Contracts.

João Filipe Belo, Michael Greenberg, Atsushi Igarashi, Benjamin C. Pierce

Proceedings of the Programming Languages and Systems, 2011

2010

Matching lenses: alignment and view update.

Davi M. J. Barbosa, Julien Cretin, Nate Foster, Michael Greenberg, Benjamin C. Pierce

Proceedings of the Proceeding of the 15th ACM SIGPLAN international conference on Functional programming, 2010

2009

Flapjax: a programming language for Ajax applications.

Leo A. Meyerovich, Arjun Guha, Jacob P. Baskin, Gregory H. Cooper, Michael Greenberg, Aleks Bromfield, Shriram Krishnamurthi

Proceedings of the 24th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2009

2008

A Generic Programming Toolkit for PADS/ML: First-Class Upgrades for Third-Party Developers.

Mary F. Fernández, Kathleen Fisher, J. Nathan Foster, Michael Greenberg, Yitzhak Mandelbaum

Proceedings of the Practical Aspects of Declarative Languages, 2008

2004

Verifying aspect advice modularly.

Shriram Krishnamurthi, Kathi Fisler, Michael Greenberg

Proceedings of the 12th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2004, Newport Beach, CA, USA, October 31, 2004