Projects per year
Fingerprint
Dive into the research topics where Michael Greenberg is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
Projects
- 1 Active
-
Collaborative Research: CSR: Core: Medium: Scaling Unix/Linux Shell Programs
Greenberg, M. (PI)
1/10/23 → 30/09/27
Project: Research project
-
Executing Shell Scripts in the Wrong Order, Correctly
Liargkovas, G., Kallas, K., Greenberg, M. & Vasilakis, N., 22 Jun 2023, HotOS 2023 - Proceedings of the 19th Workshop on Hot Topics in Operating Systems. p. 103-109 7 p. (HotOS 2023 - Proceedings of the 19th Workshop on Hot Topics in Operating Systems).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
Open Access -
From SMT to ASP: Solver-Based Approaches to Solving Datalog Synthesis-as-Rule-Selection Problems
Bembenek, A., Greenberg, M. & Chong, S., 9 Jan 2023, In: Proceedings of the ACM on Programming Languages. 7, p. 185-217 33 p.Research output: Contribution to journal › Article › peer-review
Open Access4 Scopus citations -
MultiPL-E: A Scalable and Polyglot Approach to Benchmarking Neural Code Generation
Cassano, F., Gouwar, J., Nguyen, D., Nguyen, S., Phipps-Costin, L., Pinckney, D., Yee, M. H., Zi, Y., Anderson, C. J., Feldman, M. Q., Guha, A., Greenberg, M. & Jangda, A., 1 Jul 2023, In: IEEE Transactions on Software Engineering. 49, 7, p. 3675-3691 17 p.Research output: Contribution to journal › Article › peer-review
Open Access43 Scopus citations -
Reasoning About Paths in the Interface Graph
Greenberg, M., 1 Mar 2023, Eelco Visser Commemorative Symposium, EVCS 2023. Lammel, R., Mosses, P. D. & Steimann, F. (eds.). 11. (OpenAccess Series in Informatics; vol. 109).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
-
Formulog: Datalog + SMT + FP
Bembenek, A., Greenberg, M. & Chong, S., 2022, In: CEUR Workshop Proceedings. 3203, p. 48-53 6 p.Research output: Contribution to journal › Conference article › peer-review