Eric Bodden. The secret sauce in efficient and precise static analysis: the beauty of distributive, summary-based static analyses (and how to master them). In Julian Dolby, William G. J. Halfond, Ashish Mishra, editors, Companion Proceedings for the ISSTA/ECOOP 2018 Workshops, ISSTA 2018, Amsterdam, Netherlands, July 16-21, 2018. pages 85-93, ACM, 2018. [doi]
@inproceedings{Bodden18-1,
title = {The secret sauce in efficient and precise static analysis: the beauty of distributive, summary-based static analyses (and how to master them)},
author = {Eric Bodden},
year = {2018},
doi = {10.1145/3236454.3236500},
url = {https://doi.org/10.1145/3236454.3236500},
researchr = {https://researchr.org/publication/Bodden18-1},
cites = {0},
citedby = {0},
pages = {85-93},
booktitle = {Companion Proceedings for the ISSTA/ECOOP 2018 Workshops, ISSTA 2018, Amsterdam, Netherlands, July 16-21, 2018},
editor = {Julian Dolby and William G. J. Halfond and Ashish Mishra},
publisher = {ACM},
isbn = {978-1-4503-5939-9},
}