APT: A Data Structure for Optimal Control Dependence Computation.

Keshav Pingali, Gianfranco Bilardi

Browse the full PLDI paper archive.