Karim Ali

Cited by

	All	Since 2019
Citations	1361	1093
h-index	15	14
i10-index	26	22

260

130

195

20122013201420152016201720182019202020212022202320244 14 15 40 51 50 86 131 173 217 205 252 114

Public access

View all

19 articles

1 article

available

not available

Based on funding mandates

Co-authors

Eric BoddenProfessor for Software Engineering at Heinz Nixdorf Institute, Paderborn University & Fraunhofer IEMVerified email at uni-paderborn.de
Lisa Nguyen Quang DoGoogle SwitzerlandVerified email at google.com
Johannes SpäthVerified email at campus.uni-paderborn.de
Ondrej LhotakComputer Science, University of WaterlooVerified email at uwaterloo.ca
Mira MeziniProfessor of Computer Science, TU Darmstadt, GermanyVerified email at informatik.tu-darmstadt.de
Sarah NadiAssociate Professor, New York University Abu DhabiVerified email at nyu.edu
Julian DolbyIBM Thomas J. Watson Research CenterVerified email at us.ibm.com
Benjamin LivshitsReader (Associate Professor++) in Computer ScienceVerified email at imperial.ac.uk
Frank TipProfessor, Northeastern UniversityVerified email at northeastern.edu
Michael ReifCQSE GmbHVerified email at cqse.eu
J Nelson AmaralProfessor of Computing Science, University of AlbertaVerified email at ualberta.ca
Emerson Murphy-HillResearch Scientist at Google and Adjunct Associate Professor of Computer Science, North CarolinaVerified email at google.com
Justin SmithAssistant Professor - Computer Science, Lafayette CollegeVerified email at lafayette.edu
Daniel DemmlerZamaVerified email at zama.ai
Felix GüntherIBM Research - ZurichVerified email at zurich.ibm.com
Christian WeinertRoyal Holloway, University of LondonVerified email at rhul.ac.uk
Marianna RapoportUniversity of WaterlooVerified email at uwaterloo.ca
Sebastian ErdwegProfessor of Computer Science, JGU MainzVerified email at uni-mainz.de
Steven ArztFraunhofer SITVerified email at sit.fraunhofer.de
Raouf BoutabaProfessor of Computer Science, University of WaterlooVerified email at uwaterloo.ca

Karim Ali

Associate Professor, NYU Abu Dhabi

Verified email at nyu.edu - Homepage

Compiler Programming Languages Call Graph Static Analysis


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
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	154	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	148	2016
Application-only call graph construction K Ali, O Lhoták European Conference on Object-Oriented Programming, 688-712, 2012	141	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	134	2017
Averroes: Whole-Program Analysis without the Whole Program K Ali, O Lhoták	103	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	93	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	90	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	68	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	56	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	46	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	42	2020
IDE^al: 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	37	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	24	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	22	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	18	2014
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
Cheetah: just-in-time taint analysis for android apps LNQ Do, K Ali, B Livshits, E Bodden, J Smith, E Murphy-Hill 2017 IEEE/ACM 39th International Conference on Software Engineering …, 2017	13	2017
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	12*	2023
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	11	2022
Energy efficient guidelines for ios core location framework AA Bangash, D Tiganov, K Ali, A Hindle 2021 IEEE international conference on software maintenance and evolution …, 2021	11	2021

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors