Advanced Topics in Programming Languages and Compilers (Fall 2017)