| Spring 2006 |
| CSE 240B: | Advanced Computer Architecture
| (Michael Taylor) |
| CSE 291A: | Software Reliability Methods
| (Ingolf Krueger) |
| |
| Winter 2006 |
| CSE 230: | Principles of Programming
Languages | (Ranjit Jhala) |
| CSE 291F: | Applied Automated Theorem
Proving | (Sorin Lerner) |
| |
| Fall 2005 |
| CSE 207: | Modern Cryptography | (Mihir Bellare) |
| CSE 231: | Advanced Compilers | (Jeanne Ferrante) |
| |
| Spring 2005 |
| CSE 223B: | Distributed Computing and
Systems | (Alex Snoeren) |
| CSE 232B: | Database System
Implementation | (Alin Deutsch) |
| |
| Winter 2005 |
| CSE 200: | Computability and
Complexity | (Daniele Micciancio) |
| CSE 222A: | Computer Communication
Networks | (Amin Vahdat) |
| |
| Fall 2004 |
| CSE 202: | Algorithms and
Analysis | (Russell Impagliazzo) |
| CSE 221: | Operating Systems | (Keith Marzullo) |
| CSE 240A: | Principles of Computer
Architecture | (Alex Orailoglu) |