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)
-
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)