diff --git a/events.xml b/events.xml index 6bf5036..5630d65 100644 --- a/events.xml +++ b/events.xml @@ -4,6 +4,22 @@ + +

Nomair Naeem, a P.H.D. Student at Waterloo, will be giving a talk about Dataflow Analysis

+

+ After going through an introduction to Lattice Theory and a formal treatment to + Dataflow Analysis Frameworks, we will take an in-depth view of the + Interprocedural Finite Distributive Subset (IFDS) Algorithm which implements a + fully context-sensitive, inter-procedural static dataflow analysis. Then, using + a Variable Type Analysis as an example, I will outline recent extensions that we + have made to open up the analysis to a larger variety of static analysis + problems and making it more efficient. +

+ The talk is self-contained and no prior knowledge of program analysis is + necessary. +

+
+

Professor Ragde will be giving the first of our Professor talks for the Spring 2010 term.