| Boomerang: Demand-driven flow-and context-sensitive pointer analysis for java J Späth, L Nguyen Quang Do, K Ali, E Bodden 30th European Conference on Object-Oriented Programming (ECOOP 2016), 2016 | 103 | 2016 |
| CrySL: An Extensible Approach to Validating the Correct Usage of Cryptographic APIs S Krüger, J Späth, K Ali, E Bodden, M Mezini IEEE Transactions on Software Engineering 47 (11), 2382-2400, 2019 | 87 | 2019 |
| Context-, flow-, and field-sensitive data-flow analysis using synchronized pushdown systems J Späth, K Ali, E Bodden Proceedings of the ACM on Programming Languages 3 (POPL), 1-29, 2019 | 45 | 2019 |
| Access-path abstraction: Scaling field-sensitive data-flow analysis with unbounded access paths (t) J Lerch, J Späth, E Bodden, M Mezini 2015 30th IEEE/ACM International Conference on Automated Software …, 2015 | 29 | 2015 |
| IDEal: efficient and precise alias-aware dataflow analysis J Späth, K Ali, E Bodden Proceedings of the ACM on Programming Languages 1 (OOPSLA), 1-27, 2017 | 27 | 2017 |
| A qualitative analysis of android taint-analysis results L Luo, E Bodden, J Späth 2019 34th IEEE/ACM International Conference on Automated Software …, 2019 | 11 | 2019 |
| Synchronized pushdown systems for pointer and data-flow analysis J Späth Universität Paderborn, 2019 | 5 | 2019 |
| AuthCheck: Program-State Analysis for Access-Control Vulnerabilities G Piskachev, T Petrasch, J Späth, E Bodden International Symposium on Formal Methods, 557-572, 2019 | 2 | 2019 |
| Fluently specifying taint-flow queries with fluenttql G Piskachev, J Späth, I Budde, E Bodden Empirical Software Engineering 27 (5), 1-33, 2022 | 1 | 2022 |
| Qualitative and Quantitative Analysis of Callgraph Algorithms for Python S Kummita, G Piskachev, J Späth, E Bodden 2021 International Conference on Code Quality (ICCQ), 1-15, 2021 | 1 | 2021 |
| Applications of Synchronized Pushdown Systems J Späth Ernst Definert Award for Software Engineering 2019, 19, 2020 | | 2020 |
| Modular points-to analysis J Späth, F Gauthier, P Krishnan US Patent 10,528,344, 2020 | | 2020 |
| Synchronisierte Pushdown Systeme für Datenfluss-Analysen J Späth Ausgezeichnete Informatikdissertationen 2019, 2020 | | 2020 |
| CrySL: An Extensible Approach to Validating the Correct Usage of Cryptographic APIs (Artifact) S Krüger, J Späth, K Ali, E Bodden, M Mezini Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik, 2018 | | 2018 |
| Boomerang: Demand-Driven Flow-and Context-Sensitive Pointer Analysis for Java (Artifact) J Späth, L Nguyen Quang Do, K Ali, E Bodden DARTS-Dagstuhl Artifacts Series 2, 2016 | | 2016 |
| Antal, Gábor, 14 Bodden, Eric, 39 Cheshkov, Anton, 54 Dechev, Damian, 26 M Fadhel, R Ferenc, E Garmash, TE Gasiba, P Hegedus, S Hodzic, ... | | |
| CrySL: An Extensible Approach to Validating the S Krüger, J Späth, K Ali, E Bodden, M Mezini | | |
Eric BoddenProfessor for Software Engineering at Heinz Nixdorf Institute, Paderborn University & Fraunhofer IEMVerified email at uni-paderborn.de
