Haichi Wang

Publication Activity (10 Years)

Years Active: 2020-2023
Publications (10 Years): 3

Top Topics

Detection Method

Undirected Graph

Automatically Acquiring

Top Venues

Int. J. Softw. Informatics

Publications

Shuochuan Li, Zan Wang, Mingxu Ma, Xiang Chen, Yingquan Zhao, Haichi Wang, Haoyu Wang
GC-MCR: Directed Graph Constraint-guided Concurrent Bug Detection Method. Int. J. Softw. Informatics 13 (3) (2023)
Zan Wang, Haichi Wang, Shuang Liu, Jun Sun, Haoyu Wang, Junjie Chen
IFIX: Fixing Concurrency Bugs While They Are Introduced. ICECCS (2020)
Haichi Wang, Zan Wang, Jun Sun, Shuang Liu, Ayesha Sadiq, Yuan-Fang Li
Towards Generating Thread-Safe Classes Automatically. ASE (2020)