Uday Khedker

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

Courses, Seminars, Projects

Have been teaching since 1994, initially at University of Pune and then from 2001 at IIT Bombay. This page lists the courses taught at IIT Bombay. Have also taught courses at other places in different forms.


2016-2017
Courses
M.Tech.
CS615 Design and Implementation of GNU Compiler Collection (2st Semester)
Projects
M.Tech.
Liveness Analysis of Heap
Bottom up interprocedural points-to analysis

2015-2016
Courses
M.Tech.
CS618 Program Analysis (1st Semester)
B.Tech. CS101 Computer Programming and Utilization (2nd Semester)
Projects
M.Tech.
Liveness based interprocedural points-to analysis
B.Tech.
Bottom up interprocedural points-to analysis

2014-2015
On Sabbatical Leave

2013-2014
Courses
M.Tech.
CS618 Program Analysis (1st Semester)
CS715 Design and Implementation of Gnu Compiler Generation Framework (2nd Semester)
Projects
M.Tech.
Pointer Analysis in GCC
Design and Implementation of an Optimizer Generator in GCC
Improving PRISM program analyzer generator
Interprocedural data flow analysis in SOOT



2012-2013
Courses
M.Tech.
CS618 Program Analysis (1st Semester)
CS715 Design and Implementation of Gnu Compiler Generation Framework (2nd Semester)
B.Tech.
C302/CS306 Language Processors (2nd Semester, with Prof. Biswas)
Projects
M.Tech.
Improving PRISM program analyzer generator
Interprocedural Data Flow Analysis in SOOT
Populating software managed memory in GPUs at compile time

2011-2012
Courses
M.Tech.
CS618 Program Analysis (1st Semester)
CS715 Design and Implementation of Gnu Compiler Generation Framework (2nd Semester)
B.Tech.
C302/CS306 Language Processors (2nd Semester, with Prof. Biswas)
Projects
M.Tech.
Pointer Analysis in GCC
Design and Implementation of an Optimizer Generator in GCC
Precise call graph construction in GCC
Design and implementation of specRTL: A languages for GCC Machine Description
Improving GCC Machine Descriptions
2010-2011
Courses
M.Tech.
CS618 Program Analysis (1st Semester)
CS715 Design and Implementation of Gnu Compiler Generation Framework (2nd Semester)
B.Tech.
C302/CS306 Language Processors (2nd Semester, with Prof. Biswas)
Projects
M.Tech.
Pointer Analysis in GCC
Improving GDFA (the generic data flow analyzer) in GCC

2009-2010
Courses
M.Tech.
CS618 Program Analysis (1st Semester)
CS715 Design and Implementation of Gnu Compiler Generation Framework (2nd Semester)
B.Tech.
CS302/CS306 Language Processors (2nd Semester, with Prof. Biswas)
Projects
M.Tech.
Pointer Analysis in GCC
Iburg based code generation in GCC
Use of BDD in gdfa
Improving iburg
Translation Validation (Guide Prof. A. Sanyal )

2008-2009
Courses
M.Tech.
CS715 Design and Implementation of Gnu Compiler Generation Framework (1st Semester)
CS618 Program Analysis (2nd Semester)
B.Tech.
CS324/CS394 Language Processors (2nd Semester)
Projects
M.Tech.
Heap reference analysis
Combining Instruction Selection and Instruction Scheduling (Guide Prof. A. Sanyal )
Static Type Inferencing of Flow Sensitive Types (Guide Prof. A. Sanyal )
Iburg based code generation in GCC
Vector code generation in GCC (Guide Prof. S. Biswas )
Auto-vectorization and auto-parallelization (Guide Prof. S. Biswas )
D.D.
Incremental implementation of a compiler (Guide Prof. A. Sanyal )


2007-2008
Courses
M.Tech.
CS618 Program Analysis (2nd Semester)
B.Tech.
CS324/CS394 Language Processors (2nd Semester)
Seminars
M.Tech.
Destruction of SSA (Static Single Assignment) form in compilers
Alias computation for heap reference analysis
Data flow analysis of executable programs
Null pointer analysis in C
Construction of interference graphs for register allocation by compilers (Guide Prof. S. Biswas )
Dependence analysis for automatic parallelization (Guide Prof. S. Biswas )
SIMD instruction generation in GCC (Guide Prof. S. Biswas )
B.Tech.
Destruction of SSA (Static Single Assignment) form in compilers
Projects
M.Tech.
Iburg based code generation in GCC
Linear types in C


