profile picture profile picture

Evangelos (Vagos) Lamprou

I am an incoming PhD student at Brown University advised by Prof. Nikos Vasilakis. Previously, I worked as an embedded software engineer at Demant A/S. I also hold a BSc degree from the University of Patras.

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

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

News

Jul 2025 Our paper The Koala Benchmarks for the Shell has been accepted at 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!
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!
Dec 2024 I will be serving as web & publication co-chair of EuroSec 2025!
Sep 2023 Presented our work Investigating Applicability Heuristics of Answer Set Programming in Game Development at ACM CHI Greece 2023!
Sep 2023 Started working at Oticon as an Embedded Software Engineer.
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. From Ahead-of- to Just-in-Time and Back Again: Static Analysis for Unix Shell Programs
    Lazarek L. Jung S. Lamprou E. Li Z. Narsipur A. Zhao E. Greenberg M. Kallas K. Mamouras K. Vasilakis N. HotOS ’25, 2025 [pdf]
    From Ahead-of- to Just-in-Time and Back Again: Static Analysis for Unix Shell Programs
  2. The Koala Benchmarks for the Shell: Characterization and Implications
    Lamprou E. Williams E. Kaoukis G. Zhang Z. Greenberg M. Kallas K. Lazarek L. Vasilakis N. USENIX ATC ’25, 2025 [code] [pdf]
    The Koala Benchmarks for the Shell: Characterization and Implications
  3. Investigating Applicability Heuristics of Answer Set Programming in Game Development: Use Cases and Empirical Study
    Lamprou E. Fidas C. ACM CHI Greece 2023, 2023 [code] [pdf]
    Investigating Applicability Heuristics of Answer Set Programming in Game Development: Use Cases and Empirical Study
  4. Design, Implementation, and Evaluation of a Framework for Applying Answer Set Programming in Games
    Lamprou E. 2023 [code] [pdf]
    Design, Implementation, and Evaluation of a Framework for Applying Answer Set Programming in Games