Michael Greenberg

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