Detecting Data Races in Language Virtual Machines with RaceHunter. Lessons Learned.
In this paper, we share our experience applying a dynamic data race detector to an industrial virtual machine. We present key lessons learned during this process and outline each challenge and the corresponding solution.
Authors
- Pavel Andrianov (ORCID: https://orcid.org/0000-0002-6855-7919)
- Evgeny Anatolyevich Gerlits (ORCID: https://orcid.org/0000-0002-1747-075X)
- Vadim Mutilin (ORCID: https://orcid.org/0000-0003-3097-8512)
Institutions
- Beijing Academy of Artificial Intelligence (CN)
- Institute for System Programming (RU)
Publication Details
- Published
- 2025-06-23
- DOI
- https://doi.org/10.1145/3696630.3731435
- Citations
- 1
- Primary Topic
- Natural Language Processing Techniques
- Type
- article
- Field-Weighted Citation Impact
- 2.48