@inproceedings{DBLP:conf/itp/PuriRHX14,
 author = {Disha Puri and
Sandip Ray and
Kecheng Hao and
Fei Xie},
 bibsource = {dblp computer science bibliography, https://dblp.org},
 biburl = {https://dblp.org/rec/conf/itp/PuriRHX14.bib},
 booktitle = {Interactive Theorem Proving - 5th International Conference, ITP
2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna,
Austria, July 14-17, 2014. Proceedings},
 doi = {10.1007/978-3-319-08970-6_37},
 editor = {Gerwin Klein and
Ruben Gamboa},
 pages = {549--554},
 publisher = {Springer},
 series = {Lecture Notes in Computer Science},
 timestamp = {Sat, 23 Aug 2025 01:00:00 +0200},
 title = {Mechanical Certification of Loop Pipelining Transformations: A Preview},
 url = {https://doi.org/10.1007/978-3-319-08970-6_37},
 volume = {8558},
 year = {2014}
}