| 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 | 68 | 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 32nd European Conference on Object-Oriented Programming (ECOOP 2018), 2018 | 42 | 2018 |
| 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 | 22 | 2015 |
| IDEal: efficient and precise alias-aware dataflow analysis. J Späth, K Ali, E Bodden Proc. ACM Program. Lang. 1 (OOPSLA), 99:1-99:27, 2017 | 18 | 2017 |
| 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 | 16 | 2019 |
| 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, 2019 | 10* | 2019 |
| 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 | 4 | 2019 |
| Synchronized pushdown systems for pointer and data-flow analysis J Späth University of Paderborn, Germany, 2019 | 3 | 2019 |
| Modular points-to analysis J Späth, F Gauthier, P Krishnan US Patent 10,528,344, 2020 | | 2020 |
| Applications of Synchronized Pushdown Systems J Späth Ernst Definert Award for Software Engineering 2019, 19, 2020 | | 2020 |
| 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 | | 2019 |
| 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 |
| 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
