WiDS Checker: Combating Bugs in Distributed Systems

TitleWiDS Checker: Combating Bugs in Distributed Systems
Publication TypeConference Paper
Year of Publication2007
AuthorsLiu X, Lin W, Pan A, Zhang Z
Conference Name4th {USENIX} Symposium on Networked Systems Design & Implementation ({NSDI} 07)
Date Published04/2007
Publisher{USENIX} Association
Conference LocationCambridge, MA
URLhttps://www.usenix.org/conference/nsdi-07/wids-checker-combating-bugs-distributed-systems