All Stories

  1. The Koala Benchmarks for the Shell: Characterization, Implications, and Extensions

    Article • ACM Transactions on Computer Systems, August 2026, ACM (Association for Computing Machinery)

    Evangelos Lamprou, Michael Greenberg

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

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

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

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

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

    Michael Greenberg

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

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

    Michael Greenberg

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