Research Interests: Programming Languages, Compilers, Abstract interpretation, Profiling, Pointer Analysis, Shape Analysis, Interprocedural dataflow analysis, Program Slicing, Language-based programming environments