Monitor optimization via stutter-equivalent loop transformation

Rahul Purandare, Matthew B. Dwyer, Sebastian G. Elbaum. Monitor optimization via stutter-equivalent loop transformation. In William R. Cook, Siobhán Clarke, Martin C. Rinard, editors, Proceedings of the 25th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2010, October 17-21, 2010, Reno/Tahoe, Nevada, USA. pages 270-285, ACM, Reno/Tahoe, Nevada, 2010. [doi]

@inproceedings{PurandareDE10,
  title = {Monitor optimization via stutter-equivalent loop transformation},
  author = {Rahul Purandare and Matthew B. Dwyer and Sebastian G. Elbaum},
  year = {2010},
  doi = {10.1145/1869459.1869483},
  url = {http://doi.acm.org/10.1145/1869459.1869483},
  tags = {optimization, transformation},
  researchr = {https://researchr.org/publication/PurandareDE10},
  cites = {0},
  citedby = {0},
  pages = {270-285},
  booktitle = {Proceedings of the 25th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2010},
  editor = {William R. Cook and Siobhán Clarke and Martin C. Rinard},
  address = {Reno/Tahoe, Nevada},
  publisher = {ACM},
  isbn = {978-1-4503-0203-6},
}