Shuo Yang, Ali Raza Butt, Y. Charlie Hu, Samuel P. Midkiff. Trust but verify: monitoring remotely executing programs for progress and correctness. In Keshav Pingali, Katherine A. Yelick, Andrew S. Grimshaw, editors, Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPOPP 2005, June 15-17, 2005, Chicago, IL, USA. pages 196-205, ACM, 2005. [doi]
@inproceedings{YangBHM05:0,
title = {Trust but verify: monitoring remotely executing programs for progress and correctness},
author = {Shuo Yang and Ali Raza Butt and Y. Charlie Hu and Samuel P. Midkiff},
year = {2005},
doi = {10.1145/1065944.1065971},
url = {http://doi.acm.org/10.1145/1065944.1065971},
tags = {program verification},
researchr = {https://researchr.org/publication/YangBHM05%3A0},
cites = {0},
citedby = {0},
pages = {196-205},
booktitle = {Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPOPP 2005, June 15-17, 2005, Chicago, IL, USA},
editor = {Keshav Pingali and Katherine A. Yelick and Andrew S. Grimshaw},
publisher = {ACM},
isbn = {1-59593-080-9},
}