Bailin Lu

According to our database, Bailin Lu authored at least 2 papers between 2018 and 2023.

Collaborative distances:

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

2023

OpenMP Program Verification Based on Bounded Model Checking.

Liang Sun, Bailin Lu, Liangze Yin, Zhe Bu, Wenjing Jin

Proceedings of the 23rd IEEE International Conference on Software Quality, 2023

2018

Evaluating and Integrating Diverse Bug Finders for Effective Program Analysis.

Bailin Lu, Wei Dong, Liangze Yin, Li Zhang

Proceedings of the Software Analysis, Testing, and Evolution, 2018