DistAI: Data-Driven Automated Invariant Learning for Distributed Protocols.
Jianan YaoRunzhou TaoRonghui GuJason NiehSuman JanaGabriel RyanPublished in: OSDI (2021)
Keyphrases
- data driven
- learning tasks
- learning algorithm
- inductive inference
- learning process
- online learning
- learning systems
- unsupervised learning
- semi automated
- distributed environment
- supervised learning
- cooperative
- empirical studies
- database
- knowledge acquisition
- mobile learning
- distributed systems
- learning problems
- fault tolerant
- incremental learning
- training set
- distributed learning