DistAI: Data-Driven Automated Invariant Learning for Distributed Protocols  

Published in OSDI, 2021