Prof. Natasha Sharygina, Tutorial on SMT-based Function Summarization for Software Verification Facebook Testing and Verification Symposium, London, 2018.

[ video starts at 00:47:11 ]

Prof. Natasha Sharygina, Tutorial on Symbolic model checking with interpolation and IC3 VMCAI Winter School, New Orleans, Louisiana, 2020. [ slides ]

Sepideh Asadi, Incremental Verification by SMT-based Summary Repair

FMCAD 2020. [ short-video | full-video | paper | slides]

[ video starts at 00:47:11 ]

Rodrigo Otoni, Accurate Smart Contract Verification through Direct Modelling.

ISoLA 2020. [ video | paper | slides ]

Sepideh Asadi, Farkas-Based Tree-Interpolation, SAS 2020. [ video | paper | slides ]