Trust but Verify: Monitoring Remotely Executing Programs for Progress and Correctness

TitleTrust but Verify: Monitoring Remotely Executing Programs for Progress and Correctness
Publication TypeConference Paper
Year of Publication2005
AuthorsYang, S., A. R. Butt, Y. C. Hu, and S. P. Midkiff
Conference NameProc. ACM SIGPLAN PPoPP
Date PublishedJune
Conference LocationChicago, IL