Ziqing Luo, Manchun Zheng, Stephen F. Siegel. Verification of MPI programs using CIVL. In Antonio J. Peña, Pavan Balaji, William Gropp, Rajeev Thakur, editors, Proceedings of the 24th European MPI Users' Group Meeting, EuroMPI/USA 2017, Chicago, IL, USA, September 25-28, 2017. ACM, 2017. [doi]
@inproceedings{LuoZS17,
title = {Verification of MPI programs using CIVL},
author = {Ziqing Luo and Manchun Zheng and Stephen F. Siegel},
year = {2017},
doi = {10.1145/3127024.3127032},
url = {http://doi.acm.org/10.1145/3127024.3127032},
researchr = {https://researchr.org/publication/LuoZS17},
cites = {0},
citedby = {0},
booktitle = {Proceedings of the 24th European MPI Users' Group Meeting, EuroMPI/USA 2017, Chicago, IL, USA, September 25-28, 2017},
editor = {Antonio J. Peña and Pavan Balaji and William Gropp and Rajeev Thakur},
publisher = {ACM},
isbn = {978-1-4503-4849-2},
}