Michael D. Shah, Samuel Z. Guyer. Iceberg: a tool for static analysis of Java critical sections. In Charles Zhang, Xavier Rival, editors, Proceedings of the 5th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis, SOAP@PLDI 2016, Santa Barbara, CA, USA, June 14, 2016. pages 7-12, ACM, 2016. [doi]
Abstract is missing.