Registered user since Tue 6 Jan 2015
Name: Karim Ali
Bio: Since October 2014, I have started a new step in my career as a postdoctoral researcher at Technische Universität Darmstadt, Germany. I am working within the Secure Software Engineering (SSE) Group led by Eric Bodden. Just before moving to Germany, I finished my Ph.D. studies under the supervision of Ondřej Lhoták in the Programming Languages Group at the University of Waterloo. You can find my thesis: The Separate Compilation Assumption here.
My research interests revolve around practical static program analyses and call graph construction algorithms. More on the projects I have been and currently involved in can be found at my research page.
Affiliation: Technical University at Darmstadt, Germany
Personal website: http://karimali.pl
Research interests: compilers, static analysis, call graph construction
PLDI 2015 Activities
View general profile