Verifying Distributed Programs via Canonical Sequentialization. Bakst, A., von Gleissenthall, K., Gokhan Kici, R., & Jhala, R. In OOPSLA, August, 2017.
Verifying Distributed Programs via Canonical Sequentialization [pdf]Paper  Verifying Distributed Programs via Canonical Sequentialization [link]Code  Verifying Distributed Programs via Canonical Sequentialization [pdf]Slides  bibtex   

Downloads: 0