WormSpace: A Modular Foundation for Simple, Verifiable Distributed Systems.

Ji-Yong Shin, Jieung Kim, Wolf Honor, Hernn Vanzetto, Srihari Radhakrishnan, Mahesh Balakrishnan, Zhong Shao

Browse the full CLOUD paper archive.