Adding Nomair talk.
This commit is contained in:
parent
4c0971c008
commit
2bff29a50a
16
events.xml
16
events.xml
|
@ -4,6 +4,22 @@
|
||||||
<eventdefs>
|
<eventdefs>
|
||||||
|
|
||||||
<!-- Spring 2010 -->
|
<!-- 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">
|
<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>
|
<short><p>Professor Ragde will be giving the first of our Professor talks for the Spring 2010 term.</p></short>
|
||||||
<abstract><p>
|
<abstract><p>
|
||||||
|
|
Loading…
Reference in New Issue