DistAI: Data-driven automated invariant learning for distributed protocols

Jianan Yao, Runzhou Tao, Ronghui Gu, Jason Nieh, Suman Jana, Gabriel Ryan
July, 2021
PDF Code
Type
Conference paper
Publication
OSDI 2021
Jianan Yao
Jianan Yao
Ph.D. Candidate in Computer Science

Not used.