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 | Author of Context-, Flow- and Field-Sensitive Data-Flow Analysis using Synchronized Pushdown Systems within the Research Papers-track | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
Using general profile