Preprints

2026
FullStackArena: Evaluating Browser Agents in Dynamic Full-Stack Environments
Jiaheng Lu, Xian Wang, Shrishti Roy, Colin Zhao, Sidharth Sankhe, Chuyue Wang, Xuting Liu, Spyros Pavlatos, Linh Thi Xuan Phan, Vincent Liu

Publications

* Denotes equal contribution.

ASPLOS'25
λ-trim: Optimizing Function Initialization in Serverless Applications With Cost-driven Debloating
Xuting Liu*, Spyros Pavlatos*, Yuhao Liu, Vincent Liu
Paper Code
NSDI'24
MuCache: A General Framework for Caching in Microservice Graphs
Haoran Zhang, Konstantinos Kallas, Spyros Pavlatos, Rajeev Alur, Sebastian Angel, Vincent Liu
Paper Code

Theses

MEng'22
A Test Suite for Model Checking Persistent Memory Programs
MEng thesis, National Technical University of Athens · Advisor: Kostis Sagonas
Thesis