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)