Koushik Sen's Homepage

Command disabled: export_raw

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