@inproceedings{ soap2018secret, author = {Bodden, Eric}, title = {The Secret Sauce in Efficient and Precise Static Analysis: The Beauty of Distributive, Summary-based Static Analyses (and How to Master Them)}, booktitle = {ACM SIGPLAN International Workshop on the State Of the Art in Java Program Analysis (SOAP 2018)}, series = {ISSTA '18}, year = {2018}, isbn = {978-1-4503-5939-9}, location = {Amsterdam, Netherlands}, pages = {85--93}, numpages = {9}, url= {https://bodden.de/pubs/bodden18secret.pdf}, doi = {10.1145/3236454.3236500}, acmid = {3236500}, publisher = {ACM}, address = {New York, NY, USA}, keywords = {ATTRACT,ITSECWEBSITE}, }