Marc de Kruijf, Karthikeyan Sankaralingam, Somesh Jha. Static analysis and compiler design for idempotent processing. In Jan Vitek, Haibo Lin, Frank Tip, editors, ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI '12, Beijing, China - June 11 - 16, 2012. pages 475-486, ACM, 2012. [doi]