• EPFL

  • Channels
  • Search
  • Sign in

Fabien Salvi

École polytechnique fédérale de Lausanne (EPFL)

  • Thumbnails
  • List
  • Most recentMost recent on top
  • OldestOldest on top
  • A-ZAlphabetically
  • 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

© 2013–2021 SWITCH

  • Home
  • Help
  • Terms and Conditions
  • New features