Exact Quantitative Probabilistic Model Checking Using Rational Search FMCAD 2017, Vienna, Austria Slides | Paper | Video
Dynamic Race Prediction in Linear Time PLDI 2017, Barcelona, Spain Slides | Paper | Video
Introduction to Hoare Logic Formal Methods Seminar, Fall 2015, UIUC Slides (These slides might contain some typo(s). I plan to fix them soon)
Computing Information Flow Using Symbolic Model Checking The Midwest Verification Day 2015 MVD Slides
Computing Information Flow Using Symbolic Model Checking FSTTCS 2014 FSTTCS Slides