
Registered user since Tue 6 Jan 2015
Name:Karim Ali
Affiliation:University of Alberta
Personal website:http://karimali.ca
Research interests:static analysis, programming languages, compilers, security, usability of analysis tools
Contributions
POPL 2019 | Context-, Flow- and Field-Sensitive Data-Flow Analysis using Synchronized Pushdown Systems | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
POPL 2019-profile
View general profile
View general profile