Static conflict analysis for multi-threaded object-oriented programs

被引：0
|
作者：
Von Praun, Christoph [1 ]
Gross, Thomas R. [1 ]
机构：
[1] Laboratory for Software Technology, ETH Zürich, 8092 Zürich, Switzerland
来源：
ACM SIGPLAN Not. | 1600年 / 5卷 / 115-128期
关键词：
Compendex;
D O I：
Proceedings of the ACM Sigplan 2003 Conference on Programming Language Design and Implementation
中图分类号：
学科分类号：
摘要：
Data structures - Graph theory - Java programming language - Object oriented programming - Program diagnostics - Response time (computer systems)
引用
收藏
相关论文
共 50 条
  • [21] A Basis for Verifying Multi-threaded Programs
    Rustan, K.
    Leino, M.
    Mueller, Peter
    PROGRAMMING LANGUAGES AND SYSTEMS, PROCEEDINGS, 2009, 5502 : 378 - 393
  • [22] Information leakage of multi-threaded programs
    Noroozi, Ali A.
    Karimpour, Jaber
    Isazadeh, Ayaz
    COMPUTERS & ELECTRICAL ENGINEERING, 2019, 78 : 400 - 419
  • [23] Probabilistic noninterference for multi-threaded programs
    Sabelfeld, A
    Sands, D
    13TH IEEE COMPUTER SECURITY FOUNDATIONS WORKSHOP, PROCEEDINGS, 2000, : 200 - 214
  • [24] Causal Termination of Multi-threaded Programs
    Kupriyanov, Andrey
    Finkbeiner, Bernd
    COMPUTER AIDED VERIFICATION, CAV 2014, 2014, 8559 : 814 - 830
  • [25] Regression Verification for Multi-threaded Programs
    Chaki, Sagar
    Gurfinkel, Arie
    Strichman, Ofer
    VERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION, 2012, 7148 : 119 - 135
  • [26] Bisimulation for Secure Information Flow Analysis of Multi-Threaded Programs
    Noroozi, Ali A.
    Karimpour, Jaber
    Isazadeh, Ayaz
    MATHEMATICAL AND COMPUTATIONAL APPLICATIONS, 2019, 24 (02)
  • [27] A Target-oriented UAF Vulnerability Prediction Method of Multi-threaded Programs
    Lu F.-M.
    Tang M.-F.
    Bao Y.-X.
    Zeng Q.-T.
    Li Y.-C.
    Ruan Jian Xue Bao/Journal of Software, 2023, 34 (07):
  • [28] Efficient Predictive Analysis for Detecting Nondeterminism in Multi-Threaded Programs
    Sinha, Arnab
    Malik, Sharad
    Gupta, Aarti
    PROCEEDINGS OF THE 12TH CONFERENCE ON FORMAL METHODS IN COMPUTER-AIDED DESIGN (FMCAD 2012), 2012, : 6 - 15
  • [29] Synergistic Timing Speculation for Multi-threaded Programs
    Yasin, Atif
    Zhang, Jeff
    Chen, Hu
    Garg, Siddharth
    Roy, Sanghamitra
    Chakraborty, Koushik
    2016 ACM/EDAC/IEEE DESIGN AUTOMATION CONFERENCE (DAC), 2016,
  • [30] On testing multi-threaded Java']Java programs
    Gong, Xufang
    Wang, Yanchen
    Zhou, Ying
    Li, Bixin
    SNPD 2007: EIGHTH ACIS INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, ARTIFICIAL INTELLIGENCE, NETWORKING, AND PARALLEL/DISTRIBUTED COMPUTING, VOL 1, PROCEEDINGS, 2007, : 702 - +
12345