Safe Memory-Leak Fixing for C Programs. - Qing Gao; Yingfei Xiong 001; Yaqing Mi; Lu Zhang 023; Weikun Yang; Zhaoping Zhou; Bing Xie; Hong Mei 001 (ICSE (1), 2015)

Ramulator: A Fast and Extensible DRAM Simulator. - Yoongu Kim; Weikun Yang; Onur Mutlu (IEEE Comput. Archit. Lett., 2016)

Lazy Self-composition for Security Verification. - Weikun Yang; Yakir Vizel; Pramod Subramanyan; Aarti Gupta; Sharad Malik (CAV (2), 2018)

Lemma Synthesis for Automating Induction over Algebraic Data Types. - Weikun Yang; Grigory Fedyukovich; Aarti Gupta (CP, 2019)

Synthesizing Environment Invariants for Modular Hardware Verification. - Hongce Zhang; Weikun Yang; Grigory Fedyukovich; Aarti Gupta; Sharad Malik (VMCAI, 2020)