Multi-valued Expression Analysis for Collective Checking-Reference-Cited by-同舟云学术

Multi-valued Expression Analysis for Collective Checking

Published:2019 Issue: Volume: Page:29-43
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Huchant Pierre,Saillard Emmanuelle,Barthou Denis,Carribault Patrick

Publisher

Springer International Publishing

Link

http://link.springer.com/content/pdf/10.1007/978-3-030-29400-7_3

Reference32 articles.

1. Zhang, Y., Duesterwald, E.: Barrier matching for programs with textually unaligned barriers. In: PPoPP, pp. 194–204. ACM (2007)

2. Jakobsson, A., Dabrowski, F., Bousdira, W., Loulergue, F., Hains, G.: Replicated synchronization for imperative bsp programs. Procedia Comput Sci. 108, 535–544 (2017). International Conference on Computational Science, ICCS 2017, 12–14 June 2017. Zurich, Switzerland

3. Aiken, A., Gay, D.: Barrier inference. In: Proceedings of the ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages POPL, pp. 342–354. ACM (1998)

4. Saillard, E., Carribault, P., Barthou, D.: PARCOACH: combining static and dynamic validation of MPI collective communications. IJHPCA 28(4), 425–434 (2014)

5. Huchant, P., Saillard, E., Barthou, D., Brunie, H., Carribault, P.: PARCOACH extension for a full-interprocedural collectives verification. In: Second International Workshop on Software Correctness for HPC Applications (2018)

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

1. On Single-Valuedness in Textually Aligned SPMD Programs;International Journal of Parallel Programming;2021-05-04

2. PARCOACH Extension for Static MPI Nonblocking and Persistent Communication Validation;2020 IEEE/ACM 4th International Workshop on Software Correctness for HPC Applications (Correctness);2020-11