共 50 条
- [1] ARCHER: Effectively Spotting Data Races in Large OpenMP Applications 2016 IEEE 30TH INTERNATIONAL PARALLEL AND DISTRIBUTED PROCESSING SYMPOSIUM (IPDPS 2016), 2016, : 53 - 62
- [2] Developing an Interactive OpenMP Programming Book with Large Language Models ADVANCING OPENMP FOR FUTURE ACCELERATORS, IWOMP 2024, 2024, 15195 : 176 - 194
- [3] A Petri Nets Based Approach for Detecting the Data Races and Deadlocks in OpenMP Program 2012 THIRD INTERNATIONAL CONFERENCE ON THEORETICAL AND MATHEMATICAL FOUNDATIONS OF COMPUTER SCIENCE (ICTMF 2012), 2013, 38 : 229 - 237
- [4] Large Language Models Are Zero-Shot Fuzzers: Fuzzing Deep-Learning Libraries via Large Language Models PROCEEDINGS OF THE 32ND ACM SIGSOFT INTERNATIONAL SYMPOSIUM ON SOFTWARE TESTING AND ANALYSIS, ISSTA 2023, 2023, : 423 - 435
- [5] Leveraging the Dynamic Program Structure Tree to Detect Data Races in OpenMP Programs 2022 IEEE/ACM SIXTH INTERNATIONAL WORKSHOP ON SOFTWARE CORRECTNESS FOR HPC APPLICATIONS (CORRECTNESS), 2022, : 54 - 62
- [9] Demystifying Data Management for Large Language Models COMPANION OF THE 2024 INTERNATIONAL CONFERENCE ON MANAGEMENT OF DATA, SIGMOD-COMPANION 2024, 2024, : 547 - 555
- [10] Does It Matter? - OMPSanitizer: An Impact Analyzer of Reported Data Races in OpenMP Programs PROCEEDINGS OF THE 2021 ACM INTERNATIONAL CONFERENCE ON SUPERCOMPUTING, ICS 2021, 2021, : 40 - 51