Fabien Salvi

Solver-Aided Programming for All

1:11:42

Nicolas Voirol public PhD thesis defense

30:49

Compiler verification for fun and profit

1:17:39

Induction for SMT Solvers

24:05

Challenges in Bit-Precise Reasoning

1:13:33

Model Interpretation and Compilation by Partial Evaluation

55:44

Model Checking High level Petri Nets

59:43

Complete Program Synthesis for Linear Arithmetics

35:49

A Framework For Automatic Verification of Programming Exercises

44:03

From Single-threaded to Multithreaded

38:28

Automatic Inference of Synchronization

1:03:38

Automated Termination Analysis of Programs using Dependency Pairs

52:36

The languages of Isabelle: Isar, ML, and Scala

1:00:14

TPTP, TSTP, CASC, etc. - Automated Reasoning in Practice

1:01:01

Flyspeck II - The Basic Linear Programs

50:49

An Improved Algorithm for Three-Color Parity Games

33:49

Solving Parity Games in Practice

1:20:33