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 条
  • [1] A study of common pitfalls in simple multi-threaded programs
    Choi, SE
    Lewis, EC
    SIGCSE 2000: PROCEEDINGS OF THE THIRTY-FIRST SIGCSE TECHNICAL SYMPOSIUM ON COMPUTER SCIENCE EDUCATION, 2000, 32 (01): : 325 - 329
  • [2] Security Check for Multi-threaded Programs
    Tri Minh Ngo
    Tuan Van Nguyen
    2016 IEEE SIXTH INTERNATIONAL CONFERENCE ON COMMUNICATIONS AND ELECTRONICS (ICCE), 2016, : 465 - 470
  • [3] Information Declassification for Multi-Threaded Programs
    Zhu, Hao
    Zhuang, Yi
    Chen, Xiang
    APPLIED MATHEMATICS & INFORMATION SCIENCES, 2014, 8 (04): : 1911 - 1916
  • [4] A Basis for Verifying Multi-threaded Programs
    Rustan, K.
    Leino, M.
    Mueller, Peter
    PROGRAMMING LANGUAGES AND SYSTEMS, PROCEEDINGS, 2009, 5502 : 378 - 393
  • [5] Information leakage of multi-threaded programs
    Noroozi, Ali A.
    Karimpour, Jaber
    Isazadeh, Ayaz
    COMPUTERS & ELECTRICAL ENGINEERING, 2019, 78 : 400 - 419
  • [6] Probabilistic noninterference for multi-threaded programs
    Sabelfeld, A
    Sands, D
    13TH IEEE COMPUTER SECURITY FOUNDATIONS WORKSHOP, PROCEEDINGS, 2000, : 200 - 214
  • [7] Causal Termination of Multi-threaded Programs
    Kupriyanov, Andrey
    Finkbeiner, Bernd
    COMPUTER AIDED VERIFICATION, CAV 2014, 2014, 8559 : 814 - 830
  • [8] Regression Verification for Multi-threaded Programs
    Chaki, Sagar
    Gurfinkel, Arie
    Strichman, Ofer
    VERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION, 2012, 7148 : 119 - 135
  • [9] 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,
  • [10] Quantitative Analysis of Leakage for Multi-threaded Programs
    Chen, Han
    Malacaria, Pasquale
    PLAS'07: PROCEEDINGS OF THE 2007 ACM SIGPLAN WORKSHOP ON PROGRAMMING LANGUAGES AND ANALYSIS FOR SECURITY, 2007, : 31 - 40
12345