Symbolic verification of message passing interface programs-Reference-Cited by-同舟云学术

Symbolic verification of message passing interface programs

Published:2020-06-27 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the ACM/IEEE 42nd International Conference on Software Engineering
language:
Short-container-title:

Author:

Yu Hengbiao¹,Chen Zhenbang¹,Fu Xianjin¹,Wang Ji¹,Su Zhendong²,Sun Jun³,Huang Chun¹,Dong Wei¹

Affiliation:

1. National University of Defense Technology, Changsha, China

2. ETH Zurich, Switzerland

3. Singapore Management University, Singapore

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/3377811.3380419

Reference92 articles.

1. Allinea. 2002. Allinea DDT. http://www.allinea.com/products/ddt/. (2002). Allinea. 2002. Allinea DDT. http://www.allinea.com/products/ddt/. (2002).

2. Stanislav Böhm Ondrej Meca and Petr Jancar. 2016. State-Space Reduction of Non-deterministically Synchronizing Systems Applicable to Deadlock Detection in MPI. In FM. 102--118. Stanislav Böhm Ondrej Meca and Petr Jancar. 2016. State-Space Reduction of Non-deterministically Synchronizing Systems Applicable to Deadlock Detection in MPI. In FM. 102--118.

3. Peter Boonstoppel Cristian Cadar and Dawson Engler. 2008. RWset: attacking path explosion in constraint-based test generation. In TACAS. 351--366. Peter Boonstoppel Cristian Cadar and Dawson Engler. 2008. RWset: attacking path explosion in constraint-based test generation. In TACAS. 351--366.

4. Vincent Botbol Emmanuel Chailloux and Tristan Le Gall. 2017. Static Analysis of Communicating Processes Using Symbolic Transducers. In VMCAI. 73--90. Vincent Botbol Emmanuel Chailloux and Tristan Le Gall. 2017. Static Analysis of Communicating Processes Using Symbolic Transducers. In VMCAI. 73--90.

Cited by 9 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. MPIRace: A Static Data Race Detector for MPI Programs;Languages and Compilers for Parallel Computing;2023

2. Optimal Refinement-based Array Constraint Solving for Symbolic Execution;2022 29th Asia-Pacific Software Engineering Conference (APSEC);2022-12

3. A Mathematical Model of Parallel Programs and an Approach to Verification of MPI Programs Based on the Proposed Model;Automatic Control and Computer Sciences;2022-12

4. Exploiting Epochs and Symmetries in Analysing MPI Programs;Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering;2022-10-10

5. Verifying the safety properties of distributed systems via mergeable parallelism;Journal of Systems Architecture;2022-09