- CIS 548: Operating Systems Design and Implementation – Spring 2019, Spring 2018, Spring 2017.
- CIS 380 Operating Systems – Fall 2018, Fall 2017, Fall 2016, Fall 2013, Fall 2012, Fall 2011
- Special Topic: Managing Software-defined Infrastructures – Summer 2017 (National University of Singapore).
- Special Topic: Software-defined Data Centers – July 2016 (National University of Singapore)
- CIS 505 Software Systems – Spring 2016, Spring 2015, Spring 2011, Spring 2009, Spring 2008
- CIS 800 Special Topic: Software-defined Data Centers – Fall 2015
- CIS 553 / TCOM 512 Networked Systems – Spring 2013, Spring 2012, Fall 2010, Fall 2009, Fall 2008, Fall 2007
- CIS 800/003 Rigorous Internet Protocol Engineering – Fall 2011
- CS 598D: Formal Methods in Networking – Spring 2010 (Princeton)
- CIS 700/005 Special Topics: Networking meets Databases – Spring 2007