Karim Ali
Karim Ali
Assistant Professor, University of Alberta
Verified email at ualberta.ca - Homepage
Title
Cited by
Cited by
Year
Application-only call graph construction
K Ali, O Lhoták
European Conference on Object-Oriented Programming, 688-712, 2012
882012
Averroes: Whole-Program Analysis without the Whole Program
K Ali, O Lhoták
682013
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
612016
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
432017
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
372018
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
362017
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
262015
Utilization of microcrystalline cellulose prepared from rice straw in manufacture of yoghurt
AMN Galal, AMH Fatma, KE Ali, MK Jihan, HSM Sahar
Journal of American Science 6 (10), 226-231, 2010
162010
The pathology of naturally-occurring bovine schistosomiasis in the Sudan
MF Hussein, G Tartour, SE Imbabi, KE Ali
Annals of Tropical Medicine & Parasitology 69 (2), 217-225, 1975
161975
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
152017
The pathology of experimental Schistosoma bovis infection in sheep
MF Hussein, HO Bushara, KE Ali
Journal of helminthology 50 (4), 235-241, 1976
131976
Constructing call graphs of Scala programs
K Ali, M Rapoport, O Lhoták, J Dolby, F Tip
European Conference on Object-Oriented Programming, 54-79, 2014
112014
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
102019
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
82017
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
82015
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
7*2019
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
72019
An implementation of the active contours without edges model and the logic framework for active contours on multi-channel images
K Ali, S Nadi
72010
Debugging static analysis
LNQ Do, S Krüger, P Hill, K Ali, E Bodden
IEEE Transactions on Software Engineering, 2018
62018
The Separate Compilation Assumption
K Ali
University of Waterloo, 2014
62014
The system can't perform the operation now. Try again later.
Articles 1–20