Updated on July 24, 2007.
CURRICULUM VITAE
Name : Y.N. SRIKANT
Designation : Professor
Department : Computer Science and Automation
email : srikant@csa.iisc.ernet.in
Phone : +91-80-2293 2771/2368
Fax : +91-80-2360 2911
Official
Address : Dept. of Computer Science and Automation
Indian
Institute of Science
Residential
Address : NE-314, New E-Type Quarters
Indian
Institute of Science Campus
Phone:
+91-80-2360 3452
Educational
Qualifications
B.E.
(Electronics)
M.E. (Automation) Indian Institute of Science
(CSA), 1980.
Ph.D. (Computer Science) Indian Institute of
Science (CSA), 1986.
Professional Activities
PC
Chair, IISc Centenary Conference, MCDES 2008
Member,
Editorial Advisory Board, SOFTWARE: Practice and Experience
PC
Member, EMSOFT 2007
PC
Member, VLSI Design 2007
PC
Member, PACT 2003
Technical
Program Chair, IEEE TENCON 2003
Member
of Computer Society of
Positions held at the
Indian Institute of Science
_____________________________________________________
From To Designation
-----------------------------------------------------------------------------------------
3-Jul-1999 Present Professor
3-Jul-1999 10-Nov-2000 Associate Chairman
11-Nov-2000 3-Nov-2005 Chairman
______________________________________________________
Research Interests: Compiler design:
compiler optimizations for energy reduction,
JIT
compilation, profile-guided compiler optimizations,
safety analysis of binary code, compilation for multi-core
and
multi-clock domain architectures.
Some Ongoing Research
Projects
1.
Energy-aware instruction scheduling.
2.
Energy-aware cache reconfiguration.
3.
Energy and time estimation of programs.
4.
Partial flow sensitivity
5.
An energy-aware compiler for sensor network nodes
6.
Performance modelling of runtime systems.
Teaching Interests at
graduate level:
1. Compiler Design
2. Topics in Compiler Design (advanced
course)
3. Topics in Power-aware Computation
Sponsored Projects:
1.
Co-Principal investigator of a DRDO sponsored project on
Robotics in
which we developed a
graphical simulation
environment
for robotic applications (1985-90).
2. Principal
Investigator of a DAE sponsored project on
A Parallelizer for Fortran
programs for the BARC parallel
processing
system (1995-99).
3.
Principal Investigator of a Motorola India Electronics Ltd.
sponsored
project on A Retargetable Compiler Tool Kit for
DSP architectures(project
under Society for Innovation and
Development) (1997-98).
4.
Principal Investigator of a Microsoft Sponsored project on
Investigations with .NET (this
involved a JIT compiler for
the Microsoft
IL on Linux) (July 2001-03).
5.
Principal Investigator of a Microsoft Sponsored project on
Profile-Guided Optimizations with
ROTOR (ROTOR is an open
source
implementation of .NET) (2002-04).
6. Principal Investigator
of a Microsoft Sponsored project on
Memory System Behavious of .NET Applications and
A
Profile-Guided Garbage Collector for Rotor
(2004-05).
7. Principal Collaborator
of a DST/DAAD project with University
of
8. A
framework for power-aware programming
(Satyam Computers, 2005-06).
9.
Program partitioing for massively multi-player games
(Satyam Computers, 2006-07).
Awards and recognitions:
(i)
PUC (III rank)
(ii)
BE (I rank)
(iii)
Gold medal by the
distinction in
BE (I rank)
(iv) 'Young Scientist
1988' medal by Indian National Science
Academy for contributions in the area of
compilers
Visiting Appointments:
1. Visiting Scientist, HP Labs,
2. Visiting Scientist,
July, 2001.
3. Visiting Professor,
Research Thesis Guidance
- Ph.D
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
1. N. Viswanathan,
Algorithms for Parallel Compilation, Ph.D,
Jan.
1992.
2. R.K. Kulkarni, Towards Complete Automatic
Code Generation, Ph.D,
Sept.1995.
3. U. Nagaraj Shenoy, Automatic Data
Partitioning Using Hirearchical
Genetic Search, Ph.D, Sept. 1996.
4. R. Venugopal, Incremental Techniques for
Code Generation Problems,
Ph.D, June 1997.
5. M.A. Dave, AMI - The Language and its
Implementation, Ph.D, April 1997.
6. S.R.Prakash, Hyperplane Partitioning: An
Approach to Global Data
Partitioning for Distributed Memory
Machines, Ph.D, July 1998.
7. Vineet Kumar Paleri, An Environment for
Automatic Generation
of
Code Optimizers, Ph.D, July 1999 (jointly
with Prof. Priti Shankar)
8. M. Bharat Kumar, Mining for Nurturers in
Collaborative Networks, Ph.D
(May 2007).
9. Sujit Kumar Chakrabarti, A Programming
environment for integrating and
implementing software components with heterogenous formal
specifications,
Ph.D (ongoing).
10. K. Ananda Vardhan, Energy-efficient
compilation for embedded processors,
Ph.D (ongoing).
11. Kapil Vaswani, Architectural support for
programming languages and runtime
systems, Ph.D
(ongoing).
12. Rahul Nagpal, Energy-efficient compilation
for clustered processors (ongoing).
13. Subhajit Roy, Language Based Security
Systems, Ph.D (ongoing).
14. R. Arun, Architectural Modelling for energy
estimation, Ph.D (ongoing).
Research Thesis Guidance
- M.Sc(Engg.)
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
1. M.
Chelliah, A Compiler and Symbolic Debugger
for Occam,
M.Sc.(Engg.),
Aug. 1989.
2. M.A.
Dave, A Parallelizing Compiler
for Pascal,
M.Sc.(Engg.), Oct.1989.
3. Laeeq M.
Khan, An
Implementation of Cross Architecture
Procedure Call, M.Sc.(Engg.), June 1990.
4. K.A.
Jasmeer, A Graphical Simulation Environment
for
Robotics
Applications,
M.Sc.(Engg.), Aug
1990 (jointly
with Prof.
M.R. Chidambara)
5. Y.V.
Prasad, PEG-A Programming Environment
Generator,
M.Sc.(Engg.).
Sept. 1990.
6. R.
Venugopal, Instruction Scheduling for
RISC
Processors, M.Sc.(Engg.), June 1992.
7. U. Nagaraj Shenoy, An
Automatic Parallelization Framework
for Multicomputers,
M.Sc.(Engg.) Feb. 1993.
8. Abhay S. Kanhere, Implementation of Data
Distribution and Parallelism
in HPF,
M.Sc(Engg.), June 1997.
10. B.G. Suresh, RLtools: A Toolset for Visual
Language Application
Development Based on Relational Grammars , M.Sc(Engg.),July 1997.
11. Suresh, Object-Oriented Software Engineering
of a Compiler Prototyping
System, M.Sc(Engg.),
July 1997.
12. R.Lakshminarayan, TriSL: A Software
Architecture Description
Language and Environment, M.Sc(Engg.), July 1999.
13. S. Janaki, A Parallelizing Compiler for
Fortran, M.Sc(Engg), July 1999.
14. D.V. Ravindra, Architecture Descriptions for
Retargetable Code Generation,
M.Sc(Engg.),
October 1999.
15. M.Bharat Kumar, Language Support for
Exploiting Software Structure
Specifications, M.Sc(Engg.),
March 2001.
15. Abhijit Mandal, Design and Implementation of a Java
Virtual Machine,
M.Sc(Engg.),
July 2000.
16. Sandeep Kohli, Slicing C++ Programs, M.Sc(Engg.), March 2001.
17. Ananda Vardhan, Language support for testing
CORBA based programs
M.Sc(Engg.),
November 2001.
18. V.Suresh, A framework for e-commerce in small
communities,
M.Sc(Engg.),
November 2001.
19. Kapil Vaswani, An adaptive Recompilation
Framework for Rotor and Architectural
Support for Online Program
Instrumentation, (M.Sc(Engg.), July 2003.
20. H.S. Gopalakrishna, Software Architectures
for Radar Applications,
M.Sc(Engg.) ,
February 2004.
21. Devaraj Das, Design and Implementation of an
Authentication and Authorization
Framework for a Nomadic Service Delivery
System, M.Sc(Engg.), March 2003
(jointly with
Geetha Manjunath, HP-ISO).
22. Rahul Nagpal, Integrated Scheduling for
Clustered VLIW Processors,
(M.Sc(Engg.),
December 2003.
23. Archana Ravindar, Cluster and Collect:
Compile Time Optimization for Effective
Garbage Collection, M.Sc(Engg.),
October 2005.
24. S.S. Shekhar, Object Cache: An Energy Efficient
Cache Architecture, M.Sc(Engg.)
(July 2006).
25. Prachee Jindal, Compilation for embedded
processors, M.Sc(Engg.), (ongoing).
=======================================================================
Book
Editor
(jointly with Prof.Priti Shankar):
The Compiler Design
Handbook: Optimization and Machine Code Generation
(Publication
date:
Publishers:
CRC Press
Forthcoming: The
Compiler Design Handbook: Optimization and Machine Code Generation
(second
edition, December 2007).
Book Chapters:
Scalar
Compiler Optimizations on the SSA form and the Flowgraph, in
The
Compiler Design Handbook: Optimization and Machine Code Generation,
Srikant,
Y.N., and Shankar, P., CRC Press, September 2002.
Energy-aware
Compiler Optimizations (jointly with Ananda Vardhan), in
The
Compiler Design Handbook: Optimization and Machine Code Generation
(second ed., forthcoming, December 2007).
The
Static Single Assignment Form: Construction and Application to Program
Optimization
(jointly with Priti
Shankar and J Prakash Prabhu), in
The
Compiler Design Handbook: Optimization and Machine Code Generation
(second ed., forthcoming, December 2007).
Statistical
and Machine Learning Techniques for Compiler Design
(jointly with Kapil Vaswani, P J Joseph, and Matthew Jacob),
in
The
Compiler Design Handbook: Optimization and Machine Code Generation
(second ed., forthcoming, December 2007).
=======================================================================
Journal Publications
1. Y.N. Srikant, D. Vidyasagar, and
L.M. Patnaik, 'An
interactive graphics package for 2-D drawing and
design',
Computers and Graphics, Vol.6, No.1, pp.
23-27,1982.
2. M.P. Subodh Kumar and Y.N. Srikant,
'Graphical simulation
of
Petri
nets',
Computers and
Graphics, Vol. 10, No.
3,
pp.225-228,1986.
3. Vijay Gehlot and Y.N. Srikant, 'An interpreter for SLIPS - an
applicative language based
on lambda-calculus', Computer
Languages, Vol.11, No.1, pp. 1-13,1986.
4. Y.N. Srikant and Priti Shankar, 'A new
parallel algorithm for
parsing arithmetic infix expressions', Parallel
Computing,
4(1987), 291-304.
5. Y.N. Srikant and Priti
Shankar, 'Parallel parsing
of
programming languages', Information Sciences,
vol.43, pp55-
83, 1987.
6. H.K. Haripriyan, Y.N. Srikant, and Priti
Shankar, 'A compiler
writing system
based on affix grammars', Computer Languages,
Vol. 13, No.1, 1988,pp.
1-11.
7. A
Class of problems efficiently
solvable on mesh-
connected computers including
dynamic expression
evoluation, Inf.Proc.
Letters, Vol.32,
pp.305-311 ,1989.
(with A.M.
Gibbons)
8. Incremental
Attribute Evaluation through
recursive
procedures, Computer
Languages, Vol.14, No.4, pp 225-237,
1989. (with A.M. Murching)
9. Two dimensional object recognition using
simulated Annealing,
Jl. of Ind. Inst. of Science, May-June
1990, Vol.70, pp. 197-
212. (with N.K. Sancheti and Y.V.
Venkatesh)
10.
Incremental Recursive Descent
Parsing, Computer
Languages, Vol.15, No.4,
pp.193-204, 1990. (with A.M.
Murching and Y.V. Prasad)
11.
A Parallel algorithm for
the minimization of
finite
state automata,
Intl. Jl. of Computer
Mathematics,
Vol.132, pp.1-11, 1990.
12.
Parallel Parsing of
Arithmetic Expressions, IEEE
Trans.Computers, Vol.39, No.1, pp.130-132, 1990.
13.
A Parallelizing Compiler for Pascal, Jl. of Ind.Inst. of
Science, Vol.71,
pp.125-157, 1991. (with M.A. Dave)
14.
Linda Subsystem on Transputers, Computer
Languages,
Vol.18, No.2,
pp.125-136, 1993. (with K.H. Shekhar)
15.
Heuristic Chaining in
Directed Acyclic Graphs,Computer
Languages, Vol.
19, No.3, pp.169-184,
1993. (with
R.Venugopal).
16.
Parallel Incremental LR
Parsing Computer languages,
Vol.20,No.3,
pp.151-175, 1994. (with N.Vishwanathan)
17.
Scheduling expression trees with register
variables on
delayed load
architectures,
Microprocessors &
Microprogramming, Vol.40,
pp.572-596, 1994.(with R.
Venugopal).
18.
An automatic parallelization framework for multicomputers,
Computer Languages, Vol.20,
No.3, pp.135-150, 1994.(with
Nagaraj Shenoy and V.P. Bhatkar, .
19.
Scheduling Expression Trees
with Reusable Registers
on
Delayed-Load Architectures, Computer
Languages, Vol.21,
No.1,
pp 49-65, 1995 (with R.
Venugopal).
20.
An Incremental Basic Block Scheduler, Jl of Systems and Architecure,
1998 (with
R.Venugopal).
21.
The Complexity of Certain Incremental Code Generation Problems,
Int. Journal of Computer Mathematics,
1999(with R. Venugopal)
22.
Automatic Data Partitioning by Hierarchical Genetic Search,
Journal of Parallel Algorithms and
Architecture, 1999
(with Nagaraj
Shenoy, V.P. Bhatkar, and Sandeep Kohli)
23.
A Simple Algorithm for Partial Redundancy Elimination, SIGPLAN
Notices, December 1998(with Vineeth Kumar
and Priti Shankar)
24.
A Study of Automatic Migration of Programs across Java Event Models,
ACM SIGSOFT Notes, Vol.25, No.3, May
2000, pp 24-29 (with M. Bharath
Kumar and R.
Lakshminarayanan).
25.
Effective Parameterization of Architectural Registers for Register
Allocation Algorithms, SIGPLAN Notices,
June 2000 (with D.V. Ravindra)
26.
Partial Redundancy Elimination: A Simple, Pragmatic, and Provably
Correct Algorithm, Science of Computer
Programming, 48 (2003), pp 1-20
(with Vineeth
Kumar and Priti Shankar).
27.
Hyperplane Partitioning: An Approach to Global Data Partitioning for
Distributed Memory Machines, The Journal of the Computer Society of
28.
Scheduling Expression Trees for Delayed Load Architectures, Journal of
Systems Architecture,
48 (2002) pp 151-173 (with R. Venugopal).
29.
On The Use of Connector Libraries in Distributed
Software Architectures,
ACM SIGSOFT Notes, Vol.27, No.1, 2002
(with M. Bharath Kumar and
R. Lakshminarayanan).
30.
Dynamic Recompilation and Profile-guided Optimizations for a .NET JIT
Compiler, IEE Proc. Software, 150(5),
October 2003, pp 296-302 ,
(Special issue on
Rotor, jointly with Kapil Vaswani).
31.
Pragmatic Integrated Scheduling for Clustered VLIW Architectures, Software:
Practice and Experience, 2007 (accepted
for publication, jointly with Rahul Nagpal).
Conference Publications
1. D.Vidyasagar, Y.N.
Srikant, and L.M.
Patnaik, 'GRASS-A
Graphics software system for 2-D drawing and
design', Proc.
CSI-81, Annual
Convention, 1981.
2. T. Krishnaprasad, Y.N. Srikant, and
Priti Shankar,'An
attribute grammar based compiler
generator', Proc. CSI-85,
Annual Convention, 1985.
3. Bhaskar Rao
and Y.N. Srikant,'LAPGEN-A lexical analyzer
program
generator', Proc. CSI-85, Annual Convention, 1985.
4. M.P. Subodh Kumar and Y.N. Srikant,
'Graphical simulation
of
Petri nets', Proc.
CSI-85, Annual Convention, 1985.
5. Vijay Gehlot and Y.N. Srikant, 'A call-by-need
interpreter
for an
applicative language', Proc.
Int. Conf. on
Informatics, 1985.
6. S.
Muralidharan and Y.N. Srikant,'Design and implementation
of a compiler for
Int. Conf. on
Informatics, 1985.
7. Y.N. Srikant and Priti
Shankar, 'Data structures
and
algorithms for binary tree traversals', Proc.
CSI-85 Annual
Convention, 1985.
8. J. Ramesh Babu, Y.N. Srikant and S.
Thirunarayanan,'A
compiler
generator based on LALR(1) grammars', Proc.
CSI-85,
Annual Convention, 1986.
9. Y.N.
Srikant, Parallel parsing of arithmetic expressions',
Proc. IEEE International Conference on Parallel Processing,
1987.
10.
Y.N. Srikant, 'Dynamic expression
evaluation and its
implementation on
a mesh-connected computer,
Proc. IEEE
TENCON 87.
11.
A Systolic Array
Simulator Generator, Proc.
Int.Conf.
on Informatics, 1988. (with
C.R. Meenakshi Sundaram).
12.
A Graphical Environment for Robotics Applications, Proc.
Intl. Symp. on Intelligent Robotics,
pp.654-665, Jan.
1991.(with
K.A.Jasmeer and M.R.Chidambara).
13.
A Flexible
Linda Subsystem on Transputers, Proc. Transputing
'91, 1991 (with K.H.
Shekhar).
14.
Parallel Attribute Evaluation,
Supercomputing Symposium,
1991. (with N. Viswanathan)
15.
Parallel Incremental LR
Parsing, Int.Conf.Parallel
Processing, 1991.
(with
16.
C2G2 : A
Complete Code Generator Generator,
Int. Conf.
Computer Systems and Education, 1994( with R.K.Kulkarni).
17.
Distribution of
Dynamic Data Structures on Multiprocessors,
Proc. Int.Conf. High Performance
Computing, 1995. (with
M.A.
Dave).
18.
Communication Cost Estimation and Global Data Partitioning for
Distributed Memory Machines,
Int.Conf.High Performance Computing,
1997 (with
S.R.Prakash).
19.
Hyperplane Partitioning: An Approach to Global Data Partitioning
for Distributed
Memory Machines, Int.Par.Proc.Symposium, 1999
(with S.R.
Prakash).
20.
Formalizing Control Architectures for AMS, 2nd Nordic Workshop
on Software
Architecture, NOSA'99, 1999 (with R. Lakshminarayanan).
21.
LEADS: Language for Exploiting Architectural and Design Specifications,
Int.Computer Systems Conf., ICS'2000,
R.O.C., October 2000, (with
M. Bharath Kumar).
22.
Contextual Constraints - Breaking the "To Constrain or Not To
Constrain"
Dilemma, Int.Computer Systems Conf.,
ICS'2000, R.O.C., October 2000,
(with R.
Lakshminarayanan).
23.
A Simple and Fast Scheme for Code Compression for VLIW
Processors,
Data Compression Conference, 2003
(DCC’2003),
with J.Prakash, C. Sandeep, and Priti Shankar).
24. Integrated Temporal and Spacial Scheduling
for Extended Operand Clustered
VLIW Processors, ACM Conf. Computing
Frontiers, 2004, pp457-470
(with Rahul
Nagpal).
25. A Graph Matching Based Integrated Scheduling
Framework for Clustered
VLIW Processors, Workshop on Compile and
Run Time Techniques for
Parallel Processing, Int. Conf. Parallel
Processing, 2004, pp530-537 (with
Rahul Nagpal).
26. Transition-Aware Scheduling: Increasing
Continuous Periods in Resource
Units, ACM Conf.
Computing Frontiers, 2005 (with K. Ananda Vardhan).
27. A Programmable Hardware Path Profiler, ACM
Conf. Code Generation and
Optimization (CGO),
2005 (with Kapil Vaswani and Matthew T Jacob).
28. Static Analysis for Identifying and
Allocating Clusters of Immortal Objects,
Int. Conf. .NET
Technologies, 2005, pp13-22 (with Archana Ravindar).
29. The Best Nurturers in Computer
2005 (with M. Bharath Kumar).
30. Specification Based Regression Testing Using
Explicit State Space Enumeration,
International Conference on Software
Engineering Advances (ICSEA), October
2006 (with Sujit
Chakrabarti).
31. Compiler Assisted Leakage Energy Optimization
for Clustered VLIW Architectures,
ACM EMSOFT, October
2006 (with Rahul Nagpal).
32. Exploring Energy-Performance Tradeoffs for
Heterogeneous Interconnect Clustered
VLIW Processors, HiPC
2006, LNCS 4297 (with Rahul Nagpal).
33. Slice Switching: A Technique for Software
Watermarking, Workshop on New Horizons
in Compilers,
HiPC 2006 (with Subhajit Roy).
34. Microarchitecture Sensitive Empirical Models
for Compiler Optimizations, ACM Conference
on Code Generation
and Optimization, March 2007 (with Kapil Vaswani, P J Joseph,
and Matthew
Jacob T).
35. Executable Analysis using Abstract
Interpretation with Circular Linear Progressions,
ACM MEMOCODE,
May-June 2007 (with Rathijit Sen).
36. WCET Estimation for Executables in the
Presence of Data Caches, ACM EMSOFT, October 2007
(with Rathijit
Sen).
37. INTACTE: An Interconnect Area, Delay, and
Energy Estimation Tool for Microarchitectural
Explorations, ACM
CASES, October 2007 (with Rahul Nagpal).
38. Compiler-Assisted Instruction Decoder Energy
Optimization for Clustered VLIW Architectures,
HiPC, December 2007
(with Rahul Nagpal).
39. Register File Energy Optimization for Snooping
Based Clustered VLIW Architectures,
SBAC-PAD, October 2007
(with Rahul Nagpal).
40. Partial Flow Sensitivity, HiPC, December 2007
(with Subhajit Roy).
M.E.Project Guidance
M1. M. Ramachandra Rao, A
Parser for Modula, June 1983.
M2. Vijay Gehlot, An Interpreter for Slips -
An Applicative
Language based on Lamda-Calculus, July
1984.
M3. T.
Krishnaprasad, A Compiler Generator Based on Attributed
Translation Grammars, July
1984 (jointly with
Priti
Shankar).
M4. S. Muralidharan, Design and Implementation of
a Compiler for
M5. Rajeev
Kanvar, A Code
Generator for
Multiprocessor Simulator, Jan. 1987.
M6. Purandar Bhaduri, Code
Generator Based on Tree
Pattern
Matching, Jan. 1987.
M7. V. Sundar, Syntax-Directed Editor Generator,
Jan. 1988.
M8. A.M. Murching, Incremental Algorithms for
Compilation,
Jan. 1988.
M9. V.
Ganeshan,
Automatic Construction
of Code Generators,
Jan.1988.
M10.
Sanjay Jain, Syntax-Directed Editor
as an Interface
for an
Incremental Programming Environment, Jan. 1989.
M11.
N.K. Sancheti, Algorithms in
Computer Vision; Sequential
and Parallel
Implementation, Jan. 1989.
M12.
G. Ganeshan, Code Generator for
Pascal Using Tree
Pattern Matching, Jan. 1989.
M13.
G. Sreenivas, A Programming Environment for
Actus, Jan.
1990.
M14.
L.V. Nilesh,
Implementation of OCCAM on a
Multiprocessor,
Jan. 1990.
M15.
Bhama Sridharan, Peephole
Optimization and Global
Register Allocation, Jan. 1990.
M16.
Vivek V. Gupta, Implementation of OCCAM
on a Shared
memory multiprocessor, Jan. 1991.
M17.
and Implementation, Jan. 1991.
M18.
Amitabh Dave, Code Generation for the Intel
80860, Jan.
1991.
M19.
K.H. Shekhar, Design and
Implementation of Linda
on
Transputers, Jan. 1991.
M20.
Sandhya Nayak, Implementation of
an Auto-Scheduling
Compiler, Jan. 1991.
M21.
Dibyendu Das, A Vectorizer for Pascal, Jan. 1992.
M22.
Manoj Dighe, A Vectorizer for Pascal, Jan. 1993(continuation
of M15).
M23.
K.S.
Mohan Das, Incremental Dataflow
Analysis and
Register Allocation, Jan. 1993.
M24.
R.P. Banginvar,
A code generator and Symbolic Debugger for
ACTUS, Jan. 1993.
M25.
L.B. Shinde, An efficient code
generator for i860,
Jan.
1993.
M26.
Bijendra Singh, A Debugger for LINDA, Jan.1994
M27.
K. Sudha, Incremental Code Generation, July 1994.
M28.
S.Kishore, An Efficient Code Generator for R4000, June
1995.
M29.
Ajitesh Das, Building an Environment to Test Object-Oriented
Software, January 1996.
M30.
A.M. Gondhiya, A Code Generator
with Scheduler and Global
Register Allocator for MIPS-R3000,
January 1996.
M31.
M.Subba Rao, A CASE Tool based on the Fusion Methodology, January 1997.
M32.
Anasua Bhowmik, Automatic Code Generating Environment, January 1997.
M33.
Anoop Kumar, Integrated Register Allocation and Instruction Scheduling
January, 1997.
M34.
G.R. Satyanarayana, Solve: A Tool for Testing Object-Oriented Programs,
July 1997.
M35.
G. Venkatesha Murthy, Slicing C++ Programs, July 1997.
M36.
Jai Anand, A CASE Tool to support Object-Oriented Analysis and Design for
Software Systems
using Fusion Method, Jan 1998.
M37.
G.Srinivas, Reverse Compilation of Assembly Code, Jan 1998.
M38.
M.Balaraj, Automating the Process of Reviews using the Web,
Jan 1998.
M39.
N.R.Prashanth, Slicing Member Functions in C++ , Jan
1998.
M40.
K.N.V.S.M. Lakshman, Just-In-Time Compilation of Java Byte Code,
April 1998.
M41.
Biswajit Dutta, A Tool for Class and Cluster testing of Object-Oriented
Programs, July 1998.
M42.
Jayesh Dixit, A Code Generator and Instruction
Scheduler for DSP
microprocessors,
July 1998.
M43.
Vinayak Bhakta, Slicing Object-Oriented Programs, January
1999.
M44.
E.Shreekar Varma, A Code Generator for a DSP microprocessor,
April 1999.
M45.
Milind Shingade, A Work-Flow Modelling Environment,
April 1999.
M46.
Rajendra K. Parida, A CASE Tool for UML-Based Modelling, July 1999.
M47.
S.R. Biju, Automatic Code Generation from UML State-Chart Diagrams,
January 2000.
M48.
E. Vijayakumar, Data Redistribution in a Parallelizing Compiler,
January 2000.
M49.
N.V. Krishna, Type Verification of Java Byte Code, January 2000.
M50.
Vinit Agrawal, Automatic Synthesis of UML State-Charts from Sequence
diagrams,
January 2001.
M51.
Srivalli, Generating C# code for Rational Rose UML diagrams,January
2002.
M52.
Bharathi Shetty, Comparison of different PRE algorithms in gcc framework,
January 2003.
M53.
Mohit Kumar, Implementation of SSA-based optimizations in gcc, January 2003 .
M54.
Deepak Naik and Reetu Sabharwal, Code generation for the Itanium Processor,
January 2003
(jointly with Prof. Priti Shankar).
M55.
J. Prakash and C. Sandeep, A Simple and fast scheme for code compression
For embedded VLIW processors, January
2003 (jointly with Prof. Priti Shankar).
M56.
Amarnath Mullick and A Maitri, Software Watermarking,
July 2004.
M57.
Rathijit Sen, Worst case execution time analysis of executable code, July 2007.
M58.
Sudipta Chattopadhyay, Cluster detection for efficient garbage collection, July
2007.