No photo of Michael Greenberg

View Scopus Profile

Michael Greenberg

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

Research activity per year

Filter
Article

Search results

  • 2024

    Knowledge Transfer from High-Resource to Low-Resource Programming Languages for Code LLMs

    Cassano, F., Gouwar, J., Lucchetti, F., Schlesinger, C., Freeman, A., Anderson, C. J., Feldman, M. Q., Greenberg, M., Jangda, A. & Guha, A., 8 Oct 2024, In: Proceedings of the ACM on Programming Languages. 8, OOPSLA2, 295.

    Research output: Contribution to journal › Article › peer-review

    Open Access
    3 Scopus citations

  • Making Formulog Fast: An Argument for Unconventional Datalog Evaluation

    Bembenek, A., Greenberg, M. & Chong, S., 8 Oct 2024, In: Proceedings of the ACM on Programming Languages. 8, OOPSLA2, 314.

    Research output: Contribution to journal › Article › peer-review

  • 2023

    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 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 journal › Article › peer-review

    Open Access
    50 Scopus citations
  • 2021

    Gradually structured data

    Malewski, S., Greenberg, M. & Tanter, É., Oct 2021, In: Proceedings of the ACM on Programming Languages. 5, OOPSLA, 126.

    Research output: Contribution to journal › Article › peer-review

    Open Access
    6 Scopus citations

  • Solver-based gradual type migration

    Phipps-Costin, L., Anderson, C. J., Greenberg, M. & Guha, A., Oct 2021, In: Proceedings of the ACM on Programming Languages. 5, OOPSLA, 111.

    Research output: Contribution to journal › Article › peer-review

    Open Access
    13 Scopus citations
  • 2020

    Executable formal semantics for the POSIX shell

    Greenberg, M. & Blatt, A. J., Jan 2020, In: Proceedings of the ACM on Programming Languages. 4, POPL, 43.

    Research output: Contribution to journal › Article › peer-review

    Open Access
    15 Scopus citations

  • Formulog: Datalog for SMT-based static analysis

    Bembenek, A., Greenberg, M. & Chong, S., 13 Nov 2020, In: Proceedings of the ACM on Programming Languages. 4, OOPSLA, 141.

    Research output: Contribution to journal › Article › peer-review

    Open Access
    20 Scopus citations
  • 2017

    Polymorphic manifest contracts, revised and resolved

    Sekiyama, T., Igarashi, A. & Greenberg, M., Feb 2017, In: ACM Transactions on Programming Languages and Systems. 39, 1, 3.

    Research output: Contribution to journal › Article › peer-review

    9 Scopus citations
  • 2016

    Temporal NetKAT

    Beckett, R., Greenberg, M. & Walker, D., Jun 2016, In: ACM SIGPLAN Notices. 51, 6, p. 386-401 16 p.

    Research output: Contribution to journal › Article › peer-review

    Open Access
  • 2015

    Space-efficient manifest contracts

    Greenberg, M., Jan 2015, In: ACM SIGPLAN Notices. 50, 1, p. 181-194 14 p.

    Research output: Contribution to journal › Article › peer-review

    Open Access
    2 Scopus citations
  • 2014

    Concurrent NetCore: From policies to pipelines

    Schlesinger, C., Greenberg, M. & Walker, D., Sep 2014, In: ACM SIGPLAN Notices. 49, 9, p. 11-24 14 p.

    Research output: Contribution to journal › Article › peer-review

    7 Scopus citations
  • 2013

    Measure transformer semantics for Bayesian machine learning

    Borgström, J., Gordon, A. D., Greenberg, M., Margetson, J. & Van Gael, J., 9 Sep 2013, In: Logical Methods in Computer Science. 9, 3, 11.

    Research output: Contribution to journal › Article › peer-review

    Open Access
    24 Scopus citations
  • 2012

    Contracts made manifest

    Greenberg, M., Pierce, B. C. & Weirich, S., May 2012, In: Journal of Functional Programming. 22, 3, p. 225-274 50 p.

    Research output: Contribution to journal › Article › peer-review

    Open Access
    9 Scopus citations
  • 2010

    Contracts made manifest

    Greenberg, M., Pierce, B. C. & Weirich, S., Jan 2010, In: ACM SIGPLAN Notices. 45, 1, p. 353-364 12 p.

    Research output: Contribution to journal › Article › peer-review

    32 Scopus citations

  • Matching lenses: Alignment and view update

    Barbosa, D. M. J., Cretin, J., Foster, N., Greenberg, M. & Pierce, B. C., Sep 2010, In: ACM SIGPLAN Notices. 45, 9, p. 193-204 12 p.

    Research output: Contribution to journal › Article › peer-review

    25 Scopus citations
  • 2009

    Flapjax: A programming language for ajax applications

    Meyerovich, L. A., Guha, A., Baskin, J., Cooper, G. H., Greenberg, M., Bromfield, A. & Krishnamurthi, S., Oct 2009, In: ACM SIGPLAN Notices. 44, 10, p. 1-20 20 p.

    Research output: Contribution to journal › Article › peer-review

    99 Scopus citations