Teaching

@ George Mason

Fall 2017: CS471 Operating Systems

TBD.

@ Virginia Tech

Spring 2017: CS3214 Intro. to Computer Systems

Spring 2016: CS6204 Cloud Computing

Spring 2015: CS2506 Computer Organization II

Fall 2014: CS5204 Operating Systems

Spring 2012-Fall 2014: CS2505 Computer Organization I

Spring 2013: CS5504 Computer Architecture

Fall 2011: CS3114 Data Structure and Algorithms