Invited Lectures

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