Karim Ali
Karim Ali
Assistant Professor, University of Alberta
Bestätigte E-Mail-Adresse bei ualberta.ca - Startseite
Zitiert von
Zitiert von
Application-only call graph construction
K Ali, O Lhoták
European Conference on Object-Oriented Programming, 688-712, 2012
Averroes: Whole-Program Analysis without the Whole Program
K Ali, O Lhoták
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
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
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
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
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
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
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
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
The pathology of experimental Schistosoma bovis infection in sheep
MF Hussein, HO Bushara, KE Ali
Journal of helminthology 50 (4), 235-241, 1976
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
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
Debugging static analysis
LNQ Do, S Krüger, P Hill, K Ali, E Bodden
IEEE Transactions on Software Engineering 46 (7), 697-709, 2018
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
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
An implementation of the active contours without edges model and the logic framework for active contours on multi-channel images
K Ali, S Nadi
The Separate Compilation Assumption
K Ali
University of Waterloo, 2014
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
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
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20