PL seminar talk today

["Thomas Reps" <reps@xxxxxxxxxxx>]

This is a reminder that Denis Gopan will give a PL
seminar today at 1 PM:

1:00 pm, 2310 CS
Programming  Languages  Seminar: Denis Gopan, University of Wisconsin,
"Numeric
   Domains with Summarized Dimensions"
   We introduce a systematic approach to designing summarizing abstract
numeric
   domains  from  existing  numeric  domains.  Summarizing  domains use
summary
   dimensions  to  represent  potentially  unbounded  collections  of
numeric
   objects.  Such  domains are of benefit to analyses that verify
properties of
   systems with an unbounded number of numeric objects, such as shape
analysis,
   or systems in which the number of numeric objects is bounded, but
large.

   Joint  work  with Thomas Reps, Frank DiMaio, Nurit Dor and Mooly
Sagiv (prac-
   tice talk for TACAS'04)