Projects

Sponsored Projects

• CHILL Tool Set for C-DOT's Digital switching systems, C-DoT Delhi, 1987-1990
• Tools for Software Quality Testing, ARDB Bangalore, 1996-1999
• Impact Analysis Tool and Its use in Year2000 problem, Infosys, Bangalore, 1997-1998
• A Logic Based Approach for Enforcing Coding Standards, Wipro Infotech, 1997-1998
• Super-compiler for Supercomputers, AICTE, 1997-2000
• Recovery of Grammars from Legacy Programs, Mahindra British Telecom, 1999-2000
• Code Compliance Tools, Mahindra British Telecom, 1999-2000
• Automatic Generation of Test Coverage Analyzers, Mahindra British Telecom, 1999-2000
• Equipment grant for setting up Advanced Compilers Laboratory, Sun Microsystems, 1999
• Dependence Analysis of Programs, Sun Microsystems, 2001-2003
• Tools for checking quality of programs, Ministry of Information Technology, 2000-2002
• Computerization of UP-PWD, PWD Government of UP, 2001
• Equipment grant for Advanved Compilers laboratory, Sun Microsystems, 2003
• Tools for Computational Grid, Sun Microsystems, 2004
• Equipment grant for setting up a grid of Sun Workstations, Sun Microsystems, 2005
• Curriculum Development for Program Optimization for Multicore Architectures, Intel, 2006-2008
• Configurable Static Code Analysis Tool, Siemens, 2008
• Curriculum Development for Embedded Systems, Intel, 2011

Softwares Developed and Delivered

• Code Generator Generator that reads machine specifications and generates Code Generator. The tool has been used in many compiler projects at TRDDC Pune.

• A set of CHILL (CCITT's High Level Language) Compilers for C-DOT's Digital Switch, M68000 and VAX machines, and Linkers, Debuggers to C-DOT. This tool set has been used by C-DOT to develop and deploy switch software.

• A set of Test Coverage Analyzer for C and Ada programming languages to ARDB.

• A set of Code Compliance Tool for C and Ada Programming Languages to ARDB.

• Techniques for generic code compliance tools and test coverage analysis, Transferred to STQC of DIT and converted into products.