Weikun Yang

Publication Activity (10 Years)

Years Active: 2015-2020
Publications (10 Years): 4

Top Topics

Integrity Verification

Evolutionary Robotics

Top Venues

IEEE Comput. Archit. Lett.

Publications

Hongce Zhang, Weikun Yang, Grigory Fedyukovich, Aarti Gupta, Sharad Malik
Synthesizing Environment Invariants for Modular Hardware Verification. VMCAI (2020)
Weikun Yang, Grigory Fedyukovich, Aarti Gupta
Lemma Synthesis for Automating Induction over Algebraic Data Types. CP (2019)
Weikun Yang, Yakir Vizel, Pramod Subramanyan, Aarti Gupta, Sharad Malik
Lazy Self-composition for Security Verification. CAV (2) (2018)
Yoongu Kim, Weikun Yang, Onur Mutlu
Ramulator: A Fast and Extensible DRAM Simulator. IEEE Comput. Archit. Lett. 15 (1) (2016)
Qing Gao, Yingfei Xiong, Yaqing Mi, Lu Zhang, Weikun Yang, Zhaoping Zhou, Bing Xie, Hong Mei
Safe Memory-Leak Fixing for C Programs. ICSE (1) (2015)