From: Jurgen Vinju
To: Multiple recipients of list PEM <>
Date: Mon, 17 Jun 2002 09:50:04 +0200
Subject: PEM | 17.06.02 | M279

Precedence: bulk
X-url: http://www.cwi.nl/~jurgenv/pem/nextpems.html

Mime-Version: 1.0
Content-Type: text/plain

   Dear colleagues,

   This weeks PEM is orginized by SEN. We welcome our guest Y.N. Srikant,
   who will give a presentation on the following subject:

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

     Partial Redundancy Elimination: A Simple, Pragmatic, and Provably
                             Correct Algorithm

   Date:    17.06.02
   Time:    11:00
   Venue:   M279
   Speaker: Y.N. Srikant
   Title:   Partial Redundancy Elimination: A Simple, Pragmatic, and Provably C
orrect Algorithm

   Vineeth Kumar Paleri, Y.N. Srikant and Priti Shankar

   We propose a new algorithm for partial redundancy elimination based on
   the  new  concepts  of  safe  partial  availability  and  safe partial
   anticipability.  These  new concepts are derived by the integration of
   the  notion of safety into the definitions of partial availability and
   partial anticipability. The algorithm works on flow graphs whose nodes
   are  basic blocks. It is both computationally and lifetime optimal and
   requires  four  unidirectional analyses. The most important feature of
   the  algorithm is its simplicity; the algorithm evolves naturally from
   the new concept of safe partial availability.

   (This paper will be appearing in "Science of Computer Programming")

   Have a nice day.
     _________________________________________________________________

   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/~jurgenv/pem/index.html
     _________________________________________________________________