Talk reminder

["Thomas Reps" <reps@xxxxxxxxxxx>]

This is a reminder that the first PL seminar of the year will be at 4:00
PM today.

Tom

4:00 pm, 1325 CS
Programming  Languages Seminar: Thomas Reps, University of Wisconsin,
"Weighted
   Pushdown Systems and their Application to Interprocedural Dataflow
Analysis
   "
   Recently,  pushdown  systems  (PDSs) have been extended to weighted
PDSs, in
   which each transition is labeled with a value, and the goal is to
determine
   the meet-over-all-paths value for paths that meet a certain
criterion). This
   talk will describe how  weighted  PDSs  yield  new  algorithms  for
certain
   classes of interprocedural dataflow-analysis problems.

   Joint work with Stefan Schwoon and Somesh Jha.