Modern Compilers (CS6013)

Distributed Algorithms (CS6851)

Analysis of Parallel Programs (CS6235)

Automated Program Verification (CS5030)

Introduction to Research (Institute Module) (ID6020)

Distributed Trust (CS6858)

Recent Topics in Compilers (CS7030)

Pattern Recognition and Machine Learning (CS5691)