Talks/Seminars

  • Dynamic Race Prediction in Linear Time
    PLDI 2017, Barcelona, Spain
    Slides | Paper

  • Introduction to Hoare Logic
    Formal Methods Seminar, Fall 2015, UIUC
    Slides (These slides might contain some typo(s). I plan to fix them soon)