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 条
  • [21] 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,
  • [22] 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
  • [23] 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 - +
  • [24] On interleaving space exploration of multi-threaded programs
    Dongjie CHEN
    Yanyan JIANG
    Chang XU
    Xiaoxing MA
    Frontiers of Computer Science, 2021, (04) : 1 - 12
  • [25] On interleaving space exploration of multi-threaded programs
    Dongjie Chen
    Yanyan Jiang
    Chang Xu
    Xiaoxing Ma
    Frontiers of Computer Science, 2021, 15
  • [26] On interleaving space exploration of multi-threaded programs
    Chen, Dongjie
    Jiang, Yanyan
    Xu, Chang
    Ma, Xiaoxing
    FRONTIERS OF COMPUTER SCIENCE, 2021, 15 (04)
  • [27] Partial Redundancy Elimination for Multi-threaded Programs
    El-Zawawy, Mohamed A.
    Nayel, Hamada A.
    INTERNATIONAL JOURNAL OF COMPUTER SCIENCE AND NETWORK SECURITY, 2011, 11 (10): : 127 - 133
  • [28] A Tool to Compute the Leakage of Multi-threaded Programs
    Tri Minh Ngo
    Quang Tuan Duong
    MODERN APPROACHES FOR INTELLIGENT INFORMATION AND DATABASE SYSTEMS, 2018, 769 : 527 - 537
  • [29] Quantitative Security Analysis for Multi-threaded Programs
    Ngo, Tri Minh
    Huisman, Marieke
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2013, (117): : 34 - 48
  • [30] Compositional Termination Proofs for Multi-threaded Programs
    Popeea, Corneliu
    Rybalchenko, Andrey
    TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, TACAS 2012, 2012, 7214 : 237 - 251
12345