PL Seminar today at 4:00 pm in 2310

[Alexey Loginov <alexey@xxxxxxxxxxx>]

Hello,

This talk announcement didn't make it to the normal channel because of
rescheduling.  Note, that the seminar is today because the usual Thursday time
conflicts with a faculty meeting.  Also, note that there will be cookies. :-)

-Alexey


Finite Differencing of Logical Formulas for Static Analysis 

This talk 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.

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.

Joint work with Thomas Reps and Mooly Sagiv.