At UW:

• CSE P552: Distributed Systems (Winter 2016)

At MIT:

• 6.033: Computer Systems Engineering (Spring 2011, recitation instructor)