Karim Ali
Karim Ali
Assistant Professor, University of Alberta
Email verificata su ualberta.ca - Home page
Titolo
Citata da
Citata da
Anno
Application-only call graph construction
K Ali, O Lhoták
European Conference on Object-Oriented Programming, 688-712, 2012
932012
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
722016
Averroes: Whole-Program Analysis without the Whole Program
K Ali, O Lhoták
722013
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
572017
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
532019
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
392017
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
202017
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
182019
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
102019
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
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–20