Symbolic Execution of MPI Programs

被引：6
|
作者：
Fu, Xianjin [1 ,2 ]
Chen, Zhenbang [2 ]
Yu, Hengbiao [1 ,2 ]
Huang, Chun [2 ]
Dong, Wei [2 ]
Wang, Ji [1 ,2 ]
机构：
[1] Natl Univ Def Technol, State Key Lab High Performance Comp, Changsha, Hunan, Peoples R China
[2] Natl Univ Def Technol, Coll Comp, Changsha, Hunan, Peoples R China
来源：
2015 IEEE/ACM 37th IEEE International Conference on Software Engineering, Vol 2 | 2015年
关键词：
D O I：
10.1109/ICSE.2015.259
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
MPI is widely used in high performance computing. In this extended abstract, we report our current status of analyzing MPI programs. Our method can provide coverage of both input and non-determinism for MPI programs with mixed blocking and non-blocking operations. In addition, to improve the scalability further, a deadlock-oriented guiding method for symbolic execution is proposed. We have implemented our methods, and the preliminary experimental results are promising.
引用
收藏
页码：809 / 810
页数：2
相关论文
共 50 条
  • [31] Model Checking MSVL Programs Based on Dynamic Symbolic Execution
    Duan, Zhenhua
    Bu, Kangkang
    Tian, Cong
    Zhang, Nan
    [J]. COMPUTING AND COMBINATORICS, 2015, 9198 : 521 - 533
  • [32] Distributed CFG-based Symbolic Execution for Assembly Programs
    Adachi, Takumi
    Yamane, Satoshi
    Sakurai, Kohei
    [J]. 2015 IEEE 4TH GLOBAL CONFERENCE ON CONSUMER ELECTRONICS (GCCE), 2015, : 76 - 80
  • [33] Symbolic Execution of Multithreaded Programs from Arbitrary Program Contexts
    Bergan, Tom
    Grossman, Dan
    Ceze, Luis
    [J]. ACM SIGPLAN NOTICES, 2014, 49 (10) : 491 - 506
  • [34] Detecting Bank Conflict of GPU Programs Using Symbolic Execution
    Hamaya, Koki
    Yamane, Satoshi
    [J]. 2016 IEEE 5TH GLOBAL CONFERENCE ON CONSUMER ELECTRONICS, 2016,
  • [35] Symbolic Execution and Thresholding for Efficiently Tuning Fuzzy Logic Programs
    Moreno, Gines
    Penabad, Jaime
    Riaza, Jose A.
    Vidal, German
    [J]. LOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION, LOPSTR 2016, 2017, 10184 : 131 - 147
  • [36] Dynamic Symbolic Execution of Java']Java Programs Using JNI
    Vartanov, Sergey
    [J]. 2017 ELEVENTH INTERNATIONAL CONFERENCE ON COMPUTER SCIENCE AND INFORMATION TECHNOLOGIES (CSIT), 2017, : 83 - 86
  • [37] Bounded Symbolic Execution for Runtime Error Detection of Erlang Programs
    De Angelis, Emanuele
    Fioravanti, Fabio
    Palacios, Adrian
    Pettorossi, Alberto
    Proietti, Maurizio
    [J]. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2018, (278): : 19 - 26
  • [38] Mousse: A System for Selective Symbolic Execution of Programs with Untamed Environments
    Liu, Yingtong
    Hung, Hsin-Wei
    Sani, Ardalan Amiri
    [J]. PROCEEDINGS OF THE FIFTEENTH EUROPEAN CONFERENCE ON COMPUTER SYSTEMS (EUROSYS'20), 2020,
  • [39] Termination and complexity analysis for programs with bitvector arithmetic by symbolic execution
    Hensel, Jera
    Giesl, Juergen
    Frohn, Florian
    Stroeder, Thomas
    [J]. JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, 2018, 97 : 105 - 130
  • [40] Strategies for scalable symbolic execution-driven test generation for programs
    Krishnamoorthy, Saparya
    Hsiao, Michael S.
    Lingappan, Loganathan
    [J]. SCIENCE CHINA-INFORMATION SCIENCES, 2011, 54 (09) : 1797 - 1812
12345