Static analysis and compiler design for idempotent processing

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]

@inproceedings{KruijfSJ12,
  title = {Static analysis and compiler design for idempotent processing},
  author = {Marc de Kruijf and Karthikeyan Sankaralingam and Somesh Jha},
  year = {2012},
  doi = {10.1145/2254064.2254120},
  url = {http://doi.acm.org/10.1145/2254064.2254120},
  researchr = {https://researchr.org/publication/KruijfSJ12},
  cites = {0},
  citedby = {0},
  pages = {475-486},
  booktitle = {ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI '12, Beijing, China - June 11 - 16, 2012},
  editor = {Jan Vitek and Haibo Lin and Frank Tip},
  publisher = {ACM},
  isbn = {978-1-4503-1205-9},
}