Weikun Yang
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
4
Active years
2015–2020
Best venue rank
A*
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2020 | VMCAI | Synthesizing Environment Invariants for Modular Hardware Verification. | Hongce Zhang, Weikun Yang, Grigory Fedyukovich, Aarti Gupta, Sharad Malik |
| 2019 | CP | Lemma Synthesis for Automating Induction over Algebraic Data Types. | Weikun Yang, Grigory Fedyukovich, Aarti Gupta |
| 2018 | CAV | Lazy Self-composition for Security Verification. | Weikun Yang, Yakir Vizel, Pramod Subramanyan, Aarti Gupta, Sharad Malik |
| 2015 | ICSE | Safe Memory-Leak Fixing for C Programs. | Qing Gao, Yingfei Xiong, Yaqing Mi, Lu Zhang, Weikun Yang, Zhaoping Zhou, Bing Xie, Hong Mei |