profile picture

Evangelos (Vagos) Lamprou

I am a PhD student at Brown University advised by Prof. Nikos Vasilakis.

My research interests lie in programming-languages, operating systems, and security.

[vagos@lamprou.xyz] [Scholar] [CV] [GitHub] […]

News

Oct 2025 Preprints for our work on specification mining for opaque components and secure library regeneration are out.
Oct 2025 Our paper on component exoskeletons was accepted at PACMI ‘25.
Sep 2025 Started my PhD at Brown University.
Jul 2025 The Koala Benchmarks won a Best Paper award at ATC ‘25.
Jul 2025 Our paper The Koala Benchmarks for the Shell has been accepted at USENIX ATC ‘25, the last one ever.
Mar 2025 Our paper From Ahead-of- to Just-in-Time and Back Again: Static Analysis for Unix Shell Programs has been accepted at HotOS XX.
Dec 2024 I will be serving as web & publication co-chair of EuroSec 2025.
Aug 2024 I am visiting Brown CS’s ATLAS Group for a research internship.
Apr 2024 I will be serving as web & publication co-chair of EuroSec 2024.
Sep 2023 Started working at Oticon as an Embedded Software Engineer.
Sep 2023 Presented our work Investigating Applicability Heuristics of Answer Set Programming in Game Development at ACM CHI Greece 2023.
Jul 2023 Graduated from University of Patras with a degree in ECE.

Projects

Plugins for 'llm'

Plugins for the llm CLI utility for working with audio files and interpolating between embeddings.

%seax

The Urbit meta-search engine. Created with ilyakooo0.
%seax

Aspllmius

Explainable illness prediction using LLMs and ASP. Received Honorable Mention at the 2023 AI-Hub Comp. Created with Ioanna.
Aspllmius

Gauzarbeit

A highly extensible online MUD game written in C++ and Lua.

gnomi

An opinionated system configuration.

Music

I make music and curate some playlists since 2017.

Publications

  1. Guarding LLM-aided Software Transformation Tasks via Component Exoskeletons
    Evangelos Lamprou. Christian Gram Kalhauge. Martin Rinard. Nikos Vasilakis. PACMI ’25, 2025 [pdf]
    Guarding LLM-aided Software Transformation Tasks via Component Exoskeletons
  2. The Koala Benchmarks for the Shell: Characterization and Implications
    Evangelos Lamprou. Ethan Williams. Georgios Kaoukis. Zhuoxuan Zhang. Michael Greenberg. Konstantinos Kallas. Lukas Lazarek. Nikos Vasilakis. USENIX ATC ’25, 2025 [code] [pdf]
    The Koala Benchmarks for the Shell: Characterization and Implications
  3. From Ahead-of- to Just-in-Time and Back Again: Static Analysis for Unix Shell Programs
    Lukas Lazarek. Seong-Heon Jung. Evangelos Lamprou. Zekai Li. Anirudh Narsipur. Eric Zhao. Michael Greenberg. Konstantinos Kallas. Konstantinos Mamouras. Nikos Vasilakis. HotOS ’25, 2025 [pdf]
    From Ahead-of- to Just-in-Time and Back Again: Static Analysis for Unix Shell Programs
  4. Investigating Applicability Heuristics of Answer Set Programming in Game Development: Use Cases and Empirical Study
    Evangelos Lamprou. Christos Fidas. ACM CHI Greece 2023, 2023 [code] [pdf]
    Investigating Applicability Heuristics of Answer Set Programming in Game Development: Use Cases and Empirical Study
  5. Design, Implementation, and Evaluation of a Framework for Applying Answer Set Programming in Games
    Evangelos Lamprou. 2023 [code] [pdf]
    Design, Implementation, and Evaluation of a Framework for Applying Answer Set Programming in Games