PROMOTING SCIENCE AND TECHNOLOGY BETWEEN INDIA AND THE U.S.
Computer Science
University of Wisconsin-Madison
Research Interests:
Program slicing, differencing, and merging
Interprocedural dataflow analysis
Alias analysis, pointer analysis, and shape analysis
Analysis of multi-threaded programs
Symbolic abstraction and decision procedures
Other program-analysis problems
Path problems
Model checking
Computer security
Code instrumentation
Computational differentiation and computational divided differencing
Program-development environments
Incremental computing
Attribute grammars
Miscellaneous