Adore: atomic distributed objects with certified reconfiguration.

Wolf Honor, Ji-Yong Shin, Jieung Kim, Zhong Shao

Browse the full PLDI paper archive.