EPFL videos and channels have moved to
mediaspace.epfl.ch
.
Find out more…
EPFL
EN
DE
Channels
Search
Sign in
Viktor Kuncak
École polytechnique fédérale de Lausanne (EPFL)
Thumbnails
List
Recent
Most recent on top
Oldest
Oldest on top
A-Z
Alphabetically
Jimmy Koppel: Meta-metaprogramming
70-05, 20 November 2022, 13 Views, 46:57
Sequent Calculus with Equality
30-09, 28 October 2022, 60 Views, 56:26
Idea of Symbolic Computation of Reachable States
02-03, 07 October 2022, 63 Views, 29:21
Martingale-based Methods for Formal Verification and Certified Control of Stochastic Systems
70-01, 09 August 2022, 9 Views, 43:35
Stainless Tutorial at ASPLOS 2022 Part 2
60-02, 01 March 2022, 76 Views, 1:15:30
Stainless Verification System Tutorial by Viktor Kuncak and Jad Hamza, FMCAD 2021
60-05, 28 February 2022, 15 Views, 1:13:11
Ondřej Lhoták: Taming Null References
70-03, 07 December 2021, 7 Views, 1:16:48
Nadia Polikarpova: Synthesis of Safe Pointer-Manipulating Programs
70-04, 07 December 2021, 44 Views, 1:11:56
Sequent Calculus
30-08, 02 December 2021, 25 Views, 44:50
Lars Birkedal: An Introduction to Iris, Higher-Order Concurrent Separation Logic
70-02, 29 November 2021, 32 Views, 51:36
Total Functions: How and Why
26 November 2021, 12 Views, 47:35
Semantics and Verification of Concurrency
26 November 2021, 15 Views, 43:58
Jérôme Boillot: Abstract Interpretation in Stainless
22 November 2021, 19 Views, 43:32
Omega Continuity, Galois Connection, and AI Recipe
18 November 2021, 92 Views, 45:53
From Lattice Products to Tarski's Fixedpoint Theorem
13-01-Live1, 18 November 2021, 69 Views, 34:42
Lattices for Abstract Interpretation
12-02-Live2, 11 November 2021, 81 Views, 43:03
Abstract Interpretation Idea
12-01, 11 November 2021, 72 Views, 41:43
Introduction to SMT Solving
11-01-Live1, 04 November 2021, 26 Views, 30:08
Recursion 2
10-03, 29 October 2021, 19 Views, 40:20
Approximating Loops. Recursion 1
10-02, 29 October 2021, 25 Views, 10:25
Loop Semantics Example
10-01, 29 October 2021, 80 Views, 15:16
Relational Semantics of Loops
09-02, 28 October 2021, 94 Views, 44:22
Monotonicity and Semantics of Local Variables
09-01, 28 October 2021, 118 Views, 45:12
Hoare Logic, Strongest Postcondition, Weakest Precondition Part 2
07-03-Live3, 22 October 2021, 130 Views, 26:16
Hoare Logic, Strongest Postcondition, Weakest Precondition Part 1
07-02-Live2, 21 October 2021, 25 Views, 46:42
Converting Imperative Programs to Formulas
07-01-Live1, 21 October 2021, 8 Views, 37:20
Automating First-Order Logic Proofs Using Resolution 2
06-02-Live2, 16 October 2021, 10 Views, 47:21
Automating First-Order Logic Proofs Using Resolution 1
06-01-Live1, 16 October 2021, 8 Views, 46:57
Quantifier Elimination Steps for Presburger Arithmetic
05-02-Live2, 08 October 2021, 14 Views, 46:07
Introduction to Quantifier Elimination for Presburger Arithmetic
05-01-Live1part, 08 October 2021, 19 Views, 26:03
Previous
1 of 2
Next