Course Schedule
Tbpa
| Date | Time | Room | Meeting | Reading | |
|---|---|---|---|---|---|
| 1. | Thu, 04 Sep 2008 | 09 - 11 | MIN-204 | Lecture: course overview; administratrivia; introduction to usage analysis; the underlying type system | - |
| 2. | Mon, 08 Sep 2008 | 13 - 15 | MIN-204 | Lecture: polymorphism; the analysis | Palsberg (PASTE 2001); Hage et al. (ICFP 2007): §§1–3 |
| 3. | Thu, 11 Sep 2008 | 09 - 11 | MIN-204 | Lecture: type checking destructive updates; avoiding unneccesary updates; subeffecting; polyvariance; subeffect qualifiers | Nielson and Nielson (HL 1999) |
| 4. | Mon, 15 Sep 2008 | 13 - 15 | MIN-204 | Discussion: Jensen (NDJ 2002) | Jensen (NDJ 2002) |
| 5. | Thu, 18 Sep 2008 | 09 - 11 | MIN-204 | Discussion: Jensen (NDJ 2002) (continued); Volpano and Smith (TAPSOFT 1997) | Volpano and Smith (TAPSOFT 1997) |
| 6. | Mon, 22 Sep 2008 | 13 - 15 | MIN-204 | Discussion: Volpano and Smith (TAPSOFT 1997) (continued); Dean et al. (ECOOP 1995) | Dean et al. (ECOOP 1995) |
| 7. | Thu, 25 Sep 2008 | 09 - 11 | MIN-204 | Discussion: Heldal and Hughes (PSI 2001) | Heldal and Hughes (PSI 2001) |
| 8. | Mon, 29 Sep 2008 | No meeting, but consider attending SIREN | - | ||
| 9. | Thu, 02 Oct 2008 | 09 - 11 | MIN-204 | Paper presentation by Juan Cardona: Harren and Necula (SAS 2005) | Harren and Necula (SAS 2005) |
| 10. | Mon, 06 Oct 2008 | 13 - 15 | MIN-204 | Paper presentation by Jean Joskin: De Vries et al. (IFL 2007) | De Vries et al. (IFL 2007) |
| 11. | Thu, 09 Oct 2008 | 09 - 11 | MIN-204 | Paper presentation by Tom Lokhorst: Glew et al. (SAS 2005) | Glew et al. (SAS 2005) |
| 12. | Mon, 13 Oct 2008 | 13 - 15 | MIN-204 | Paper presentation by Jeroen Weijers: Dietl et al. (CASSIS 2004) | Dietl et al. (CASSIS 2004) |
| 13. | Thu, 16 Oct 2008 | 09 - 11 | MIN-204 | Lecture: partial evaluation | - |
| 14. | Mon, 20 Oct 2008 | 13 - 15 | MIN-204 | Discussion: Heldal and Hughes (Theor. Comp. Sci. 2000) | Heldal and Hughes (Theor. Comp. Sci. 2000) |
| 15. | Thu, 23 Oct 2008 | 09 - 11 | MIN-204 | Hackaton. | - |
| 16. | Mon, 27 Oct 2008 | 13 - 15 | MIN-204 | No meeting. | - |
| 17. | Thu, 30 Oct 2008 | 09 - 11 | MIN-204 | No meeting. | - |
| Fri, 7 Nov 2008 | 11 - 13 | BBL-433 | Project presentation. | - | |
| Fri, 14 Nov 2008 | Deadline project report. |