Course Schedule

Apa0506
----++ Schedule 2005/2006

The schedule below indicates what I plan to do at each lecture and provides
you with the slides for that lecture. Some of the slide packs are still from
the previous year, and subject to small changes.
Take into account though that the slides for 30/5 and 1/6 are subject
to more change (likely enough they will be spread over three lectures).

<table style= "text-align: center; border: solid 1pt">
<tr>
 <th>Date</th>
 <th>Time</th>
 <th>Subjects</th>
 <th>Slides</th>
</tr>
<tr>
 <td>Tue 25/04/2006 </td>
 <td>10.00-12.45</td>
 <td>Introduction and Available Expressions analysis</td>
 <td>[[http://www.cs.uu.nl/docs/vakken/apa/slides0506/apalecture1.pdf][Download]]</td>
</tr>
<tr>
 <td>Thu 27/04/2006 </td>
 <td>13.15-16.00</td>
 <td>Live Variables analysis and Monotone Frameworks</td>
 <td>[[http://www.cs.uu.nl/docs/vakken/apa/slides0506/apalecture2.pdf][Download]]</td>
</tr>
<tr>
 <td>Tue 02/05/2006</td>
 <td>9.00-10.45</td>
 <td>Constant Propagation, Solution MOP, and Algorithm MFP</td>
 <td>[[http://www.cs.uu.nl/docs/vakken/apa/slides0506/apalecture3.pdf][Download]]</td>
</tr>
<tr>
 <td>Tue 02/05/2006</td>
 <td>11.00-12.45</td>
 <td>Operational semantics and soundness of Live Variable analysis</td>
 <td>[[http://www.cs.uu.nl/docs/vakken/apa/slides0506/apalecture5.pdf][Download]]</td>
</tr>
<tr>
 <td>Thu 04/05/2006</td>
 <td>13.15-15.00</td>
 <td>Interprocedural analysis and MVP</td>
 <td>[[http://www.cs.uu.nl/docs/vakken/apa/slides0506/apalecture7.pdf][Download]]</td>
</tr>
<tr>
 <td>Thu 04/05/2006</td>
 <td>15.15-17.00</td>
 <td><em>Practice session</em></td>
 <td> &nbsp; </td>
</tr>
<tr>
 <td>Tue 09/05/2006</td>
 <td>9.00-10.45</td>
 <td>Embellished Monotone Frameworks</td>
 <td>[[http://www.cs.uu.nl/docs/vakken/apa/slides0506/apalecture8.pdf][Download]]</td>
</tr>
<tr>
 <td>Tue 09/05/2006</td>
 <td>11.00-13.45</td>
 <td><em>Practice session</em></td>
 <td> &nbsp; </td>
</tr><tr>
 <td>Thu 11/05/2006</td>
 <td>13.15-15.00</td>
 <td>Introduction to Control Flow analysis</td>
 <td>[[http://www.cs.uu.nl/docs/vakken/apa/slides0506/apalecture9.pdf][Download]]</td>
</tr>
<tr>
 <td>Thu 11/05/2006</td>
 <td>15.15-17.00</td>
 <td><em>Practice session</em></td>
 <td> &nbsp; </td>
</tr>
<tr>
 <td>Tue 16/05/2006</td>
 <td>9.00-10.45</td>
 <td>Constraint based 0-CFA analysis</td>
 <td>[[http://www.cs.uu.nl/docs/vakken/apa/slides0506/apalecture10.pdf][Download]]</td>
</tr>
<tr>
 <td>Tue 16/05/2006</td>
 <td>11.00-12.45</td>
 <td><em>Practice session</em></td>
 <td> &nbsp;  </td>
</tr>
<tr>
 <td>Thu 18/05/2006</td>
 <td>13.15-15.00</td>
 <td>Combining Control Flow and Data Flow analysis</td>
 <td>[[http://www.cs.uu.nl/docs/vakken/apa/slides0506/apalecture11.pdf][Download]]</td>
</tr>
<tr>
 <td>Thu 18/05/2006</td>
 <td>15.15-17.00</td>
 <td><em>Practice session</em></td>
 <td> &nbsp;  </td>
</tr>
<tr>
 <td>Tue 23/05/2006</td>
 <td> 11.00-12.45 </td>
 <td><em>Practice session</em></td>
 <td> &nbsp;  </td>
</tr>
<tr>
 <td>Thu 25/05/2006</td>
 <td> &nbsp; </td>
 <td><b>No lectures due to re-exams</td>
 <td> &nbsp; </td>
</tr>
<tr>
<td>Tue 30/05/2005</td>
 <td>9.00-10.45</td>
<td><span class="subject">A type system for Control Flow analysis</span></td>
<td>[[http://www.cs.uu.nl/docs/vakken/apa/slides0506/apalecture15.pdf][Download]]</td>
</tr>
<tr>
 <td>Tue 30/05/2006</td>
 <td>11.00-12.45</td>
 <td><em>Practice session</em></td>
 <td> &nbsp;  </td>
</tr>
<tr>
<td>Thu 01/06/2005</td>
 <td>13.15-15.00</td>
<td><span class="subject">Examples of Type and Effect Systems</span></td>
<td>[[http://www.cs.uu.nl/docs/vakken/apa/slides0506/apalecture16.pdf][Download]]</td>
</tr>
<tr>
 <td>Thu 01/06/2006</td>
 <td>15.15-16.30</td>
 <td><em>Practice session</em></td>
 <td> &nbsp;  </td>
</tr>
<tr>
 <td>Tue 06/06/2006</td>
 <td> 10.00-12.45 </td>
 <td><em>Practice session</em></td>
 <td> &nbsp;  </td>
</tr>
<tr>
 <td>Thu 08/06/2006</td>
 <td>13.15-15.00</td>
 <td>More examples of Type and Effect systems</td>
 <td> [[http://www.cs.uu.nl/docs/vakken/apa/slides0506/apalecture17.pdf][Download]]</td></td>
</tr>
<tr>
 <td>Thu 08/06/2006</td>
 <td>15.15-16.30</td>
 <td><em>Practice session</em></td>
 <td> &nbsp;  </td>
</tr>
<tr>
 <td>Tue 13/06/2006</td>
 <td>9.00-10.45</td>
 <td>Abstract Interpretation introduction</td>
 <td>[[http://www.cs.uu.nl/docs/vakken/apa/slides0506/apalecture12.pdf][Download]]</td>
</tr>
<tr>
 <td>Tue 13/06/2006</td>
 <td>11.00-12.45</td>
 <td><em>Practice session</em></td>
 <td> &nbsp;  </td>
</tr>
<tr>
 <td>Thu 15/06/2006</td>
 <td>13.15-16.00</td>
 <td><em>Practice session</em></td>
 <td> &nbsp;  </td>
</tr>
<tr>
 <td>Tue 20/06/2005</td>
 <td>9.00-10.45</td>
 <td>Galois Connections</td>
 <td>[[http://www.cs.uu.nl/docs/vakken/apa/slides0506/apalecture13.pdf][Download]]</td>
</tr>
<tr>
 <td>Tue 20/06/2006</td>
 <td>11.00-12.45</td>
 <td><em>Practice session</em></td>
 <td> &nbsp;  </td>
</tr>
<tr>
 <td>Thu 22/06/2005</td>
 <td>13.15-15.00</td>
 <td>Narrowing and widening</td>
 <td>[[http://www.cs.uu.nl/docs/vakken/apa/slides0506/apalecture14.pdf][Download]]</td>
</tr>
<tr>
 <td>Thu 22/06/2006</td>
 <td>15.15-16.00</td>
 <td><em>Practice session</em></td>
 <td> &nbsp;  </td>
</tr>
<tr>
 <td>Tue 27/06/2006</td>
 <td> &nbsp; </td>
 <td><em>No practice session</em></td>
 <td> &nbsp;  </td>
</tr>
<tr>
 <td>Wed 28/06/2006</td>
 <td> &nbsp; </td>
 <td><em>Come by my office to ask questions.</em></td>
 <td> &nbsp;  </td>
</tr>
<tr>
 <td>Thu 29/06/2006</td>
 <td>13.15-16.00</td>
 <td><em>Practice session</em></td>
 <td> &nbsp;  </td>
</tr>
</table>

-- Main.JurriaanHage - 24 Apr 2006
Master Course Automatic Program Analysis

Course Schedule

Master Course
Automatic Program Analysis
