Dynamic Symbolic Verification of MPI Programs-Reference-Cited by-同舟云学术

Dynamic Symbolic Verification of MPI Programs

Published:2018 Issue: Volume: Page:466-484
ISSN:0302-9743
Container-title:Formal Methods
language:
Short-container-title:

Author:

Khanna Dhriti,Sharma Subodh,Rodríguez César,Purandare Rahul

Publisher

Springer International Publishing

Link

http://link.springer.com/content/pdf/10.1007/978-3-319-95582-7_28

Reference36 articles.

1. Lecture Notes in Computer Science;J Alglave,2013

2. Lecture Notes in Computer Science;S Böhm,2016

3. Bucur, S., Ureche, V., Zamfir, C., Candea, G.: Parallel symbolic execution for automated real-world software testing. In: Proceedings of the Sixth Conference on Computer Systems. EuroSys 2011, pp. 183–198. ACM (2011)

4. Cadar, C., Dunbar, D., Engler, D.: Klee: unassisted and automatic generation of high-coverage tests for complex systems programs. In: Proceedings of the 8th USENIX Conference on Operating Systems Design and Implementation. OSDI 2008, pp. 209–224. USENIX Association (2008)

5. Clang: A C language family frontend for LLVM. http://clang.llvm.org/

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

1. MPI Errors Detection using GNN Embedding and Vector Embedding over LLVM IR;2024 IEEE International Parallel and Distributed Processing Symposium (IPDPS);2024-05-27

2. Program partitioning and deadlock analysis for MPI based on logical clocks;Parallel Computing;2024-02

3. A Type Discipline for Message Passing Parallel Programs;ACM Transactions on Programming Languages and Systems;2022-12-21

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. Deadlock Detection for MPI Programs Based on Refined Match-sets;2022 IEEE International Conference on Cluster Computing (CLUSTER);2022-09