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] [Office: CIT 267] […]

News

Oct 2026 Our SOSP’26 paper Ahead-of-time Analysis of Shell Program Effects won a Best Paper Award!
Jul 2026 Our OSDI’26 paper Controlling Opaque-Component Effects with Semisolates and Try won a Jay Lepreau Best Paper Award and a Distinguished Artifact Award.
Jul 2026 Our OSDI’26 paper RT: Regular Types for the Streaming Shell was named a Best Paper nominee.
Jul 2026 Our paper Ahead-of-time Analysis of Shell Program Effects has been accepted at SOSP’26!
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 Gave a talk on Caruca at New England Systems Day.
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.

Publications

  1. SOSP ’26
    "Ahead-of-time Analysis of Shell Program Effects"
    Lukas Lazarek*, Evangelos Lamprou*, George Kapetanakis, Eric Zhao, Zhiwen Zheng, Michael Greenberg, Konstantinos Kallas, and Nikos Vasilakis
    Best Paper Award.
    [link] [code] [pdf] [bib]
  2. OSDI ’26
    "Incr: Faster Re-execution via Bolt-on Incrementalization"
    Yizheng Xie*, Evangelos Lamprou*, Jerry Xia*, and Nikos Vasilakis
    [link] [code] [pdf] [bib]
  3. OSDI ’26
    "RT: Regular Types for the Streaming Shell"
    Zekai Li, Lukas Lazarek, Evangelos Lamprou, George Kapetanakis, Konstantinos Mamouras, and Nikos Vasilakis
    Best Paper Nominee.
    [link] [code] [pdf] [bib]
  4. OSDI ’26
    "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, and Nikos Vasilakis
    Jay Lepreau Best Paper Award. Distinguished Artifact Award.
    [link] [code] [pdf] [bib]
  5. HotOS ’25
    "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, and Nikos Vasilakis
    [link] [pdf] [bib]
  6. ATC ’25
    "The Koala Benchmarks for the Shell: Characterization and Implications"
    Evangelos Lamprou, Ethan Williams, Georgios Kaoukis, Zhuoxuan Zhang, Michael Greenberg, Konstantinos Kallas, Lukas Lazarek, and Nikos Vasilakis
    Best Paper Award.
    [link] [code] [pdf] [bib]
  7. PACMI ’25 @ SOSP ’25
    "Guarding LLM-aided Software Transformation Tasks via Component Exoskeletons"
    Evangelos Lamprou, Christian Gram Kalhauge, Martin C. Rinard, and Nikos Vasilakis
    [link] [pdf] [bib]

[…]

Projects

yamu

A command-line game library manager.

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.

gnomi

An opinionated system configuration.

%seax

The Urbit meta-search engine. Created with ilyakooo0.

music

I make music and curate some playlists.