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
922012
Averroes: Whole-Program Analysis without the Whole Program
K Ali, O Lhoták
722013
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
692016
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
542017
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
512019
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
382017
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
312015
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
192017
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
162019
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
141975
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
122014
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
92019
Debugging static analysis
LNQ Do, S Krüger, P Hill, K Ali, E Bodden
IEEE Transactions on Software Engineering 46 (7), 697-709, 2018
82018
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
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
The Separate Compilation Assumption
K Ali
University of Waterloo, 2014
62014
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
62010
A case for better integration of host and target compilation when using OpenCL for FPGAs
T Lloyd, A Chikin, E Ochoa, K Ali, JN Amaral
FSP 2017; Fourth International Workshop on FPGAs for Software Programmers, 1-9, 2017
52017
The system can't perform the operation now. Try again later.
Articles 1–20