Iceberg: a tool for static analysis of Java critical sections.

Michael D. Shah, Samuel Z. Guyer

Browse the full PLDI paper archive.