Trace-Guided Inductive Synthesis of Recursive Functional Programs. - Yongwei Yuan; Arjun Radhakrishna; Roopsha Samanta (Proc. ACM Program. Lang., 2023)

Live Pattern Matching with Typed Holes. - Yongwei Yuan; Scott Guest; Eric Griffis; Hannah Potter; David Moon; Cyrus Omar (Proc. ACM Program. Lang., 2023)

Consolidating Smart Contracts with Behavioral Contracts. - Guannan Wei 001; Danning Xie; Wuqi Zhang; Yongwei Yuan; Zhuo Zhang 002 (Proc. ACM Program. Lang., 2024)

Formally Verified Cloud-Scale Authorization. - Aleks Chakarov; Jaco Geldenhuys; Matthew Heck; Michael Hicks 001; Sam Huang; Georges-Axel Jaloyan; Anjali Joshi; K. Rustan M. Leino; Mikael Mayer; Sean McLaughlin; Akhilesh Mritunjai; Clément Pit-Claudel; et al. (ICSE, 2025)

Derivative-Guided Symbolic Execution. - Yongwei Yuan; Zhe Zhou; Julia Belyakova; Suresh Jagannathan (Proc. ACM Program. Lang., 2025)