Optimizing abstract abstract machines. - Dionna Amalie Glaze; Nicholas Labich; Matthew Might; David Van Horn (ICFP, 2013)

Incremental computation with names. - Matthew A. Hammer; Jana Dunfield; Kyle Headley; Nicholas Labich; Jeffrey S. Foster; Michael W. Hicks; David Van Horn (OOPSLA, 2015)

Abstracting Definitional Interpreters. - David Darais; Nicholas Labich; Phuc C. Nguyen; David Van Horn (CoRR, 2017)

Abstracting definitional interpreters (functional pearl). - David Darais; Nicholas Labich; Phuc C. Nguyen; David Van Horn (Proc. ACM Program. Lang., 2017)