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

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

Semantic-Type-Guided Bug Finding. - Kelvin Qian; Scott F. Smith 001; Brandon Stride; Shiwei Weng; Ke Wu 015 (Proc. ACM Program. Lang., 2024)