Inproceedings,
Scalable taint specification inference with big code.
V. Chibotaru, B. Bichsel, V. Raychev, and M. Vechev.PLDI, page 760-774. ACM, (2019)
Meta data
- BibTeX key
- conf/pldi/ChibotaruBRV19
- entry type
- inproceedings
- booktitle
- PLDI
- year
- 2019
- pages
- 760-774
- publisher
- ACM
- crossref
- conf/pldi/2019
- ee
- https://doi.org/10.1145/3314221.3314648
- isbn
- 978-1-4503-6712-7
- url
- http://dblp.uni-trier.de/db/conf/pldi/pldi2019.html#ChibotaruBRV19
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/pldi/ChibotaruBRV19
%A Chibotaru, Victor
%A Bichsel, Benjamin
%A Raychev, Veselin
%A Vechev, Martin T.
%B PLDI
%D 2019
%E McKinley, Kathryn S.
%E Fisher, Kathleen
%I ACM
%K dblp
%P 760-774
%T Scalable taint specification inference with big code.
%U http://dblp.uni-trier.de/db/conf/pldi/pldi2019.html#ChibotaruBRV19
%@ 978-1-4503-6712-7
@inproceedings{conf/pldi/ChibotaruBRV19,
added-at = {2019-06-09T00:00:00.000+0200},
author = {Chibotaru, Victor and Bichsel, Benjamin and Raychev, Veselin and Vechev, Martin T.},
biburl = {https://www.bibsonomy.org/bibtex/2625606fe21679a85ba23be58ffc49f7b/dblp},
booktitle = {PLDI},
crossref = {conf/pldi/2019},
editor = {McKinley, Kathryn S. and Fisher, Kathleen},
ee = {https://doi.org/10.1145/3314221.3314648},
interhash = {76a40e19854a74b12ba91bce634eb4d2},
intrahash = {625606fe21679a85ba23be58ffc49f7b},
isbn = {978-1-4503-6712-7},
keywords = {dblp},
pages = {760-774},
publisher = {ACM},
timestamp = {2019-06-11T11:37:50.000+0200},
title = {Scalable taint specification inference with big code.},
url = {http://dblp.uni-trier.de/db/conf/pldi/pldi2019.html#ChibotaruBRV19},
year = 2019
}