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

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

PEA: Enhancing LLM Performance on Computational-Reasoning Tasks. - Zi Wang; Shiwei Weng; Mohannad Alhanahnah; Somesh Jha; Thomas W. Reps (CoRR, 2025)