DistAI: Data-Driven Automated Invariant Learning for Distributed Protocols.

Jianan Yao, Runzhou Tao, Ronghui Gu, Jason Nieh, Suman Jana, Gabriel Ryan

Browse the full OSDI paper archive.