Static analysis and compiler design for idempotent processing (2012)

by M de Kruijf, K Sankaralingam, S Jha
Venue:In Proc. ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI