Karim Ali

Cited by

	All	Since 2018
Citations	1216	1032
h-index	15	14
i10-index	20	17

240

120

180

2012201320142015201620172018201920202021202220234 14 16 40 50 49 87 129 168 214 202 232

Public access

View all

16 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äthCo-Founder CodeShield.ioVerified 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, University of AlbertaVerified email at ualberta.ca
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 (Informatik), 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, University of Alberta

Verified email at ualberta.ca - 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	139	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	137	2016
Application-only call graph construction K Ali, O Lhoták European Conference on Object-Oriented Programming, 688-712, 2012	134	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	120	2017
Averroes: Whole-Program Analysis without the Whole Program K Ali, O Lhoták	101	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	80	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	80	2017
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	54	2019
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	52	2020
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	45	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	33	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	32	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	21	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	20	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	16	2014
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	14	2017
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	11	2020
Type-based call graph construction algorithms for Scala K Ali, M Rapoport, O Lhoták, J Dolby, F Tip ACM Transactions on Software Engineering and Methodology (TOSEM) 25 (1), 1-43, 2015	11	2015
CogniCrypt_GEN: 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	10	2020
The Separate Compilation Assumption K Ali University of Waterloo, 2014	10	2014

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