Uday Khedker

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

M.Tech. Seminars for 2004-2005

What is a seminar, by the way?

• Topics offered by Uday Khedker

  1. Instruction Scheduling. Modern architectures are pipelined architectures with multiple functional units. A compiler needs to rearrange instructions so that the compiled code could exploit these features. This seminar studies the basic approaches to instruction scheduling.
  2. Register Allocation. Good utilisation of registers is essential for the execution efficiency of generated code. This seminar studies the state of art of register allocation.
     Allotted to Sapna Jain

• Topics offered by Amitabha Sanyal

  1. Lattice Theory and its Applications to Program Analysis. Program anaysis involves computing values which can be viewed as comprising a lattice. This seminar will look at some results from lattice theory as applied to program analysis.
     Allotted to Sudhir Jorwekar
  2. Compiled Code Verification. Our group has been exploring the problem of demonstrating rigorously that a widely used compiler like GCC correctly compiles the source program. This seminar requires knowing compilers and studying some verification techniques applicable to compilation.

• Topics offered by Supratim Biswas

  1. Machine Descriptions for Code Generation. Retargetable compilers rely on describing the target machine in such a way that code generators can be automatically constructed from the specifications. This seminars studies some approaches to describing machine to a compiler.
     Allotted to Samveen Gulati
  2. Compiling for Memory Hierarchy. Modern processors have a multi-level hierarchy of memory in the form of multi-level caches, local, and global memories. This seminar studies the issues which a compiler should address to ensure generation of efficient code to reduce the delays introduced by the memory latencies by rearranging the instructions or data suitably.
     Allotted to Jojumon Kavalan