Backstage Java: making a difference in metaprogramming. - Zachary Palmer; Scott F. Smith 001 (OOPSLA, 2011)

Types for Flexible Objects. - Zachary Palmer; Pottayil Harisanker Menon; Alexander Rozenshteyn; Scott F. Smith 001 (APLAS, 2014)

Higher-Order Demand-Driven Program Analysis. - Zachary Palmer; Scott F. Smith 001 (ECOOP, 2016)

Higher-Order Demand-Driven Program Analysis (Artifact). - Leandro Facchinetti; Zachary Palmer; Scott F. Smith 001 (Dagstuhl Artifacts Ser., 2016)

Relative Store Fragments for Singleton Abstraction. - Leandro Facchinetti; Zachary Palmer; Scott F. Smith 001 (SAS, 2017)

Higher-order Demand-driven Program Analysis. - Leandro Facchinetti; Zachary Palmer; Scott F. Smith 001 (ACM Trans. Program. Lang. Syst., 2019)

A Set-Based Context Model for Program Analysis. - Leandro Facchinetti; Zachary Palmer; Scott F. Smith 001; Ke Wu; Ayaka Yorihiro (APLAS, 2020)

Higher-order demand-driven symbolic evaluation. - Zachary Palmer; Theodore Park; Scott F. Smith 001; Shiwei Weng (Proc. ACM Program. Lang., 2020)

Intensional Functions. - Zachary Palmer; Nathaniel Wesley Filardo; Ke Wu (Proc. ACM Program. Lang., 2024)