Institute of Computer Languages
Compilers and Languages Group

Talks 2008 - Uday Khedker

The Compilers and Languages Group invites you to a talk given by

Prof. Dr. Uday Khedker

IIT Bombay, Powai, Mumbai, India

on

Heap Reference Analysis

Date: Tuesday, April 1st, 2008
Time: 14:00 (c.t.)
Location: TU Wien, Elektrotechnik, EI 5 Hochenegg-Hörsaal, Gußhausstraße 25-29 (Altbau), 2. Stock

Abstract:

Despite significant progress in the theory and practice of program analysis, analysing properties of heap data has not reached the same level of maturity as the analysis of static and stack data. The spatial and temporal structure of stack and static data is well understood while that of heap data seems arbitrary and is unbounded. We devise bounded representations which summarize properties of the heap data. This summarization is based on the structure of the program which manipulates the heap. The resulting summary representations are certain kinds of graphs called access graphs. The boundedness of these representations and the monotonicity of the operations to manipulate them make it possible to compute them through data flow analysis.

An important application which benefits from heap reference analysis is garbage collection, where currently liveness is conservatively approximated by reachability from program variables. As a consequence, current garbage collectors leave a lot of garbage uncollected, a fact which has been confirmed by several empirical studies. We propose the first ever end-to-end static analysis to distinguish live objects from reachable objects. We use this information to make dead objects unreachable by modifying the program. This application is interesting because it requires discovering data flow information representing complex semantics.

Our approach is applicable to memory leak plugging in C/C++ languages also.

About Prof. Dr. Uday Khedker:

Uday Khedker is an Associate Professor of Computer Science at the Indian Institute of Technology (IIT) Bombay. He is interested in the area of optimising compilers. His current topics of interest include Interprocedural Data Flow Analysis, Heap Reference Analysis, Static Inferencing of Flow Sensitive Polymorphic Types, and Compiler Verification. A recent research thrust involves cleaning up the GNU Compiler Collection (GCC) to simplify its deployment, retargetting, and enhancements. Other goals include increasing its trustworthiness as well as the quality of generated code. Two focussed activities involve

  1. incorporating our precise, general, and efficient interprocedural data flow analysis algorithms in GCC, and
  2. simplifying machine descriptions by changing the instruction selection mechanism in GCC.

His group has conducted a workshop on GCC Internals (http://www.cse.iitb.ac.in/~uday/gcc-workshop) to explain their findings to the GCC community. More details about his current research can be found in the presentation available at:

http://www.cse.iitb.ac.in/~uday/res-overview.pdf

Complang
   About Us
   Research
   Lehre
   Service
      Robotics
      Library
      Talks 2017
      Talks 2016
      Talks 2015
      Talks 2014
      Talks 2013
      Talks 2012
      Talks 2011
      Talks 2010
      Talks 2009
      Talks 2008
      Talks 2007
      Talks 2006
      Talks 2005
      Talks 2004
Sitemap
Contact
Fast Access:
Previous Talk
Next Talk
Faculty of Informatics
Vienna University of Technology
top | HTML 4.01 | last update: 2017-02-13 (Webmaster)