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. Guarding LLM-aided Software Transformation Tasks via Component Exoskeletons

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

    Evangelos Lamprou

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

  4. A framework for using Answer Set Programming to implement parts of game logic.

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

    Evangelos Lamprou