Eric Bodden

Registered user since Tue 24 Jun 2014

Name: Eric Bodden

Bio: Eric Bodden is one of the leading experts on secure software engineering, with a specialty in building highly precise tools for automated program analysis. He is Professor for Software Engineering at Paderborn University and co-director of Fraunhofer IEM. Further, he is a member of the directorate of the Collaborative Research Center CROSSING at TU Darmstadt.

At Fraunhofer IEM, Bodden is heading the Attract-Group on Secure Software Engineering. In this function he is developing code analysis technology for security, in collaboration with the leading national and international software development companies. In 2014, the DFG awarded Bodden the Heinz Maier-Leibnitz-Preis. In 2013, BITKOM elected him into their mentoring program BITKOM Management Club.

Bodden is one of the chief maintainers of the Soot program analysis and optimization framework, a contributor to the AspectBench Compiler, the open research compiler for AspectJ, the inventor of the Clara and TamiFlex frameworks. Together with his research group, he has created the FlowDroid analysis framework for Android and the DroidBench benchmark suite.

Affiliation: Heinz Nixdorf Institut, Paderborn University and Fraunhofer IEM

Personal website: http://www.bodden.de/

Contributions

ECOOP 2021Doctoral Symposium Co-Chair in Organizing Committee
PC Member in Program Committee within the ECOOP Research Papers-track
ECOOP and ISSTA 2021Doctoral Symposium Co-Chair in Doctoral Symposium Committee within the Doctoral Symposium-track
ISSTA 2021Doctoral Symposium Co-Chair in Organizing Comittee
SOAP 2020Author of Tool Talk: Soot within the SOAP 2020-track
ASE 2020Session Chair of Mobile App (2) (part of Research Papers)
Committee Member in Program Committee within the Research Papers-track
ISSTA 2020Committee Member in Program Committee within the Technical Papers-track
ESEC/FSE 2020Committee Member in Steering Committee
ECOOP 2020Sponsorship Chair in Organizing Committee
ICST 2020Committee Member in Program Committee within the Research Papers-track
EXPLAIN 2019Author of Explaining Static Analysis - A Perspective within the EXPLAIN 2019-track
Panathon 2019Committee member in Organizing Committee within the Panathon 2019-track
ICSE 2021Area Chair in Program Committee within the Technical Track-track
SOAP 2019Committee Member in Program Committee within the SOAP-track
Author of SootDiff: Bytecode Comparison across different Java Compilers within the SOAP-track
Author of Know Your Analysis: How Instrumentation Aids Understanding Static Analysis within the SOAP-track
ASE 2019Author of A Qualitative Analysis of Android Taint-Analysis Results within the Research Papers-track
Author of SWAN_ASSIST: Semi-Automated Detection of Code-Specific, Security-Relevant Methods within the Demonstrations-track
ISSTA 2019Author of Codebase-Adaptive Detection of Security-Relevant Methods within the Technical Papers-track
ECOOP 2019Author of MagpieBridge: A General Approach to Integrating Static Analyses into IDEs and Editors within the Posters-track
Author of Lifting the Burden of Static Analysis Tool Configuration with Rule Graphs within the Posters-track
Author of MagpieBridge: A General Approach to Integrating Static Analyses into IDEs and Editors within the Research Papers-track
TACAS 2019Author of PhASAR: An Inter-Procedural Static Analysis Framework for C/C++ within the TACAS 2019-track
ETAPS 2019Author of PhASAR: An Inter-Procedural Static Analysis Framework for C/C++ within the Posters-track
PLDI 2019Committee Member in External Review Committee within the PLDI Research Papers-track
POPL 2019Author of Context-, Flow- and Field-Sensitive Data-Flow Analysis using Synchronized Pushdown Systems within the Research Papers-track
SALAD 2018Speaker of An Opinionated Survey of the Java Static Analysis Landscape within the SALAD-track
ICSE 2020Author of ModGuard: Identifying Integrity & Confidentiality Violations in Java Modules within the Journal First-track
Author of Heaps'n Leaks: How Heap Snapshots Improve Android Taint Analysis within the Technical Papers-track
Panathon 2018Co-chair in Organizers within the Panathon-track
SOAP 2018Author of The Secret Sauce in Efficient and Precise Static Analysis: The Beauty of Distributive, Summary-Based Static Analyses (and how to master them) within the SOAP-track
BenchWork 2018Author of Towards a Data-Curation Platform for Code-Centric Research within the BenchWork-track
ICSE 2019Committee Member in Program Board within the Technical Track-track
NJR 2017Author of Automated Benchmark Management within the NJR 2017-track
ESEC/FSE 2018Author of Do Android Taint Analysis Tools Keep Their Promises? within the Research Papers-track
Author of Gamifying Static Analysis within the New Ideas and Emerging Results-track
PLDI 2018Presenter of Static Analysis for C++ with Phasar within the PLDI Tutorials-track
ISSTA 2017Committee Member in Program Committee
Author of Just-in-Time Static Analysis within the Technical Papers-track
SOAP 2016Author of Toward an Automated Benchmark Management System within the SOAP-track
Session Chair of Session III (part of SOAP)
Author of Towards Cross-Platform Cross-Language Analysis with Soot within the SOAP-track
ECOOP 2018Author of CrySL: An Extensible Approach to Validating the Correct Usage of Cryptographic APIs within the ECOOP Research Papers-track
ISSTA 2018Author of Distinguished Paper Awards within the ISSTA Keynotes-track
Program Chair in Organizing Committee
Session Chair of Keynote: Ernst & ISSTA 2019 Preview (part of ISSTA Keynotes)
Presenter of Welcome within the ISSTA Keynotes-track
Program Chair in Program Committee within the ISSTA Technical Papers-track
ECOOP and ISSTA 2018Author of Secure integration of cryptographic software within the Posters-track
Mentor in Mentors within the Summer School-track
ISSTA Program Chair in Organizing Committee
SPLASH 2017Author of IDEal: Efficient and Precise Alias-Aware Dataflow Analysis within the OOPSLA-track
Committee Member in External Program Committee within the OOPSLA-track
* ICSE 2018 *Author of Self-adaptive static analysis within the NIER - New Ideas and Emerging Results -track
Author of VisuFlow: a Debugging Environment for Static Analyses within the DEMO - Demonstrations -track
Author of State of the Systems Security within the TB - Technical Briefings -track
ECOOP 2016Author of Boomerang: Demand-Driven Flow- and Context-Sensitive Pointer Analysis for Java within the Posters-track
Author of Boomerang: Demand-Driven Flow- and Context-Sensitive Pointer Analysis for Java within the Research Track-track
Author of Boomerang: Demand-Driven Flow- and Context-Sensitive Pointer Analysis for Java within the Artifacts-track
SOAP 2015Committee Member in Program Committee within the SOAP-track
Author of Using Targeted Symbolic Execution for Reducing False-Positives in Dataflow Analysis within the SOAP-track
Onward! 2015Committee Member in Program Committee within the Onward! Papers-track
Author of Towards Secure Integration of Cryptographic Software within the Onward! Papers-track
PLDI 2015Committee Member in Program Committee within the Research Papers-track
ECOOP 2015Committee Member in Programme Committee within the Research Track-track
Onward! 2014Author of Variational Data Structures: Exploring Tradeoffs in Computing with Variability within the Onward! Papers-track
SPLASH 2013Committee Member in External Review Committee within the OOPSLA-track
SPLASH 2012Committee Member in Program Committee within the OOPSLA Research Papers-track
Committee Member in Program Committee