All Stories

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

    Article • Proceedings of the ACM on Programming Languages, October 2024, ACM (Association for Computing Machinery)

    Michael Greenberg

  2. Making Formulog Fast: An Argument for Unconventional Datalog Evaluation

    Article • Proceedings of the ACM on Programming Languages, October 2024, ACM (Association for Computing Machinery)

    Michael Greenberg, Aaron Bembenek

  3. Speed-ups for critical developer, operational, and analysis tasks through out-of-order execution

    Article • June 2023, ACM (Association for Computing Machinery)

    Michael Greenberg

  4. Kleene algebra modulo theories: a framework for concrete KATs

    Article • June 2022, ACM (Association for Computing Machinery)

    Michael Greenberg

  5. Working with modern data formats using classic tools by mapping to Unix files and directories

    Article • October 2021, ACM (Association for Computing Machinery)

    Michael Greenberg