Past Presentations

Below you'll find some of the slides for presentations that weren't directly related a paper or some such.

• 

  Indexed Languages—and why you care
  Pieter Hooimeijer.
  - CS302 — Theory of Computation, 26 February 2008.
  - Theory Lunch, 7 February 2008.
  [ Presentation (PDF) ]

• 

  Generating String Attack Inputs Using Constrained Symbolic Execution
  Pieter Hooimeijer, Claire Le Goues, Westley Weimer.
  Multidisciplinary University Research Initiative (PI meeting), 18 January 2008. [ Presentation (PDF) ]