From: Jurgen Vinju
To:
Date: Fri, 5 Nov 2004 13:09:59 +0100
Subject: PEM: Dhananjay Dhamdhere (Indian Institute of Technology) | Dynamic Currency Determination in Optimized Programs | 25.09.00

 
From: pem (PEM moderator)
To: pem-noreply
Subject: PEM meeting | 25.09.00 | M2.79, CWI 
Precedence: bulk
X-url: http://www.cwi.nl/~pem
Mime-Version: 1.0
Content-Type: text/plain;
        charset="iso-8859-1"

   Dear Environmentalists,

   The  last  PEM  is  only  hours  past  us,  and the new one is already
   announced! Next week we have a foreign visitor who could only speak on
   a Monday. So, note, the next PEM will be on a Monday, at 10 AM.

   This announcement can be found at <http://www.cwi.nl/~pem>

            Dynamic Currency Determination in Optimized Programs

   Date:    25.09.00
   Time:    10:00
   Venue:   M2.79, CWI
   Speaker: Dhananjay Dhamdhere (Indian Institute of Technology)
   Title:   Dynamic Currency Determination in Optimized Programs

   Compiler optimizations pose many problems to source level debugging of
   an  optimized  program  due  to  reordering, insertion and deletion of
   code. One such problem is to determine whether the value of a variable
   is  "current"  at  a breakpoint---that is, whether its actual value is
   the  same  as  its  expected  value.  We  use  the  notion of "dynamic
   currency"  of a variable in source level debugging and propose the use
   of  a  "minimal  unrolled  graph"  to  reduce the run-time overhead of
   dynamic  currency  determination.  We  prove that the minimal unrolled
   graph  is  an  adequate  basis  for  performing  bit-vector  data flow
   analyses  at  a  breakpoint.  This property is used to perform dynamic
   currency  determination.  It  is  also  shown to help in recovery of a
   dynamically noncurrent variable.
     _________________________________________________________________

   The  programming environment meetings are a forum for the presentation
   and  discussion  of  new  ideas,  ongoing and finished work. A typical
   meeting  addresses  a subject in the area of programming environments,
   program  generation, algebraic specification, term rewriting, parsing,
   etc.  A presentation ideally takes between 45 and 90 minutes. Meetings
   taking  longer  than 45 minutes are interrupted by a coffeebreak. Most
   Thursdays,  a  meeting is held which starts at 10:00 am. in one of the
   rooms at CWI/WINS. Exceptionally, dates or times may change.

   The    program    of    the    meetings    is    available   on   WWW:
   http://www.cwi.nl/~pem
     _________________________________________________________________