Skip to content
- CIS 548: Operating Systems Design and Implementation – Spring 2021, 2020, 2019, 2018, 2017.
- CIT 595 Online Computer Systems Programming – Fall 2021, 2020, 2019; Summer 2021, 2020; Spring 2020, 2021.
- CIS 380 Operating Systems – Fall 2021, 2020, 2019, 2018, 2017, 2016, 2013, 2012, 2011
- CIS 505 Software Systems – Spring 2016, 2015, 2011, 2009, 2008.
- CIS 553 / TCOM 512 Networked Systems – Spring 2013, Spring 2012, Fall 2010, Fall 2009, Fall 2008, Fall 2007
- 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 800 Special Topic: Software-defined Data Centers – Fall 2015
- 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