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

Undergraduates

• Bolun Thompson (UCLA)
• Bimal Raj Gyawali (Pokhara University, Nepal, BSc)
• Mohammad Broughani (Sharif University of Technology, Iran, BSc)

External Advisees

• Stephen Mell (UPenn, PhD)
• Nikos Pagonas (NTUA, BSc → Columbia, PhD)
• Giorgos Liargovas (AUEB, BSc → Columbia, PhD)
• Tianyu (Ezri) Zhu (Stevens, BSc)
• Jiali Xing (UPenn, PhD)

Alumni and Past Advisees

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