Cache-based bounds checking for multi-threaded C programs

被引：0
|
作者：
Department of Computer Science, Tokyo Institute of Technology, 2-12-1 Oookayama, Meguro-ku, Tokyo 152-8552, Japan [1 ]
不详 [2 ]
机构：
来源：
Proc. IASTED INt. Conf. Parall. Distrib. Comput. Syst. | / 386-393期
关键词：
Compilation and indexing terms; Copyright 2025 Elsevier Inc;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
Computer aided software engineering - Dynamic analysis
引用
收藏
相关论文
共 50 条
  • [1] Fault Localization in Multi-Threaded C Programs using Bounded Model Checking
    Alves, Erickson H. da S.
    Cordeiro, Lucas C.
    de Lima Filho, Eddie B.
    2015 BRAZILIAN SYMPOSIUM ON COMPUTING SYSTEMS ENGINEERING (SBESC), 2015, : 96 - 101
  • [2] Bounded Model Checking of Multi-threaded C Programs via Lazy Sequentialization
    Inverso, Omar
    Tomasco, Ermenegildo
    Fischer, Bernd
    La Torre, Salvatore
    Parlato, Gennaro
    COMPUTER AIDED VERIFICATION, CAV 2014, 2014, 8559 : 585 - 602
  • [3] Model-checking multi-threaded distributed Java programs
    Stoller S.D.
    International Journal on Software Tools for Technology Transfer, 2002, 4 (01) : 71 - 91
  • [4] Parallel and Distributed Bounded Model Checking of Multi-threaded Programs
    Inverso, Omar
    Trubiani, Catia
    PROCEEDINGS OF THE 25TH ACM SIGPLAN SYMPOSIUM ON PRINCIPLES AND PRACTICE OF PARALLEL PROGRAMMING (PPOPP '20), 2020, : 202 - 216
  • [5] Verifying multi-threaded C programs with SPIN
    Zaks, Anna
    Joshi, Rajeev
    MODEL CHECKING SOFTWARE, PROCEEDINGS, 2008, 5156 : 325 - +
  • [6] Model-checking multi-threaded distributed Java']Java programs
    Stoller, SD
    SPIN MODEL CHECKING AND SOFTWARE VERIFICATON, 2000, 1885 : 224 - 244
  • [7] Model-Checking Secure Information Flow for Multi-threaded Programs
    Huisman, Marieke
    Blondeel, Henri-Charles
    THEORY OF SECURITY AND APPLICATIONS, 2012, 6993 : 148 - +
  • [8] Distributed Verification of Multi-threaded C++ Programs
    Edelkamp, Stefan
    Jabbar, Shahid
    Sulewski, Damian
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2008, 198 (01) : 33 - 46
  • [9] Cache Prefetching and Speculation on Multi-Threaded Processors
    Ono, Tarik
    Greenstreet, Mark R.
    2013 IEEE PACIFIC RIM CONFERENCE ON COMMUNICATIONS, COMPUTERS AND SIGNAL PROCESSING (PACRIM), 2013, : 206 - 211
  • [10] 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
12345