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