Finding concurrency bugs using graph-based anomaly detection in big code

Andrew Habib. Finding concurrency bugs using graph-based anomaly detection in big code. In Eelco Visser, editor, Companion Proceedings of the 2016 ACM SIGPLAN International Conference on Systems, Programming, Languages and Applications: Software for Humanity, SPLASH 2016, Amsterdam, Netherlands, October 30 - November 4, 2016. pages 55-56, ACM, 2016. [doi]

Abstract

Abstract is missing.