Precise garbage collection for C. - Jon Rafkind; Adam Wick; John Regehr; Matthew Flatt (ISMM, 2009)

Honu: syntactic extension for algebraic notation through enforestation. - Jon Rafkind; Matthew Flatt (GPCE, 2012)

Run your research: on the effectiveness of lightweight mechanization. - Casey Klein; John Clements; Christos Dimoulas; Carl Eastlund; Matthias Felleisen; Matthew Flatt; Jay A. McCarthy; Jon Rafkind; Sam Tobin-Hochstadt; Robert Bruce Findler (POPL, 2012)

Syntactic Extension for Languages with Implicitly Delimited and Infix Syntax. - Jon Rafkind (2013)