{"type":"conference","date_updated":"2022-01-06T06:54:29Z","publication":"ACM SIGPLAN International Workshop on the State Of the Art in Java Program Analysis (SOAP 2018)","series_title":"ISSTA '18","main_file_link":[{"url":"http://bodden.de/pubs/bodden18secret.pdf"}],"language":[{"iso":"eng"}],"user_id":"5786","citation":{"bibtex":"@inproceedings{Bodden_2018, place={New York, NY, USA}, series={ISSTA ’18}, title={The Secret Sauce in Efficient and Precise Static Analysis: The Beauty of Distributive, Summary-based Static Analyses (and How to Master Them)}, DOI={<a href=\"https://doi.org/10.1145/3236454.3236500\">10.1145/3236454.3236500</a>}, booktitle={ACM SIGPLAN International Workshop on the State Of the Art in Java Program Analysis (SOAP 2018)}, publisher={ACM}, author={Bodden, Eric}, year={2018}, pages={85–93}, collection={ISSTA ’18} }","chicago":"Bodden, Eric. “The Secret Sauce in Efficient and Precise Static Analysis: The Beauty of Distributive, Summary-Based Static Analyses (and How to Master Them).” In <i>ACM SIGPLAN International Workshop on the State Of the Art in Java Program Analysis (SOAP 2018)</i>, 85–93. ISSTA ’18. New York, NY, USA: ACM, 2018. <a href=\"https://doi.org/10.1145/3236454.3236500\">https://doi.org/10.1145/3236454.3236500</a>.","short":"E. Bodden, in: ACM SIGPLAN International Workshop on the State Of the Art in Java Program Analysis (SOAP 2018), ACM, New York, NY, USA, 2018, pp. 85–93.","ieee":"E. Bodden, “The Secret Sauce in Efficient and Precise Static Analysis: The Beauty of Distributive, Summary-based Static Analyses (and How to Master Them),” in <i>ACM SIGPLAN International Workshop on the State Of the Art in Java Program Analysis (SOAP 2018)</i>, 2018, pp. 85–93, doi: <a href=\"https://doi.org/10.1145/3236454.3236500\">10.1145/3236454.3236500</a>.","mla":"Bodden, Eric. “The Secret Sauce in Efficient and Precise Static Analysis: The Beauty of Distributive, Summary-Based Static Analyses (and How to Master Them).” <i>ACM SIGPLAN International Workshop on the State Of the Art in Java Program Analysis (SOAP 2018)</i>, ACM, 2018, pp. 85–93, doi:<a href=\"https://doi.org/10.1145/3236454.3236500\">10.1145/3236454.3236500</a>.","ama":"Bodden E. The Secret Sauce in Efficient and Precise Static Analysis: The Beauty of Distributive, Summary-based Static Analyses (and How to Master Them). In: <i>ACM SIGPLAN International Workshop on the State Of the Art in Java Program Analysis (SOAP 2018)</i>. ISSTA ’18. ACM; 2018:85-93. doi:<a href=\"https://doi.org/10.1145/3236454.3236500\">10.1145/3236454.3236500</a>","apa":"Bodden, E. (2018). The Secret Sauce in Efficient and Precise Static Analysis: The Beauty of Distributive, Summary-based Static Analyses (and How to Master Them). <i>ACM SIGPLAN International Workshop on the State Of the Art in Java Program Analysis (SOAP 2018)</i>, 85–93. <a href=\"https://doi.org/10.1145/3236454.3236500\">https://doi.org/10.1145/3236454.3236500</a>"},"title":"The Secret Sauce in Efficient and Precise Static Analysis: The Beauty of Distributive, Summary-based Static Analyses (and How to Master Them)","_id":"20548","publication_identifier":{"isbn":["978-1-4503-5939-9"]},"department":[{"_id":"76"}],"publisher":"ACM","author":[{"orcid":"0000-0003-3470-3647","first_name":"Eric","id":"59256","last_name":"Bodden","full_name":"Bodden, Eric"}],"year":"2018","place":"New York, NY, USA","status":"public","page":"85-93","doi":"10.1145/3236454.3236500","date_created":"2020-11-30T09:51:05Z","keyword":["ATTRACT","ITSECWEBSITE"]}