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)