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