%0 Conference Paper %1 conf/pldi/LopesMNR15 %A Lopes, Nuno P. %A Menendez, David %A Nagarakatte, Santosh %A Regehr, John %B PLDI %D 2015 %E Grove, David %E Blackburn, Stephen M. %I ACM %K dblp %P 22-32 %T Provably correct peephole optimizations with alive. %U http://dblp.uni-trier.de/db/conf/pldi/pldi2015.html#LopesMNR15 %@ 978-1-4503-3468-6

@inproceedings{conf/pldi/LopesMNR15, added-at = {2021-06-23T00:00:00.000+0200}, author = {Lopes, Nuno P. and Menendez, David and Nagarakatte, Santosh and Regehr, John}, biburl = {https://www.bibsonomy.org/bibtex/2492cd8f8325e20abf8269e0019e27cc2/dblp}, booktitle = {PLDI}, crossref = {conf/pldi/2015}, editor = {Grove, David and Blackburn, Stephen M.}, ee = {https://doi.org/10.1145/2813885.2737965}, interhash = {f0acb6237a562e69c27de8698af1d958}, intrahash = {492cd8f8325e20abf8269e0019e27cc2}, isbn = {978-1-4503-3468-6}, keywords = {dblp}, pages = {22-32}, publisher = {ACM}, timestamp = {2024-04-09T18:59:54.000+0200}, title = {Provably correct peephole optimizations with alive.}, url = {http://dblp.uni-trier.de/db/conf/pldi/pldi2015.html#LopesMNR15}, year = 2015 }