Invited Lectures
-
Unified optimizing transformations, EECS Department, University of
California, Los Angeles, 1983.
-
Strength reduction and register assignment using the unified optimization
framework, University of Connecticut, 1986.
-
Bi-directional data flow analysis, IBM Thomas J. Watson Research
Center, 1988.
-
Unified optimizing transformations, (a series of 10 lectures),
CSA Department, Indian Institute of Science, Bangalore, 1991.
-
Generalized theory of data flow analysis, HP Research Labs, Cupertino, 1992.
-
Attributed tree pattern matching, Tata Research, Development & Design
Center, 1997.
-
Gensat : A generator for static analysis tools, Tata Infotech, 1998.
-
Applications of the generalized theory of data flow analysis, Tata Research, Development & Design
Center, 1998.
-
Debugging of optimized programs, IBM Thomas J. Watson Research Center,
1998.
-
Debugging of programs in the presence of optimization and
exception handling, IBM India Research Center, 1999.
-
Execution histories for debugging, in Code optimization:
Trends, Challengers and Perspectives, Dagstuhl workshop #0381,
Dagstuhl, Germany, August 2000.
-
Debugging of optimized programs, Microsoft Research, July 2001.
-
Debugging of optimized programs, Sun Microsystems, July 2001.
-
Effective execution histories, University of California at
Los Angeles, July 2001.
-
Debugging of optimized programs, Rutgers University,
August 2001.
-
Efficient dynamic slicing of programs,
University of Arizona, Tucson, August 2001.
-
Efficient dynamic slicing of programs,
Georgia Institute of Technology, Atlanta, August 2001.
-
Efficient dynamic slicing of programs,
University of Wisconsin, Madison, August 2001.
-
Partial redundancy elimination using eliminatability-paths,
CS Department, Stanford University, June 2003.
-
Partial redundancy elimination using eliminatability-paths,
EECS Department, University of California, Berkely, June 2003.
-
Partial redundancy elimination using eliminatability-paths, Microsoft Research, Redmond, November 2003.
-
New results in partial redundancy elimination using eliminatability-paths,
CS department, University of New South Wales, Australia, September 2008.