Scalable conditional induction variables (CIV) analysis.

Cosmin E. Oancea, Lawrence Rauchwerger

Browse the full CGO paper archive.