Tiark Rompf
firstname@purdue.edu
google scholar
,
dblp
github.com/tiarkrompf
twitter.com/tiarkrompf
Purdue PL Center (PurPL)
Home
|
Research
|
Notes
|
Publications
|
Talks
|
Group
|
Teaching
|
Service
Teaching
CS 352
compilers (2020, 2018, 2017, 2015)
CS 502
grad compilers (2019, 2015)
CS 565
software foundations (2016, 2015)
CS 590
metaprogramming (2014)
CS 590
deep learning for symbolic reasoning (2018)