CMPT 479/886: Automated Software Analysis & Security - Fall 2017 CMPT 443: Distributed system programming - Fall 2016 CMPT 300: Operating system - Spring 2016