Static Data Race Detection for Java Programs With Dynamic Class Loading

被引：3
|
作者：
Yoshiura, Noriaki [1 ]
Wei, Wei [1 ]
机构：
[1] Department of Information and Computer Sciences, Saitama University, 255, Shimo-ookubo, Sakura-ku, Saitama, Japan
来源：
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | 2014年 / 8729卷
关键词：
D O I：
10.1007/978-3-319-11692-1_14
中图分类号：
学科分类号：
摘要：
16
引用
收藏
页码：161 / 173
相关论文
共 50 条
  • [1] Improved static resolution of dynamic class loading in Java']Java
    Sawin, Jason
    Rountev, Atanas
    SEVENTH IEEE INTERNATIONAL WORKING CONFERENCE ON SOURCE CODE ANALYSIS AND MANIPULATION, PROCEEDINGS, 2007, : 143 - 152
  • [2] Dynamic data race detection in Java']Java-programs using synchronization contracts
    Tsitelov, Dmitry
    Trifanov, Vitaly
    2013 TOOLS & METHODS OF PROGRAM ANALYSIS (TMPA 2013), 2013, : 3 - 8
  • [3] Incremental detection of data race for java programs
    Zhang, Yu
    Hao, Yunyun
    Hsi-An Chiao Tung Ta Hsueh/Journal of Xi'an Jiaotong University, 2009, 43 (08): : 22 - 27
  • [4] Effective static race detection for Java']Java
    Naik, Mayur
    Aiken, Alex
    Whaley, John
    ACM SIGPLAN NOTICES, 2006, 41 (06) : 308 - 319
  • [5] Static data-race detection for multithread programs
    Department of Computer Science and Technology, University of Science and Technology of China, Hefei 230027, China
    不详
    Jisuanji Yanjiu yu Fazhan, 2006, 2 (329-335):
  • [6] Dynamic Data Race Detection for OpenMP Programs
    Gu, Yizi
    Mellor-Crummey, John
    PROCEEDINGS OF THE INTERNATIONAL CONFERENCE FOR HIGH PERFORMANCE COMPUTING, NETWORKING, STORAGE, AND ANALYSIS (SC'18), 2018,
  • [7] A CASE Tool for JAVA']JAVA Programs Logical Errors Detection: Static and Dynamic Testing
    Al-Ashwal, Deena
    Al-Sewari, Eman Zaid
    Al-Shargabi, Asma Abdulghani
    2018 19TH INTERNATIONAL ARAB CONFERENCE ON INFORMATION TECHNOLOGY (ACIT), 2018, : 256 - 261
  • [8] Analysis of dynamic class loading in Java']Java
    Kim, KT
    Jo, SM
    Kouh, HJ
    Sim, HJ
    Lee, KL
    Yoo, WH
    PDPTA'03: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON PARALLEL AND DISTRIBUTED PROCESSING TECHNIQUES AND APPLICATIONS, VOLS 1-4, 2003, : 1628 - 1634
  • [9] Effective static race detection for Java
    Computer Science Department, Stanford University, United States
    Proc ACM SIGPLAN Conf Program Lang Des Implementation PLDI, (308-319):
  • [10] 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
12345