Home
Students
Teaching
Projects
Publications
Service
F.A.Q.
————————————–
Teaching
Spring 2014
CS 164:
Programming Languages and Compilers
Fall 2013
CS 172:
Computability and Complexity
Spring 2012:
CS 172:
Computability and Complexity
CS 169:
Software Engineering
(with Armando Fox and David A Patterson)
Fall 2011:
CS 294-70:
Automated Bug Finding and Debugging
Spring 2011:
CS 172:
Computability and Complexity
Spring 2010:
CS 169:
Software Engineering
Fall 2009:
CS 265:
Dynamic Program Analysis, Testing, and Debugging
Spring 2009:
CS 294:
Dynamic Program Analysis, Testing, and Debugging
(with several guest lectures from leading PL and SE researchers.)
CS 294-33:
Towards Highly-Productive Parallel Programming Languages
(co-taught with Prof. Krste Asanovic and Prof. Dave Patterson)
Fall 2008:
CS169:
Software Engineering
Spring 2008: None
Fall 2007:
CS169:
Software Engineering
CS 294-25.
Current Berkeley Research in Programming System
Spring 2007:
CS294-5
: Dynamic Program Analysis, Testing, and Debugging