From 2bff29a50aa3510aed9766c7d6b513f199ea993b Mon Sep 17 00:00:00 2001
From: Brennan Taylor <taylor.brennan@gmail.com>
Date: Sat, 3 Jul 2010 13:54:27 -0400
Subject: [PATCH] Adding Nomair talk.

---
 events.xml | 16 ++++++++++++++++
 1 file changed, 16 insertions(+)

diff --git a/events.xml b/events.xml
index 6bf5036..5630d65 100644
--- a/events.xml
+++ b/events.xml
@@ -4,6 +4,22 @@
 <eventdefs>
 
 <!-- Spring 2010 -->
+<eventitem date="2010-07-06" time="04:30 PM" room="MC2054" title="Dataflow Analysis">
+  <short><p>Nomair Naeem, a P.H.D. Student at Waterloo, will be giving a talk about Dataflow Analysis</p></short>
+  <abstract><p>
+    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.
+    </p><p>
+    The talk is self-contained and no prior knowledge of program analysis is
+    necessary.
+  </p></abstract>
+</eventitem>
+
 <eventitem date="2010-06-22" time="04:30 PM" room="MC2066" title="Compiling To Combinators">
   <short><p>Professor Ragde will be giving the first of our Professor talks for the Spring 2010 term.</p></short>
   <abstract><p>