AutoMan: Facilitating Verified Distributed Systems Development Through Automatic Code Generation and Manual Optimizations.

Zihao Zhang, Ti Zhou, Christa Jenkins, Omar Chowdhury, Shuai Mu

Browse the full SOSP paper archive.