Haichi Wang

According to our database¹, Haichi Wang authored at least 3 papers between 2020 and 2023.

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of four.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Bibliography

2023

GC-MCR: Directed Graph Constraint-guided Concurrent Bug Detection Method.

[BibT_eX]

[DOI]

Int. J. Softw. Informatics, 2023

2020

Towards Generating Thread-Safe Classes Automatically.

[BibT_eX]

[DOI]

Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering, 2020

IFIX: Fixing Concurrency Bugs While They Are Introduced.

[BibT_eX]

[DOI]

Proceedings of the 25th International Conference on Engineering of Complex Computer Systems, 2020

Haichi Wang

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...