共 50 条
- [2] DeepRace: A learning-based data race detector 2021 IEEE INTERNATIONAL CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION WORKSHOPS (ICSTW 2021), 2021, : 226 - 233
- [5] ATDetector: Improving the Accuracy of a Commercial Data Race Detector by Identifying Address Transfer PROCEEDINGS OF THE 2011 44TH ANNUAL IEEE/ACM INTERNATIONAL SYMPOSIUM ON MICROARCHITECTURE (MICRO 44), 2011, : 206 - 215
- [6] Rchecker: A CBMC-based Data Race Detector for Interrupt-driven Programs COMPANION OF THE 2020 IEEE 20TH INTERNATIONAL CONFERENCE ON SOFTWARE QUALITY, RELIABILITY, AND SECURITY (QRS-C 2020), 2020, : 465 - 471
- [7] Understanding the Performance of Dynamic Data Race Detection PROCEEDINGS OF FIFTH INTERNATIONAL WORKSHOP ON SOFTWARE CORRECTNESS FOR HPC APPLICATIONS (CORRECTNESS 2021), 2021, : 33 - 40
- [8] Deep Learning Based Data Race Detection Approach Jisuanji Yanjiu yu Fazhan/Computer Research and Development, 2022, 59 (09): : 1914 - 1928