| 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 | 167 | 2019 |
| 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 | 157 | 2016 |
| Application-only call graph construction K Ali, O Lhoták European Conference on Object-Oriented Programming, 688-712, 2012 | 145 | 2012 |
| Cognicrypt: Supporting developers in using cryptography S Krüger, S Nadi, M Reif, K Ali, M Mezini, E Bodden, F Göpfert, F Günther, ... 2017 32nd IEEE/ACM International Conference on Automated Software …, 2017 | 144 | 2017 |
| Averroes: Whole-Program Analysis without the Whole Program K Ali, O Lhoták | 105 | 2013 |
| 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 | 104 | 2019 |
| Just-in-time static analysis LNQ Do, K Ali, B Livshits, E Bodden, J Smith, E Murphy-Hill Proceedings of the 26th ACM SIGSOFT International Symposium on Software …, 2017 | 93 | 2017 |
| Why do software developers use static analysis tools? a user-centered study of developer needs and motivations LNQ Do, JR Wright, K Ali IEEE Transactions on Software Engineering 48 (3), 835-847, 2020 | 77 | 2020 |
| What do developers know about machine learning: a study of ml discussions on stackoverflow AA Bangash, H Sahar, S Chowdhury, AW Wong, A Hindle, K Ali 2019 IEEE/ACM 16th International Conference on Mining Software Repositories …, 2019 | 64 | 2019 |
| Towards secure integration of cryptographic software S Arzt, S Nadi, K Ali, E Bodden, S Erdweg, M Mezini 2015 ACM International Symposium on New Ideas, New Paradigms, and …, 2015 | 48 | 2015 |
| On the time-based conclusion stability of cross-project defect prediction models AA Bangash, H Sahar, A Hindle, K Ali Empirical Software Engineering 25 (6), 5047-5083, 2020 | 46 | 2020 |
| 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 | 41 | 2017 |
| Debugging static analysis LNQ Do, S Krüger, P Hill, K Ali, E Bodden IEEE Transactions on Software Engineering 46 (7), 697-709, 2018 | 27 | 2018 |
| A study of call graph construction for jvm-hosted languages K Ali, X Lai, Z Luo, O Lhoták, J Dolby, F Tip IEEE transactions on software engineering 47 (12), 2644-2666, 2019 | 24 | 2019 |
| Constructing call graphs of Scala programs K Ali, M Rapoport, O Lhoták, J Dolby, F Tip ECOOP 2014–Object-Oriented Programming: 28th European Conference, Uppsala …, 2014 | 19 | 2014 |
| Exact separation logic: Towards bridging the gap between verification and bug-finding P Maksimović, C Cronjäger, A Lööw, J Sutherland, P Gardner 37th European Conference on Object-Oriented Programming (ECOOP 2023), 2023 | 18* | 2023 |
| CogniCryptGEN: generating code for the secure usage of crypto APIs S Krüger, K Ali, E Bodden Proceedings of the 18th ACM/IEEE International Symposium on Code Generation …, 2020 | 16 | 2020 |
| Swan: A static analysis framework for swift D Tiganov, J Cho, K Ali, J Dolby Proceedings of the 28th ACM Joint Meeting on European Software Engineering …, 2020 | 14 | 2020 |
| A black box technique to reduce energy consumption of android apps AA Bangash, K Ali, A Hindle Proceedings of the ACM/IEEE 44th International Conference on Software …, 2022 | 13 | 2022 |
| Toward an analytical performance model to select between GPU and CPU execution A Chikin, JN Amaral, K Ali, E Tiotto 2019 IEEE International Parallel and Distributed Processing Symposium …, 2019 | 13 | 2019 |
Eric BoddenProfessor for Software Engineering at Heinz Nixdorf Institute, Paderborn University & Fraunhofer IEMVerified email at uni-paderborn.de