2006-2007
Courses
M.Tech.
CS638 Program Analysis(2nd Semester)
B.Tech.
CS324/CS394 Language Processors(2nd Semester)
Seminars
M.Tech.
What is a seminar?
Topics offered by me
Register Allocation for SSA Intermediate Representation
A Survey of Some Non-Separable Data Flow Frameworks
The LLVM Compiler Infrastructure
Topics offered by Prof. S. Biswas
Garbage Collection
Incremental Garbage Collection
Topics offered by Prof. S. Biswas
Instruction Scheduling for Pipelined Architectures
(More may be announced)
Projects
M.Tech.
BURS based instruction selection in GCC
Linear Types in C
Courses
M.Tech.
CS618 Program Analysis (1st Semester)
CS715 Design and Implementation of Gnu Compiler Generation Framework (2nd Semester)
Projects
M.Tech.
Pointer Analysis in GCC
Design and Implementation of an Optimizer Generator in GCC
Improving PRISM program analyzer generator
Interprocedural data flow analysis in SOOT
B.Tech.
Generating SSA based optimiizers


2005-2006
Courses
M.Tech.
CS638 Program Analysis (2nd Semester)
CS699 Software Laboratory (1st Semester)
B.Tech.
CS324/CS394 Language Processors (2nd Semester)
Seminars
M.Tech.
What is a seminar?
Topics offered by me
Specification Languages for Optimizers
Interprocedural Constant Propagation
Tools and Processes for Configuring and Building GCC
Topics offered by Prof. A. Sanyal
BURS and its Applications
Theorema Proving Using PVS
Compiled Code Verification
Topics offered by Prof. S. Biswas
Instruction Scheduling for Pipelined Architectures
Machine Descriptions for Retargetable Compilation
Array Liveness Analysis
Projects
M.Tech.
Implementing Heap Reference Analysis
BURS based instruction selection in GCC
Compile Time Inferencing of Flow Sensitive Polymorphic Types (Guide Prof. A. Sanyal )
Translation Validation of GCC (Guide Prof. A. Sanyal )
Debugging lazy functional languages (Guide Prof. A. Sanyal )
Improving Machine Descriptions for GCC (Guide Prof. S. Biswas )
Instruction scheduling in GCC (Guide Prof. S. Biswas )
Generating SIMD instructions in GCC (Guide Prof. S. Biswas )
Source level optimizations of C programs for GCC (Guide Prof. S. Biswas )


2004-2005
Courses
M.Tech.
CS638 Program Analysis
B.Tech.
CS324/CS394 Language Processors
Seminars
M.Tech.
What is a seminar?
Topics offered by me
Instruction Scheduling
Register Allocation
Topics offered by Prof. A. Sanyal
Lattice Theory and its Applications to Program Analysis
Compiled Code Verification
Topics offered by Prof. S. Biswas
Machine Descriptions for Code Generation
Compiling for Memory Hierarchy
Projects
M.Tech.
Implementing Heap Reference Analysis
Compile Time Inferencing of Flow Sensitive Polymorphic Types (Guide Prof. A. Sanyal)
Verification of GCC Generated Code (Guide Prof. A. Sanyal)
Exploring Alternative Machine Descriptions for GCC (Guide Prof. S. Biswas )
Code Generation Issues in GCC (Guide Prof. S. Biswas)


2003-2004
Courses
M.Tech.
CS701 Software Practice and Experience Laboratory(1st Semester)
B.Tech.
CS324/CS394 Language Processors
Seminars
M.Tech.
Topics offered by me
Path Algebra for Data Flow Analysis
Control Flow Optimizations
Interprocedural Data Flow Analysis
Topics offered by Prof. A. Sanyal
PCC based compiled code verification
Theroem Proving Using PVS
Theorem Proving Using HOL
Ph.D.
Alias Analysis
Specifying Optimizations
Projects
M.Tech.
Data flow analysis for inferring flow sensitive polymorphic Types
Extending Heap Reference Analysis to Interprocedural Level (Guide Prof. A. Sanyal )
Verification of Compiled Code (Guide Prof. A. Sanyal )
Reverse Engineering of GCC source (Guide Prof. S. Biswas )
Improving GCC machine description for ABACUS (Guide Prof. S. Biswas)
DD
Interprocedural Data Flow Analysis in GCC
(Guide Prof. S. Biswas)


2002-2003
Courses
M.Tech.
CS701 Software Practice and Experience Laboratory
CS614 Advanced Compilers
Seminars
M.Tech.
Alias Analysis
Debugging Lazy Functional Languages -Issues
Debugging Lazy Functional Languages - A Survey of Existing Debuggers
Projects
M.Tech.
Application of Static Analysis to Heap Memory Management (With Prof. A. Sanyal) (Sponsored by Synopsys)
Retargetting GCC to Cradle's UMS chip


2001-2002
Courses
M.Tech.
CS699 Software Laboratory
B.Tech.
CS412 Introduction to Program Analysis
Seminars
M.Tech.
Dynamic Type Inferencing
Specifying Optimizations
Post Link Optimizations
B.Tech.
Dynamic Type Inferencing
Specifying Optimizations
Ph.D
Program Partitioning for Limited Memory Embedded System Processors
Projects
M.Tech.
Some Improvements in Garbage Collection (With Prof. A. Sanyal) (May be sponsored.)
Incremental Data Flow Analysis in VxCC (Sponsored by Tata Infotech Ltd.)


Back to top of the page

Back to the main page