Incremental type-checking for type-reflective metaprograms. - Weiyu Miao; Jeremy G. Siek (GPCE, 2010)

Pattern-based traits. - Weiyu Miao; Jeremy G. Siek (SAC, 2012)

Compile-time reflection and metaprogramming for Java. - Weiyu Miao; Jeremy G. Siek (PEPM, 2014)