Programmable Software Systems Lab at UCLA

The goal of our research is to enable the development of high-performance applications with robust correctness guarantees We achieve this by building practical programmable software systems that target realistic workloads in widely-used environments. Our systems are built on solid foundations using techniques drawn from the programming languages, compilers, and formal methods literature.

External Advisees

• Bimal Raj Gyawali (Pokhara University, Nepal, BSc) Synthesis of LLM tool code.
• Mohammad Broughani (Sharif University of Technology, Iran, BSc) Serverless performance optimization through colocation.
• Stephen Mell (UPenn, PhD) Parallel and incremental execution of composition applications.
• Nikos Pagonas (NTUA, BSc → Columbia, PhD) Design and development of a serverless shell.
• Giorgos Liargovas (AUEB, BSc → Columbia, PhD) Out-of-order execution of shell scripts (paper at HotOS 2023).
• Tianyu (Ezri) Zhu (Stevens, BSc) Design and development of try, a lightweight isolation tool for Linux (over 4k stars on Github).
• Jiali Xing (UPenn, PhD) Overload control for microservice applications (paper at HotNets 2021).

Alumni and Past Advisees

• Spyros Pavlatos (UPenn, PhD) Development of correctness criteria for microservice applications.
• Akis Giannoukos (UPenn, PhD) Overload control for microservice applications.
• Mayank Keoliya (UPenn, PhD) LLMs for Unix command specification.
• Dimitra Leventi (NTUA, BSc) Characterization of shell workloads and development of a benchmark suite.
• Tammam Mustafa (MIT, BSc → Google) Design and development of DiSh (papers at OSDI 2022 and NSDI 2023).
• Achilles Benetopoulos (NTUA, BSc → UCSC, PhD) Development of PaSh's runtime and benchmarking of shell programs (paper at EuroSys 2021).
• Lazar Cvetkovic (University of Belgrade, BSc → ETH, PhD) Specification framework for POSIX and GNU Coreutils commands (paper at EuroSys 2021).