Static data-race detection for multithread programs

被引：1
|
作者：
Department of Computer Science and Technology, University of Science and Technology of China, Hefei 230027, China [1 ]
不详 [2 ]
机构：
来源：
Jisuanji Yanjiu yu Fazhan | 2006年 / 2卷 / 329-335期
关键词：
D O I：
10.1360/crad20060221
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [1] Fast and accurate static data-race detection for concurrent programs
    Kahlon, Vineet
    Yang, Yu
    Sankaranarayanan, Sriram
    Gupta, Aarti
    COMPUTER AIDED VERIFICATION, PROCEEDINGS, 2007, 4590 : 226 - +
  • [2] LLOV: A Fast Static Data-Race Checker for OpenMP Programs
    Bora, Utpal
    Das, Santanu
    Kukreja, Pankaj
    Joshi, Saurabh
    Upadrasta, Ramakrishna
    Rajopadhye, Sanjay
    ACM TRANSACTIONS ON ARCHITECTURE AND CODE OPTIMIZATION, 2020, 17 (04)
  • [3] OpenMP aware MHP Analysis for Improved Static Data-Race Detection
    Bora, Utpal
    Vaishay, Shraiysh
    Joshi, Saurabh
    Upadrasta, Ramakrishna
    PROCEEDINGS OF THE SEVENTH ANNUAL WORKSHOP ON THE LLVM COMPILER INFRASTRUCTURE IN HPC (LLVM-HPC2021), 2021, : 1 - 11
  • [4] Efficient Data-Race Detection with Dynamic Symbolic Execution
    Ibing, Andreas
    PROCEEDINGS OF THE 2016 FEDERATED CONFERENCE ON COMPUTER SCIENCE AND INFORMATION SYSTEMS (FEDCSIS), 2016, 8 : 1719 - 1726
  • [5] Model-Checking Task Parallel Programs for Data-Race
    Nakade, Radha
    Mercer, Eric
    Aldous, Peter
    McCarthy, Jay
    NASA FORMAL METHODS, NFM 2018, 2018, 10811 : 367 - 382
  • [6] Online data-race detection via coherency guarantees
    Perkovic, D
    Keleher, PJ
    PROCEEDINGS OF THE SECOND SYMPOSIUM ON OPERATING SYSTEMS DESIGN AND IMPLEMENTATION (OSDI '96), 1996, : 47 - 57
  • [7] LiteRace: Effective Sampling for Lightweight Data-Race Detection
    Marino, Daniel
    Musuvathi, Madanlal
    Narayanasamy, Satish
    ACM SIGPLAN NOTICES, 2009, 44 (06) : 134 - 143
  • [8] LiteRace: Effective Sampling for Lightweight Data-Race Detection
    Marino, Daniel
    Musuvathi, Madanlal
    Narayanasamy, Satish
    PLDI'09 PROCEEDINGS OF THE 2009 ACM SIGPLAN CONFERENCE ON PROGRAMMING LANGUAGE DESIGN AND IMPLEMENTATION, 2009, : 134 - 143
  • [9] Static analysis for concurrent programs with applications to data race detection
    Kahlon V.
    Sankaranarayanan S.
    Gupta A.
    International Journal on Software Tools for Technology Transfer, 2013, 15 (4) : 321 - 336
  • [10] Static Data Race Detection for Concurrent Programs with Asynchronous Calls
    Kahlon, Vineet
    Sinha, Nishant
    Kruus, Erik
    Zhang, Yun
    7TH JOINT MEETING OF THE EUROPEAN SOFTWARE ENGINEERING CONFERENCE AND THE ACM SIGSOFT SYMPOSIUM ON THE FOUNDATIONS OF SOFTWARE ENGINEERING, 2009, : 13 - 22
12345