Generating AspectJ Programs with Meta-AspectJ. - David Zook; Shan Shan Huang; Yannis Smaragdakis (GPCE, 2004)

Program generators and the tools to make them. - Yannis Smaragdakis; Shan Shan Huang; David Zook (PEPM, 2004)

cJ: enhancing java with safe type conditions. - Shan Shan Huang; David Zook; Yannis Smaragdakis (AOSD, 2007)

Morphing: Safely Shaping a Class in the Image of Others. - Shan Shan Huang; David Zook; Yannis Smaragdakis (ECOOP, 2007)

Domain-specific languages and program generation with meta-AspectJ. - Shan Shan Huang; David Zook; Yannis Smaragdakis (ACM Trans. Softw. Eng. Methodol., 2008)

Declarative Reconfigurable Trust Management. - William R. Marczak; David Zook; Wenchao Zhou; Molham Aref; Boon Thau Loo (CIDR, 2009)

Experience report: Using tools and domain expertise to remediate architectural violations in the LogicBlox software base. - R. E. Kurt Stirewalt; Spencer Rugaber; Hwa-You Hsu; David Zook (ICSE Companion, 2009)

Typed Datalog. - David Zook; Emir Pasalic; Beata Sarna-Starosta (PADL, 2009)

Statically safe program generation with SafeGen. - Shan Shan Huang; David Zook; Yannis Smaragdakis (Sci. Comput. Program., 2011)