Skip to content
- CIS 553: Networked Systems (Online) – Spring 2022
- CIS 548: Operating Systems Design and Implementation – Spring 2021, 2020, 2019, 2018, 2017.
- CIT 595 Online Computer Systems Programming (Online) – Fall 2021, 2020, 2019; Summer 2021, 2020; Spring 2022, 2021, 2020.
- 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 – 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