Michael Greenberg

Calculated based on number of publications stored in Pure and citations from Scopus
20042023

Research activity 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
  • 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 proceedingConference contributionpeer-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 journalArticlepeer-review

    Open Access
    4 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 journalArticlepeer-review

    Open Access
    43 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 proceedingConference contributionpeer-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 journalConference articlepeer-review