From: Jurgen Vinju
To:
Date: Fri, 5 Nov 2004 13:09:51 +0100
Subject: PEM: Thomas Reps (University of Wisconsin) | The Use of Program Profiling for Software Maintenance with Applications to the Year 2000 Problem | 13.06.97  PEM: Susan Horwitz and Marc Shapiro (University of Wisconsin) | Flow-Insensitive Pointer Analysis | 13.06.97

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

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

                     Flow-Insensitive Pointer Analysis

   Date:    13.06.97
   Time:    15:00
   Venue:   F013, UvA WINS
   Speaker: Susan Horwitz and Marc Shapiro (University of Wisconsin)
   Title:   Flow-Insensitive Pointer Analysis

   In  order to analyze a program that involves pointers, it is necessary
   to have (safe) information about what each pointer points to. Our work
   addresses   flow-  and  context-insensitive  analysis  of  stack-based
   storage.

   We have two main contributions to report:
     * The definition of a family of new pointer-analysis algorithms.
     * Experimental results that explore how well our algorithms, as well
       as  two previously defined algorithms perform in practice. A novel
       aspect  of  our experiments is that we have measured both "direct"
       results  (e.g.,  the  sizes  of the points-to sets computed by the
       different algorithms) and "transitive" results (e.g., how much the
       relative  accuracies  of  the  algorithms  affect the results of a
       subsequent analysis).
     _________________________________________________________________

   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
     _________________________________________________________________