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

Jan 2026 Come to POPL for our tutorial on static, dynamic, and just-in-time analysis for shell scripts.
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 the PACMI ‘25 workshop at SOSP.
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

glic

Turn any library into a command-line utility.

shasta

A library for performing transformations on shell programs. Currently supports Bash and POSIX sh.

'llm' plugins

Plugins for the llm CLI utility for working with audio files, interpolating between embeddings, and sorting or greping lines semantically.

Gauzarbeit

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

gnomi

An opinionated system configuration.

%seax

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

McCoy

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

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 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
  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 ASP in Game Development: Use Cases and Empirical Study Evangelos Lamprou. Christos Fidas. ACM CHI Greece 2023, 2023 [code] [pdf]
    Investigating Applicability Heuristics of ASP 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. Diploma thesis, University of Patras, 2023 [code] [pdf]
    Design, Implementation, and Evaluation of a Framework for Applying Answer Set Programming in Games