Evaluating and Integrating Diverse Bug Finders for Effective Program Analysis. - Bailin Lu; Wei Dong 006; Liangze Yin; Li Zhang (SATE, 2018)

OpenMP Program Verification Based on Bounded Model Checking. - Liang Sun; Bailin Lu; Liangze Yin; Zhe Bu; Wenjing Jin 004 (QRS Companion, 2023)