Uday Khedker

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

External Interaction

I worked as a Chief Scientist with Tata Research Design and Development Center (TCS), Pune from Aug 2014 to Apr 2015. My other external interactions are as under.

• CEP/Trainings Conducted
• Consultancy Projects
• Sponsored Projects

• CEP (Continuing Education Programme) Courses and Trainings

  • GCC Internals for Parallelization and Vectorization (with Prof. Supratim Biswas). HP Bangalore. (July 2015).
    
  • Program Analysis. TCS (TRDDC) Pune. (August 2011 to Jan 2012).
  • Advanced Data Flow Analysis. NVIDIA, Pune. (December 2011).
    
  • Compiler Construction with Introduction to GCC (with Prof. Amitabha Sanyal).  IIT Bombay. (December 2009).
  • Compiler Back Ends (with Prof. Amitabha Sanyal).  TCS, Hyderabad. (September 2009).
  • Compiler Construction: From Practice to Theory (with Prof. Amitabha Sanyal). Faculty Development Program conducted by TCS, Pune. (February 2009).
  • Compiler Construction: From Practice to Theory (with Prof. Amitabha Sanyal). Training program for college teachers held at IIITDM, Jabalpur. (December 2008).  
  • Compiler Construction: From Practice to Theory (with Prof. Amitabha Sanyal). TEQIP course for college teachers held at College of Engineering, Pune. (September 2007)
    
  • Automatic Construction of Scannners and Parsers Blue Star Infotech Ltd. (Mumbai). (February 2007).
    
  • Getting Started with Porting GCC (with Prof. Amitabha Sanyal and Prof. Supratim Biswas) Infineon (Bangalore). (February 2004).
    
  • Compiler Construction (with Prof. Amitabha Sanyal and Prof. Supratim Biswas) to ANURAG, a DRDO lab (Hyderabad). (December 2003).
    
  • Compiler Back Ends (with Prof. Amitabha Sanyal) to Synopsys India (Pvt.) Ltd., Bangalore (December 2002).
    
  • Ada (with Prof. H. V. Sahasrabudde) to Jopasana Software & Systems Pvt. Ltd. (May 2001).
    
  • Data Flow Analysis to Tata Infotech Ltd. (December 1999).
    
  • Language Processing to Tata Infotech Ltd. (December 1998).
    
  • Design and Implementation of Low Level Language Processing Tools to Cirrus Logic Software (I) Pvt. Ltd. (November 1998).
    
  • Have provided consultancy to Mastek, Pune for developing a compiler for their proprietary software specification language (called MERIT) for large applications in Enterprise Resource Planning. The work also involved helping them evaluate their language for a subsequent redesign in future (December 1996 to May 1997).
    
  • Bidirectional Data Flow Analysis to Tata Research Design and Development Center (May 1996 to July 1996).
    
    

• Consultancy Projects

• Code Similarity in Games. Gameberry Labs Pvt. Ltd., Bangalore. (Oct 2017 and May 2018).
• Formalizing Program Analyses.  TCS (TRDDC) Pune (May 2017 to Apr 2018).
  
• Auto Vectorization in MIPS GCC. Imagination Technologies, Pune. (Sep 2015 to Jan 2016).
• Porting GCC. Algotochip Corporation, USA. (Aug 2010).
  
• PL/I to C++ translation (with Prof. Amitabha Sanyal). Patni (Pune). (March 2009 to April 2009).
• Efficient Programming with GCC for Tricore (with Prof. Amitabha Sanyal and Prof. Supratim Biswas) Infineon (Bangalore). (July 2005 to January 2006).
  
• Was the chief designer of VxC being designed and implemented by Tata Infotech Ltd. VxC is a variant of C for embedded systems applications. (September 2000 to November 2001).
  
• Tuning of lcc for better code generation for UMS chip of Cradle Technologies Ltd. (December 2000 to May 2001).
  
• Was the principal architect of an optimising compiler for VxC being designed and implemented by Tata Infotech Ltd. for a DSP chip of VxTel (an Intel Company). Some details about this compiler can be found here. (September 2000 to November 2001).