2021: Advanced Topics in Compilers

 

2018: Deep Learning for Symbolic Reasoning

 

2014: Metaprogramming