Mining Semantic Loop Idioms from Big Code
Dynamic purity analysis for java programs