@articleSpäth_Ali_Bodden_2019, title=Context-, Flow-, and Field-sensitive Data-flow Analysis Using Synchronized Pushdown Systems, volume=3, DOI=10.1145/3290361, number=POPL, journal=Proceedings of the ACM SIGPLAN Symposium on Principles of Programming Languages, publisher=ACM, author=Späth, Johannes and Ali, Karim and Bodden, Eric, year=2019, pages=48:1-48:29 

@inproceedingsBodden_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=10.1145/3236454.3236500, 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 

@inproceedingsBodden_2018, place=New York, NY, USA, series=ICSE-NIER ’18, title=Self-adaptive Static Analysis, DOI=10.1145/3183399.3183401, booktitle=Proceedings of the 40th International Conference on Software Engineering: New Ideas and Emerging Results, publisher=ACM, author=Bodden, Eric, year=2018, pages=45–48, collection=ICSE-NIER ’18 

@inproceedingsNguyen Quang Do_Krüger_Hill_Ali_Bodden_2018, title=VISUFLOW, a Debugging Environment for Static Analyses, booktitle=International Conference for Software Engineering (ICSE), Tool Demonstrations Track, author=Nguyen Quang Do, Lisa and Krüger, Stefan and Hill, Patrick and Ali, Karim and Bodden, Eric, year=2018 

@inproceedingsNguyen Quang Do_Ali_Livshits_Bodden_Smith_Murphy-Hill_2017, title=Cheetah: Just-in-Time Taint Analysis for Android Apps, booktitle=International Conference for Software Engineering (ICSE), Tool Demonstrations Track, author=Nguyen Quang Do, Lisa and Ali, Karim and Livshits, Benjamin and Bodden, Eric and Smith, Justin and Murphy-Hill, Emerson, year=2017 

@inproceedingsSpäth_Ali_Bodden_2017, title=IDEal: Efficient and Precise Alias-aware Dataflow Analysis, booktitle=2017 International Conference on Object-Oriented Programming, Languages and Applications (OOPSLA/SPLASH), publisher=ACM Press, author=Späth, Johannes and Ali, Karim and Bodden, Eric, year=2017 

@bookNguyen Quang Do_Ali_Livshits_Bodden_Smith_Murphy-Hill_2016, title=Just-in-Time Static Analysis, DOI=http://dx.doi.org/10.7939/DVN/10859, author=Nguyen Quang Do, Lisa and Ali, Karim and Livshits, Benjamin and Bodden, Eric and Smith, Justin and Murphy-Hill, Emerson, year=2016 

@articleRasthofer_Arzt_Bodden_Miltenberger_2016, title=Harvester - Vollautomatische Extraktion von Laufzeitwerten aus obfuskierten Android-Applikationen, DOI=https://www.springerprofessional.de/en/datenschutz-und-datensicherheit-dud-11-2016/10866536, journal=Datenschutz und Datensicherheit, author=Rasthofer, Siegfried and Arzt, Steven and Bodden, Eric and Miltenberger, Marc, year=2016, pages=718–722 

@inproceedingsHolzinger_Triller_Bartel_Bodden_2016, series=CCS ’16, title=An In-Depth Study of More Than Ten Years of Java Exploitation, DOI=http://doi.acm.org/10.1145/2976749.2978361, booktitle=Proceedings of the 2016 ACM SIGSAC Conference on Computer and Communications Security, author=Holzinger, Philipp and Triller, Stefan and Bartel, Alexandre and Bodden, Eric, year=2016, pages=779–790, collection=CCS ’16 

@inproceedingsNguyen Quang Do_Eichberg_Bodden_2016, series=SOAP 2016, title=Toward an Automated Benchmark Management System, booktitle=Proceedings of the 5th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis, author=Nguyen Quang Do, Lisa and Eichberg, Michael and Bodden, Eric, year=2016, pages=13–17, collection=SOAP 2016 

@inproceedingsRasthofer_Arzt_Miltenberger_Bodden_2016, title=Harvesting Runtime Values in Android Applications That Feature Anti-Analysis Techniques, booktitle=Network and Distributed System Security Symposium (NDSS), author=Rasthofer, Siegfried and Arzt, Steven and Miltenberger, Marc and Bodden, Eric, year=2016 

@inproceedingsSpäth_Nguyen Quang Do_Ali_Bodden_2016, title=Boomerang: Demand-Driven Flow- and Context-Sensitive Pointer Analysis for Java, booktitle=European Conference on Object-Oriented Programming (ECOOP), author=Späth, Johannes and Nguyen Quang Do, Lisa and Ali, Karim and Bodden, Eric, year=2016 

@inproceedingsLi_Bartel_Bissyande_Klein_Le Traon_Arzt_Rasthofer_Bodden_Octeau_McDaniel_2015, title=IccTA: Detecting Inter-Component Privacy Leaks in Android Apps, booktitle=2015 International Conference on Software Engineering (ICSE), author=Li, Li and Bartel, Alexandre and Bissyande, Tegawende F. and Klein, Jacques and Le Traon, Yves and Arzt, Steven and Rasthofer, Siegfried and Bodden, Eric and Octeau, Damien and McDaniel, Patrick, year=2015, pages=280–291