Study of common pitfalls in simple multi-threaded programs

被引：12
|
作者：
Choi, Sung-Eun [1 ]
Lewis, E. Christopher [2 ]
机构：
[1] Los Alamos National Laboratory, Advanced Computing Laboratory, MS B287, P.O. Box 1663, Los Alamos, NM, United States
[2] Department of Computer Science and Engineering, University of Washington, Box 352350, Seattle, WA, United States
来源：
SIGCSE Bulletin (Association for Computing Machinery, Special Interest Group on Computer Science Education) | 2000年
关键词：
D O I：
10.1145/331795.331879
中图分类号：
学科分类号：
摘要：
引用
收藏
页码：325 / 329
相关论文
共 50 条
  • [21] Reduction for Compositional Verification of Multi-Threaded Programs
    Popeea, Corneliu
    Rybalchenko, Andrey
    Wilhelm, Andreas
    2014 FORMAL METHODS IN COMPUTER-AIDED DESIGN (FMCAD), 2014, : 187 - 194
  • [22] A generic approach to the security of multi-threaded programs
    Mantel, H
    Sabelfeld, A
    14TH IEEE COMPUTER SECURITY FOUNDATIONS WORKSHOP, PROCEEDINGS, 2001, : 126 - 142
  • [23] Effective verification of confidentiality for multi-threaded programs
    Ngo, Tri Minh
    Stoelinga, Marielle
    Huisman, Marieke
    JOURNAL OF COMPUTER SECURITY, 2014, 22 (02) : 269 - 300
  • [24] Analyzing the Impact of Change in Multi-threaded Programs
    Chatterjee, Krishnendu
    de Alfaro, Luca
    Raman, Vishwanath
    Sanchez, Cesar
    FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING, PROCEEDINGS, 2010, 6013 : 293 - +
  • [25] Sound Predictive Fuzzing for Multi-threaded Programs
    Guo, Yuqi
    Liang, Zheheng
    Zhu, Shihao
    Wang, Jinqiu
    Yang, Zijiang
    Shen, Wuqiang
    Zhang, Jinbo
    Cai, Yan
    2023 IEEE 47TH ANNUAL COMPUTERS, SOFTWARE, AND APPLICATIONS CONFERENCE, COMPSAC, 2023, : 810 - 819
  • [26] Lost in abstraction: Monotonicity in multi-threaded programs
    Kaiser, Alexander
    Kroening, Daniel
    Wahl, Thomas
    INFORMATION AND COMPUTATION, 2017, 252 : 30 - 47
  • [27] A formal study of slicing for multi-threaded programs with JVM concurrency primitives
    Hatcliff, J
    Corbett, J
    Dwyer, M
    Sokolowski, S
    Zheng, HJ
    STATIC ANALYSIS, 1999, 1694 : 1 - 18
  • [28] A Dynamic Logic for deductive verification of multi-threaded programs
    Beckert, Bernhard
    Klebanov, Vladimir
    FORMAL ASPECTS OF COMPUTING, 2013, 25 (03) : 405 - 437
  • [29] MuTT: a Multi-Threaded Tracer for Java']Java Programs
    Liu, Dapeng
    Xu, Shaochun
    PROCEEDINGS OF THE 8TH IEEE/ACIS INTERNATIONAL CONFERENCE ON COMPUTER AND INFORMATION SCIENCE, 2009, : 949 - +
  • [30] The Optimum Leakage Principle for Analyzing Multi-threaded Programs
    Chen, Han
    Malacaria, Pasquale
    INFORMATION THEORETIC SECURITY, 2010, 5973 : 177 - 193
12345