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 条
  • [41] Scaling Data Race Detection for Partitioned Global Address Space Programs
    Park, Chang-Seo
    Sen, Koushik
    Iancu, Costin
    ACM SIGPLAN NOTICES, 2013, 48 (08) : 305 - 306
  • [42] A simple proof of data-race freedom and coherence for Simpson's 4-slot Algorithm
    Wang, Xu
    Xu, Qiwen
    37TH ANNUAL ACM SYMPOSIUM ON APPLIED COMPUTING, 2022, : 1853 - 1856
  • [43] Effective static race detection for Java
    Computer Science Department, Stanford University, United States
    Proc ACM SIGPLAN Conf Program Lang Des Implementation PLDI, (308-319):
  • [44] RACERD: Compositional Static Race Detection
    Blackshear, Sam
    Gorogiannis, Nikos
    O'Hearn, Peter W.
    Sergey, Ilya
    PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2018, 2 (02):
  • [45] Static Detection of Race Conditions in Erlang
    Christakis, Maria
    Sagonas, Konstantinos
    PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES, PROCEEDINGS, 2010, 5937 : 119 - 133
  • [46] Random forest instruction level detection model for data race in multithreaded programs
    Sun J.
    Yang J.
    Yang Z.
    Qinghua Daxue Xuebao/Journal of Tsinghua University, 2020, 60 (10): : 804 - 813
  • [47] Efficient on-the-fly data race detection in multithreaded C++ programs
    Pozniansky, E
    Schuster, A
    ACM SIGPLAN NOTICES, 2003, 38 (10) : 178 - 189
  • [48] High-precision Data Race Detection Method for Large Scale Programs
    Gao F.-J.
    Wang Y.
    Zhou J.-G.
    Xu A.-Z.
    Wang L.-Z.
    Wu R.-X.
    Zhang C.
    Su Z.-D.
    Ruan Jian Xue Bao/Journal of Software, 2021, 32 (07): : 2039 - 2055
  • [49] Compiler Optimization for Reducing Leakage Power in Multithread BSP Programs
    Shih, Wen-Li
    You, Yi-Ping
    Huang, Chung-Wen
    Lee, Jenq Kuen
    ACM TRANSACTIONS ON DESIGN AUTOMATION OF ELECTRONIC SYSTEMS, 2014, 20 (01) : 1 - 34
  • [50] OMPRacer: A Scalable and Precise Static Race Detector for OpenMP Programs
    Swain, Bradley
    Li, Yanze
    Liu, Peiming
    Laguna, Ignacio
    Georgakoudis, Giorgis
    Huang, Jeff
    PROCEEDINGS OF SC20: THE INTERNATIONAL CONFERENCE FOR HIGH PERFORMANCE COMPUTING, NETWORKING, STORAGE AND ANALYSIS (SC20), 2020,
12345