Michael Greenberg
Pomona College
H-index: 18
North America-United States
Top articles of Michael Greenberg
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
MultiPL-E: a scalable and polyglot approach to benchmarking neural code generation | IEEE Transactions on Software Engineering | Federico Cassano John Gouwar Daniel Nguyen Sydney Nguyen Luna Phipps-Costin | 2023/4/17 |
From SMT to ASP: Solver-based approaches to solving datalog synthesis-as-rule-selection problems | Proceedings of the ACM on Programming Languages | Aaron Bembenek Michael Greenberg Stephen Chong | 2023/1/9 |
Reasoning About Paths in the Interface Graph | Michael Greenberg | 2023 | |
Knowledge Transfer from High-Resource to Low-Resource Programming Languages for Code LLMs | arXiv preprint arXiv:2308.09895 | Federico Cassano John Gouwar Francesca Lucchetti Claire Schlesinger Carolyn Jane Anderson | 2023/8/19 |
Executing Shell Scripts in the Wrong Order, Correctly | Georgios Liargkovas Konstantinos Kallas Michael Greenberg Nikos Vasilakis | 2023/6/22 | |
Kleene algebra modulo theories: a framework for concrete KATs | Michael Greenberg Ryan Beckett Eric Campbell | 2022/6/9 | |
Formulog: Datalog+ SMT+ FP. | Aaron Bembenek Michael Greenberg Stephen Chong | 2022 | |
Practically correct,{Just-in-Time} shell script parallelization | Konstantinos Kallas Tammam Mustafa Jan Bielak Dimitris Karnikis Thurston HY Dang | 2022 | |
How to safely use extensionality in Liquid Haskell | Niki Vazou Michael Greenberg | 2022/9/6 | |
Multipl-e: A scalable and extensible approach to benchmarking neural code generation | arXiv preprint arXiv:2208.08227 | Federico Cassano John Gouwar Daniel Nguyen Sydney Nguyen Luna Phipps-Costin | 2022/8/17 |
Solver-based gradual type migration | Proceedings of the ACM on Programming Languages | Luna Phipps-Costin Carolyn Jane Anderson Michael Greenberg Arjun Guha | 2021/10/15 |
Report on the" The Future of the Shell" Panel at HotOS 2021 | arXiv preprint arXiv:2109.11016 | Michael Greenberg Konstantinos Kallas Nikos Vasilakis Stephen Kell | 2021/9/22 |
Injecting finiteness to prove completeness for finite linear temporal logic | arXiv preprint arXiv:2107.06045 | Eric Campbell Michael Greenberg | 2021/7/13 |
The future of the shell: Unix and beyond | Michael Greenberg Konstantinos Kallas Nikos Vasilakis | 2021/6/1 | |
Files-as-Filesystems for POSIX Shell Data Processing | Michael Greenberg | 2021/10/25 | |
Unix shell programming: the next 50 years | Michael Greenberg Konstantinos Kallas Nikos Vasilakis | 2021/6/1 | |
Gradually structured data | Proceedings of the ACM on Programming Languages | Stefan Malewski Michael Greenberg Éric Tanter | 2021/10/15 |
Functional Extensionality for Refinement Types | CoRR | Niki Vazou Michael Greenberg | 2021 |
Gradual algebraic data types | Informal Proceedings of the ACM SIGPLAN Workshop on Gradual Typing (WGT20) | MICHAEL GREENBERG STEFAN MALEWSKI ÉRIC TANTER | 2020 |
Formulog: Datalog for SMT-based static analysis | Proceedings of the ACM on Programming Languages | Aaron Bembenek Michael Greenberg Stephen Chong | 2020/11/13 |