Uday Khedker

Professor, Department of Computer Science & Engg., IIT Bombay

Research

• Areas of Interest

  Have been working in the area of optimising compilers since 1989. Current topics of interest are Data Flow Analysis, Heap Reference Analysis, and Verification of Optimizations, Machine Descriptions for GCC.
  
  

• Research Group

  We have an active group of people working in the area of programming systems. Current list of active collaborators includes a couple of faculty members in CSE (Amitabha Sanyal , Supratim Biswas ), several students and project engineers. The names of the project engineers can be found on the GCC Resource Center web page.
  
  

• Publications and other technical writing

• Current Research

  • Building essential abstractions in GCC
  • Interprocedural pointer analysis
  • Declarative specifications of data flow analysis
  • Optimizer generation in GCC
  • Interprocedural Data Flow Analysis. 
  • Improving GCC machine descriptions
  • Programming languages and compilers for supporting parallel computing
    
  • Heap Reference Analysis.
    This covers aliasing, liveness, availability, anticipability, and nullability properties of heap references. This requires designing theory for reasoning about heap usage.
  
  

• Past Research

  A Generalised Theory of Exhaustive and Incremental Data Flow Analysis. This work has provided
  
  
  • First ever theoretical framework for handling bidirectional data flow problems.
    
  • A unified framework for handling unidirectional and bidirectional data flow problems.
  • A functional model for unidirectional and bidirectional incremental data flow analysis.
  • Efficient, simple, and generic algorithms for exhaustive and incremental analysis of unidirectional and bidirectional flows.
  • First ever complexity bounds for bidirectional data flows
  • More precise and more general unified complexity bounds for unidirectional and bidirectional data flows.