All Stories

  1. Guarding LLM-aided Software Transformation Tasks via Component Exoskeletons

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

    Evangelos Lamprou

  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. A framework for using Answer Set Programming to implement parts of game logic.

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

    Evangelos Lamprou