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
10/1/23 → 9/30/27
Stevens Institute of Technology
Project: Research project
-
Executing Shell Scripts in the Wrong Order, Correctly
Liargkovas, G., Kallas, K., Greenberg, M. & Vasilakis, N., Jun 22 2023, HotOS 2023 - Proceedings of the 19th Workshop on Hot Topics in Operating Systems. Association for Computing Machinery, Inc, p. 103-109 7 p. (HotOS 2023 - Proceedings of the 19th Workshop on Hot Topics in Operating Systems).Stevens Institute of Technology
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., Jan 9 2023, In: Proceedings of the ACM on Programming Languages. 7, p. 185-217 33 p.Stevens Institute of Technology
Research output: Contribution to journal › Article › peer-review
Open Access -
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., Jul 1 2023, In: IEEE Transactions on Software Engineering. 49, 7, p. 3675-3691 17 p.Stevens Institute of Technology
Research output: Contribution to journal › Article › peer-review
Open Access -
Reasoning About Paths in the Interface Graph
Greenberg, M., Mar 1 2023, Eelco Visser Commemorative Symposium, EVCS 2023. Lammel, R., Mosses, P. D. & Steimann, F. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 11. (OpenAccess Series in Informatics; vol. 109).Stevens Institute of Technology
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.Stevens Institute of Technology
Research output: Contribution to journal › Conference article › peer-review