PL seminar, Wednesday 12/11/02

["Thomas Reps" <reps@xxxxxxxxxxx>]

Alexey will give a talk this Wednesday at 4:00 PM in 2310.
(Our usual Thursday slot conflicts with a faculty meeting.)

-N Programming Languages Seminar (non-standard time)
-S Alexey Loginov
-F University of Wisconsin
-T Finite Differencing of Logical Formulas for Static Analysis
-D 12/11/02
-W Wednesday
-M 16:00
-P 2310 CS
-A
.pp
This paper concerns mechanisms for maintaining the value of an
instrumentation predicate (a.k.a. derived predicate
or view), defined via a logical formula over core predicates,
in response to changes in the values of the core predicates.
It presents an algorithm for transforming the
instrumentation predicate's defining formula into a
predicate-maintenance formula that captures what the
instrumentation predicate's new value should be.
.pp
This technique applies to program-analysis problems
in which the semantics of statements is expressed using logical
formulas that describe changes to core-predicate values, and
provides a way to reflect those changes in the values of the
instrumentation
predicates.
.pp
Joint work with Thomas Reps and Mooly Sagiv.