%0 Conference Paper %1 conf/pldi/NotzliB16 %A Nötzli, Andres %A Brown, Fraser %B SOAP@PLDI %D 2016 %E Zhang, Charles %E Rival, Xavier %I ACM %K dblp %P 24-29 %T LifeJacket: verifying precise floating-point optimizations in LLVM. %U http://dblp.uni-trier.de/db/conf/pldi/soap2016.html#NotzliB16 %@ 978-1-4503-4385-5

@inproceedings{conf/pldi/NotzliB16, added-at = {2019-09-16T00:00:00.000+0200}, author = {Nötzli, Andres and Brown, Fraser}, biburl = {https://www.bibsonomy.org/bibtex/2822537c85c568416098e8745223d1670/dblp}, booktitle = {SOAP@PLDI}, crossref = {conf/pldi/2016soap}, editor = {Zhang, Charles and Rival, Xavier}, ee = {https://doi.org/10.1145/2931021.2931024}, interhash = {40c917c5f8fc80e639e15fa0d88f1a7f}, intrahash = {822537c85c568416098e8745223d1670}, isbn = {978-1-4503-4385-5}, keywords = {dblp}, pages = {24-29}, publisher = {ACM}, timestamp = {2024-04-12T14:42:23.000+0200}, title = {LifeJacket: verifying precise floating-point optimizations in LLVM.}, url = {http://dblp.uni-trier.de/db/conf/pldi/soap2016.html#NotzliB16}, year = 2016 }