1. • SMT-Based Model Checking for Recursive Programs, CAV, July 2014 [ slides | video ]

  2. • Model Checking with Proofs and Counterexamples, CMU, June 2014 (Presented our CAV 2013 paper for a general CS audience) [ slides ]

  3. • Quantified Invariants in Rich Domains using Model Checking and Abstract Interpretation, MSR Redmond, September 2013 [ slides ]

  4. • Automatic Abstraction in SMT-Based Unbounded Software Model Checking, CAV, July 2013 [ slides ]

  5. • Overview of IC3/PDR, Graduate Verification Seminar, CMU, April 2013 [ slides ]

  6. • Assume-Guarantee Abstraction Refinement for Probabilistic Systems, CAV, July 2012 [ slides ]

  7. • Compositional Verification of Probabilistic Systems, Computer Science Department, Oxford University, July 2012 [ slides ]

  8. • Learning Probabilistic Systems from Tree Samples, LICS, June 2012 [ slides ]