Slides from talks

• Invited talk at CAV 2019
• Workshop in honor of Orna Grumberg at CAV 2019
• Winter School at VMCAI 2019
• Talk from Verification Mentoring Workshop 2017 (part of CAV 2017)
• TACAS08 talk on quantified invariant generation using interpolants
• POPL08 talk on relevance heuristics for program analysis
• SSPV06 talk on SAT and software verification
• Invited talk at Newton Institute Workshop on Constraints and Verification
• TACAS06 talk on split provers
• TACAS05 talk on interpolants
• CAV05 tutorial on abstraction refinement
• Invited talk at SAT04
• CAV03 tutorial on SAT-based model checking
• Model checking based on interpolation
• Invited talk at BMC03 workshop
• Slides from FEmSys01 talk
•  ICCAD 2000 Tutorial Slides
• Slides from FMCAD98 talk (ppt format)
• Slides from MOVEP98
•  CAV98 Tutorial Slides
•  SMC 99 workshop presentation
•  CHARME99 conference presentation
•  LICS 00 presentation