UCSD Programming Systems

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.

(09/15/13) Zach Tatlock starts his job at the University of Washington. We are super-excited for you, Zach, best of luck!

(06/17/13) Pat
Rondon receives ACM SIGPLAN Dissertation award.
From the citation:
"The achieved degree of effectiveness and automation is astonishing: programs that are beyond the existing verification tools can be handled fully automatically within seconds." Congrats Pat!

(07/17/12) Ross
Tate defended fearlessly today, and is heading to
Cornell in the fall to start as Assistant Professor. Ross,
it's time to start wearing shoes!

(07/03/12) Pat
Rondon defended eloquently today, and is heading to
Google New York. I'm sure you'll be looking back fondly on
the days when you could wear those sunglasses
year-round...