EPFL
EN
DE
Channels
Search
Sign in
Fabien Salvi
École polytechnique fédérale de Lausanne (EPFL)
Thumbnails
List
Most recent
Most recent on top
Oldest
Oldest on top
A-Z
Alphabetically
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