%0 Conference Paper %1 conf/popl/LongSKR14 %A Long, Fan %A Sidiroglou-Douskos, Stelios %A Kim, Deokhwan %A Rinard, Martin C. %B POPL %D 2014 %E Jagannathan, Suresh %E Sewell, Peter %I ACM %K dblp %P 439-452 %T Sound input filter generation for integer overflow errors. %U http://dblp.uni-trier.de/db/conf/popl/popl2014.html#LongSKR14 %@ 978-1-4503-2544-8

@inproceedings{conf/popl/LongSKR14, added-at = {2018-11-06T00:00:00.000+0100}, author = {Long, Fan and Sidiroglou-Douskos, Stelios and Kim, Deokhwan and Rinard, Martin C.}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/270d92da7927b4395752340381caf86e1/dblp}, booktitle = {POPL}, crossref = {conf/popl/2014}, editor = {Jagannathan, Suresh and Sewell, Peter}, ee = {https://doi.org/10.1145/2535838.2535888}, interhash = {f56718be23e9c370aae2b40b24128e00}, intrahash = {70d92da7927b4395752340381caf86e1}, isbn = {978-1-4503-2544-8}, keywords = {dblp}, pages = {439-452}, publisher = {ACM}, timestamp = {2019-09-27T22:08:00.000+0200}, title = {Sound input filter generation for integer overflow errors.}, url = {http://dblp.uni-trier.de/db/conf/popl/popl2014.html#LongSKR14}, year = 2014 }