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

• Teng (Sebastian) Jiang (PhD, coadvised with Sam Kumar)
• Kalon Kelley (Masters)
• Bolun Thompson (Undergraduate)
• Cyrus Asasi (Undergraduate)
• Darren Zhang (Undergraduate)
• Divik Chotani (Undergraduate)
• George Zhou (Undergraduate)

External Advisees

• Stephen Mell (UPenn, PhD)
• Tianyu (Ezri) Zhu (Stevens, BSc)
• Jiali Xing (UPenn, PhD)
• Mohammad Broughani (Sharif University of Technology, Iran, BSc)

Alumni and Past Advisees

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