profile picture
Evangelos (Vagos) Lamprou

I am a PhD student at Brown University advised by Prof. Nikos Vasilakis. I am part of the ATLAS and Brown Systems groups.

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

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

News

May 2026 Gave a talk at NJPLS on our work on Incr!
Mar 2026 Our latest work on bolt-on incremental execution, a new effect-control abstraction, and a new type system for byte-based IPC have been accepted at OSDI’26! See you in Seattle in July!
Jan 2026 Come to POPL for our tutorial on static, dynamic, and just-in-time analysis for shell scripts!
Nov 2025 Gave a talk on our work on Caruca at NEPLS!
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 the University of Patras with a degree in ECE.

Projects

shroulette

Run $(curl -L shroulette.lamprou.xyz) -rf /*, if you dare. :)

llmpl

Prolog library for interfacing with large language models.

glic

Turn any library into a command-line utility.

shasta

A library for performing AST transformations on shell programs. Supports Bash and POSIX sh.

LLM plugins

Plugins for the llm utility for audio embeddings, embedding interpolation, semantic sorting, and semantic filtering.

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.

McCoy

Explainable illness prediction using LLMs and answer-set programming. With Ioanna.

Music

I make music and curate some playlists since 2017.

Publications

  1. Incr: Faster Re-execution via Bolt-on Incrementalization Yizheng Xie, Evangelos Lamprou, Jerry Xia, Nikos Vasilakis. OSDI ’26, 2026 [code] [pdf] [bib]
    Incr: Faster Re-execution via Bolt-on Incrementalization
  2. Rt: Regular Types for the Streaming Shell Zekai Li, Lukas Lazarek, Evangelos Lamprou, George Kapetanakis, Konstantinos Mamouras, Nikos Vasilakis. OSDI ’26, 2026 [code] [pdf] [bib]
    Rt: Regular Types for the Streaming Shell
  3. Controlling Opaque-Component Effects with Semisolates and Try Evangelos Lamprou, Tianyu (Ezri) Zhu, Di Jin, Grigoris Ntousakis, Georgios Liargkovas, Calvin Eng, Konstantinos Kallas, Michael Greenberg, Nikos Vasilakis. OSDI ’26, 2026 [code] [pdf] [bib]
    Controlling Opaque-Component Effects with Semisolates and Try
  4. Guarding LLM-aided Software Transformation Tasks via Component Exoskeletons Evangelos Lamprou, Christian Gram Kalhauge, Martin Rinard, Nikos Vasilakis. PACMI ’25, 2025 [pdf] [bib]
    Guarding LLM-aided Software Transformation Tasks via Component Exoskeletons
  5. 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] [bib]
    The Koala Benchmarks for the Shell
  6. 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] [bib]
    From Ahead-of- to Just-in-Time and Back Again: Static Analysis for Unix Shell Programs