PL seminar: 3/25 at 1:00 PM

["Thomas Reps" <reps@xxxxxxxxxxx>]

Numeric Domains with Summarized Dimensions 
Denis Gopan 
University of Wisconsin 
Thursday, March 25, 2004 
1:00, 2310 CS 


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 (practice talk
for TACAS '04)