From Verification to Optimizations

Rigel Gjomemo, Kedar S. Namjoshi, Phu H. Phung, V. N. Venkatakrishnan, Lenore D. Zuck. From Verification to Optimizations. In Deepak D'Souza, Akash Lal, Kim Guldstrand Larsen, editors, Verification, Model Checking, and Abstract Interpretation - 16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015. Proceedings. Volume 8931 of Lecture Notes in Computer Science, pages 300-317, Springer, 2015. [doi]

@inproceedings{GjomemoNPVZ15,
  title = {From Verification to Optimizations},
  author = {Rigel Gjomemo and Kedar S. Namjoshi and Phu H. Phung and V. N. Venkatakrishnan and Lenore D. Zuck},
  year = {2015},
  doi = {10.1007/978-3-662-46081-8_17},
  url = {http://dx.doi.org/10.1007/978-3-662-46081-8_17},
  researchr = {https://researchr.org/publication/GjomemoNPVZ15},
  cites = {0},
  citedby = {0},
  pages = {300-317},
  booktitle = {Verification, Model Checking, and Abstract Interpretation - 16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015. Proceedings},
  editor = {Deepak D'Souza and Akash Lal and Kim Guldstrand Larsen},
  volume = {8931},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-662-46080-1},
}