Lei Wang

Extendable pattern-oriented optimization directives

Xiaobing Feng, Jingling Xue, Dongrui Fan, 2011, TACO.

May-happen-in-parallel analysis with static vector clocks

Qing Zhou, Lei Wang, Xiaobing Feng, 2018, CGO.

Detecting and Eliminating Potential Violations of Sequential Consistency for Concurrent C/C++ Programs

Chao Zhang, Xiaobing Feng, Pen-Chung Yew, 2009, 2009 International Symposium on Code Generation and Optimization.