@techreport {pod-explode:tr,
        author = {Nageswar Keetha and Leon Wu and Gail Kaiser and Junfeng Yang},
        title = {A Software Checking Framework Using Distributed Model Checking and Checkpoint/Resume of Virtualized PrOcess Domains},
        year = {2009},
        month = {June},
        institution  = {CS Department, Columbia University},
        number  = {CUCS-032-09},
}