Slides

Here you can find slides from some of my presentations.

  • Crowfoot: a verifier for higher-order store programs. Powerpoint slides here. Presented at VMCAI 2012 (Verification, Model Checking, and Abstract Interpretation).
  • Hoare logic for higher order store using simple semantics. Powerpoint slides here. Presented at WoLLIC 2011 (18th Workshop on Logic, Language, Information and Computation).
  • Formal reasoning about runtime code update. Powerpoint slides here. Presented at HotSWUp 2011 (Hot Topics in Software Upgrades).
  • A deeper understanding of the deep frame axiom (frame rules for higher order store). PDF slides here. Presented at LOLA 2010 (Syntax and Semantics of Low Level Languages).
  • Falsifying safety properties through games on over-approximating models. PDF slides here. Presented at Workshop on Reachability Problems 2008 (WRP 08).
  • Hector: software model checking with cooperating analysis plugins.
    PDF slides here. Presented at Computer Aided Verification 2007 (CAV 07).