Karim Ali, PhD

Assistant Professor, Faculty of Science - Computing Science

Contact

Assistant Professor, Faculty of Science - Computing Science
Email
karim.ali@ualberta.ca

Overview

Research

Research interests: program analysis, compilers, security, usability of static analysis tools

Courses

CMPUT 229 - Computer Organization and Architecture I

Number representation, computer architecture and organization, instruction-set architecture, assembly-level programming, procedures, stack frames, memory access through pointers, exception handling, computer arithmetic, floating-point representation, datapath, control logic, pipelining, memory hierarchy, virtual memory. Prerequisite: CMPUT 175 or 274. Corequisite: one of CMPUT 201 or 275. Credit may be obtained in only one of CMPUT 229, E E 380 or ECE 212.

Winter Term 2021
CMPUT 416 - Foundations of Program Analysis

Introduction to the main concepts of program analysis such as intermediate representations, inter-procedural and intra-procedural analysis techniques, call graphs, pointer analysis, and analysis frameworks. The course will also include relevant research papers that introduce both classical and state-of-the-art research in the field. The course will give an overview of the program analyses that work and those that do not work in practice and how to design program analyses for modern software systems. Prerequisites: CMPUT 201 or 275, and CMPUT 272.

Fall Term 2020
CMPUT 496 - Topics in Computing Science

This topics course is designed for new course offerings that may be offered in a given term. Prerequisites are determined by the instructor in the course outline. See Note (3) above.

Fall Term 2020
CMPUT 497 - Topics in Computing Science

This topics course is designed for new course offerings that may be offered in a given term. Prerequisites are determined by the instructor in the course outline. See Note (3) above.

Fall Term 2020
CMPUT 500 - Topics in Computing Science

Fall Term 2020
CMPUT 605 - Topics in Computing Science

Fall Term 2020

Browse more courses taught by Karim Ali