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.
Group Members at UCLA
Affiliate Members
Alumni and Past Advisees
-
Kalon Kelley
(Masters → UPenn, PhD)
-
Victor Canard-Duchene
(Masters, visiting from ETH Zurich → AWS)
-
Stephen Mell
(UPenn PhD → CMU, Postdoc)
-
Jiali Xing
(UPenn, PhD → Google)
-
Jason Liu
(Undergraduate → OpenAI)
-
Darren Zhang
(Undergraduate → Atlassian)
-
George Zhou
(Undergraduate → Axiom)
-
Bimal Raj Gyawali
(Pokhara University, Nepal, BSc → UCSD, PhD)
-
Nikos Pagonas
(NTUA, BSc → Columbia, PhD)
-
Giorgos Liargovas
(AUEB, BSc → Columbia, PhD)
-
Spyros Pavlatos
(UPenn, PhD)
- Akis Giannoukos
(UPenn, PhD)
-
Mayank Keoliya
(UPenn, PhD)
- Dimitra Leventi
(NTUA, BSc)
-
Tammam Mustafa
(MIT, BSc → Google)
-
Achilles Benetopoulos
(NTUA, BSc → UCSC, PhD)
-
Lazar Cvetkovic
(University of Belgrade, BSc → ETH, PhD)
Selected Publications
Here are some of our recent papers.
Correctness, Security, and Privacy of Effectful Tasks
- Ahead-of-Time Analysis of Shell Program Effects (SOSP 26, atlas-brown/sash Star)⭐ Best Paper Award ⭐
- Controlling Opaque-Component Effects with Semisolates and Try (OSDI 26, binpash/try Star)⭐ Best Paper and Distinguished Artifact Award ⭐
- From Ahead-of- to Just-in-Time and Back Again: Static Analysis for Unix Shell Programs (HotOS 25)
Optimization of Python Applications
Compilers and Systems for Shell Script Performance
- hS: Speculative Script Reordering at Subprocess Granularity (OSDI 26, binpash/hs Star)
- Fractal: Fault-Tolerant Shell-Script Distribution (NSDI 26, binpash/fractal Star)
- The Koala Benchmarks for the Shell: Characterization and Implications (USENIX ATC 25, kbensh/koala Star, video)⭐ Best Paper Award ⭐
- Executing Shell Scripts in the Wrong Order, Correctly (HotOS 23)
- DiSh: Dynamic Shell-Script Distribution (NSDI 23, binpash/dish Star)
- Practically Correct, Just-in-Time Shell Script Parallelization (OSDI 22, binpash/pash Star)
- An Order-aware Dataflow Model for Parallel Unix Pipelines (ICFP 21)
- Unix Shell Programming: The Next 50 Years (HotOS 21, video)⭐ Distinguished Presentation Award ⭐
- PaSh: Light-touch Data-Parallel Shell Processing (EuroSys 21, binpash/pash Star)⭐ Best Paper Award ⭐
Cloud Software Systems