Weikun Yang

According to our database, Weikun Yang authored at least 5 papers between 2015 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2020

Synthesizing Environment Invariants for Modular Hardware Verification.

Hongce Zhang, Weikun Yang, Grigory Fedyukovich, Aarti Gupta, Sharad Malik

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2020

2019

Lemma Synthesis for Automating Induction over Algebraic Data Types.

Weikun Yang, Grigory Fedyukovich, Aarti Gupta

Proceedings of the Principles and Practice of Constraint Programming, 2019

2018

Lazy Self-composition for Security Verification.

Weikun Yang, Yakir Vizel, Pramod Subramanyan, Aarti Gupta, Sharad Malik

Proceedings of the Computer Aided Verification - 30th International Conference, 2018

2016

Ramulator: A Fast and Extensible DRAM Simulator.

Yoongu Kim, Weikun Yang, Onur Mutlu

IEEE Comput. Archit. Lett., 2016

2015

Safe Memory-Leak Fixing for C Programs.

Qing Gao, Yingfei Xiong, Yaqing Mi, Lu Zhang, Weikun Yang, Zhaoping Zhou, Bing Xie, Hong Mei

Proceedings of the 37th IEEE/ACM International Conference on Software Engineering, 2015