All Stories

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

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

    Michael Greenberg

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

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

    Michael Greenberg

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