Equivalence by Canonicalization for Synthesis-Backed Refactoring. - Justin Lubin; Jeremy Ferguson; Kevin Ye; Jacob Yim; Sarah E. Chasins (Proc. ACM Program. Lang., 2024)

Analyzing Security and Privacy Challenges in Generative AI Usage Guidelines for Higher Education. - Bei Yi Ng; Jiarui Li; Xinyuan Tong; Kevin Ye; Gauthami Yenne; Varun Chandrasekaran; Jingjie Li (CoRR, 2025)