Static analysis and compiler design for idempotent processing.

Marc de Kruijf, Karthikeyan Sankaralingam, Somesh Jha

Browse the full PLDI paper archive.