Discovering Likely Invariants for Distributed Systems Through Runtime Monitoring and Learning.

Yuan Xia, Deepayan Sur, Aabha Shailesh Pingle, Jyotirmoy V. Deshmukh, Mukund Raghothaman, Srivatsan Ravi

Browse the full VMCAI paper archive.