---
_id: '20548'
author:
- first_name: Eric
  full_name: Bodden, Eric
  id: '59256'
  last_name: Bodden
  orcid: 0000-0003-3470-3647
citation:
  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>'
  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>.'
  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>.'
  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.'
date_created: 2020-11-30T09:51:05Z
date_updated: 2022-01-06T06:54:29Z
department:
- _id: '76'
doi: 10.1145/3236454.3236500
keyword:
- ATTRACT
- ITSECWEBSITE
language:
- iso: eng
main_file_link:
- url: http://bodden.de/pubs/bodden18secret.pdf
page: 85-93
place: New York, NY, USA
publication: ACM SIGPLAN International Workshop on the State Of the Art in Java Program
  Analysis (SOAP 2018)
publication_identifier:
  isbn:
  - 978-1-4503-5939-9
publisher: ACM
series_title: ISSTA '18
status: public
title: 'The Secret Sauce in Efficient and Precise Static Analysis: The Beauty of Distributive,
  Summary-based Static Analyses (and How to Master Them)'
type: conference
user_id: '5786'
year: '2018'
...