The Programming Systems Group in the Department of Computer Science and Engineering at the University of California, San Diego is interested in developing new languages, compilers, program analysis techniques and development environments for making software systems easier to build, maintain and understand.
Valentin Robert (Ph. D. student, started 2012)
Alexander Bakst ((Ph. D. student, started 2011)
Dimitar Bounov (Ph. D. student, started 2011)
Niki Vazou (Ph. D. student, started 2011)
Panagiotis Vekris (Ph. D. student, started 2011)
Samantha Wood (Ph. D. student, started 2011)
Daniel Ricketts (Ph. D. student, started 2010)
Stephen Foster (Ph. D. student, started 2010)
Alan Leung (Ph. D. student, started 2010)
Dongseok Jang (Ph. D. student, started 2009)
Zachary Tatlock (Ph. D. student, started 2007)
Ming Kawaguchi (Ph. D. student, started 2005)
Ravi Chugh (Ph. D. 2012) Post-doc in UCSD Progsys Group
Patrick Rondon (Ph. D. 2012) Google
Ross Tate (Ph. D. 2012) Assistant Professor at Cornell
Mike Stepp (Ph. D. 2011) Google
Jeffrey A. Meister (M.S. 2011) MyLife
Sudipta Kundu (Ph. D. 2009) Synopsis
Macneil Shonle (Ph. D. 2009) Assistant Professor at the University of Texas at San Antonio, then Google
Jan Wen Voung (Ph. D. 2009) Google
Chip Killian (Ph. D. 2009) Assitant Professor at Purdue, then Google
Abstract Refinement Types, ,
CSolve: Verifying C With Liquid Types, , CAV, 2012.
Deterministic Parallelism via Liquid Effects, , PLDI, 2012.
Verifying GPU Kernels By Test Amplification, , PLDI, 2012.
Nested Refinements: A Logic For Duck Typing, , POPL, 2012.
WitchDoctor: IDE support for real-time auto-completion of refactorings, , ICSE, 2012.
Establishing Browser Security Guarantees through Formal Shim Verification, , USENIX Security, 2012.
[ Publication Archive ]