MikeShah / iceberg

Iceberg

A tool for detecting performance bottlenecks in concurrent Java programs.

This tools infrastruction is built off of the Soot Analysis Framework.

My reading list: http://people.cs.uchicago.edu/~shanlu/paper/fse2014.pdf

https://www.topcoder.com/community/data-science/data-science-tutorials/introduction-to-graphs-and-their-data-structures-section-3/#dijkstra

Soot Documentation: https://ssebuild.cased.de/nightly/soot/javadoc/index.html?soot/toolkits/graph/UnitGraph.html