DistAI: Data-Driven Automated Invariant Learning for Distributed ProtocolsOpen Website

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

Published: 01 Jan 2021, Last Modified: 15 May 2023OSDI 2021Readers: Everyone
0 Replies