Trust but Verify: Monitoring Remotely Executing Programs for Progress and Correctness
| Title | Trust but Verify: Monitoring Remotely Executing Programs for Progress and Correctness |
| Publication Type | Conference Paper |
| Year of Publication | 2005 |
| Authors | Yang, S., A. R. Butt, Y. C. Hu, and S. P. Midkiff |
| Conference Name | Proc. ACM SIGPLAN PPoPP |
| Date Published | June |
| Conference Location | Chicago, IL |