All Stories

  1. From Ahead-of- to Just-in-Time and Back Again: Static Analysis for Unix Shell Programs

    Article • May 2025, ACM (Association for Computing Machinery)

    Evangelos Lamprou, Michael Greenberg

  2. 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

  3. 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

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

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

    Michael Greenberg

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

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

    Michael Greenberg

  6. 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