english only
EPFL > I&C > Tresor >
RESOURCES
Home
People
Seminars
Courses
Research Topics
Events
Useful Links

This is an old revision of the document!


====== Selected Talk Videos ====== [[https://www.youtube.com/watch?v=qxJBXhhrF3A|Xavier Leroy: Compiler verification for fun and profit]] ([[http://www.cs.utexas.edu/users/hunt/FMCAD/FMCAD14/advance-program.shtml|FMCAD'14]] talk, with [[http://www.cs.utexas.edu/users/hunt/FMCAD/FMCAD14/slides/FMCAD2014-Leroy.pdf|slides]] and [[http://www.cs.utexas.edu/users/hunt/FMCAD/FMCAD14/proceedings/05_leroy.pdf|proceedings]]) [[https://www.youtube.com/watch?v=4DNJyiLQp78|Armin Biere: Challenges in Bit-Precise Reasoning]] ([[http://www.cs.utexas.edu/users/hunt/FMCAD/FMCAD14/advance-program.shtml|FMCAD'14]] talk, with [[http://www.cs.utexas.edu/users/hunt/FMCAD/FMCAD14/slides/Biere-FMCAD14-tutorial.pdf|slides]] and [[http://www.cs.utexas.edu/users/hunt/FMCAD/FMCAD14/proceedings/02_biere.pdf|proceedings]]) [[http://video.epfl.ch/2649/1/10|Andrew Reynolds: Induction for SMT Solvers]] (see also the talks from the [[http://www.cs.utexas.edu/users/hunt/FMCAD/FMCAD14/advance-program.shtml|FMCAD'14]]) [[http://slideshot.epfl.ch/play/suri_hoare|Tony Hoare: Applied Logic]] {{applied-logic.pdf|(slides)}} [[http://slideshot.epfl.ch/play/suri_moore|J Moore: Machines Reasoning about Machines]] ([[http://suri.epfl.ch|SuRI]] keynote; also available is the [[ACL2 Demo Session File]]) [[http://ditwww.epfl.ch/cgi-perl/EPFLTV/home.pl/?page=video&lang=2&connected=0&id=726&plugin=9&checkplugin=1|William Cook: Model Interpretation and Compilation by Partial Evaluation]] [[http://ditwww.epfl.ch/cgi-perl/EPFLTV/home.pl/?page=video&lang=2&connected=0&id=682&plugin=9&checkplugin=1|Mikael Mayer: Complete Program Synthesis for Linear Arithmetics]] [[http://ditwww.epfl.ch/cgi-perl/EPFLTV/home.pl/?page=video&lang=2&connected=0&id=664&plugin=9&checkplugin=1|Martin Vechev: Automatic Inference of Synchronization]] [[http://ditwww.epfl.ch/cgi-perl/EPFLTV/home.pl/?page=video&lang=2&connected=0&id=650&plugin=9&checkplugin=1|Peter Schneider-Kamp: Automated Termination Analysis of Programs using Dependency Pairs]] [[http://ditwww.epfl.ch/cgi-perl/EPFLTV/home.pl/?page=video&lang=2&connected=0&id=605&plugin=9&checkplugin=1|Makarius Wenzel: The languages of Isabelle: Isar, ML, and Scala]] [[http://ditwww.epfl.ch/cgi-perl/EPFLTV/home.pl/?page=video&lang=2&id=521&connected=0&checkplugin=1|Geoff Sutcliffe: Thousands of Problems for Theorem Provers]] [[http://ditwww.epfl.ch/cgi-perl/EPFLTV/home.pl?page=video&lang=2&connected=0&id=461&plugin=9&plugin=1&checkplugin=1|Steven Obua: Formalization of the Proof of the Kelper Conjecture]] [[http://ditwww.epfl.ch/cgi-perl/EPFLTV/home.pl?page=video&lang=2&connected=0&id=449&plugin=9&plugin=1&checkplugin=1|An Improved Algorithm for Three-Color Parity Games]] [[http://ditwww.epfl.ch/cgi-perl/EPFLTV/home.pl?page=video&lang=2&connected=0&id=447&plugin=9&plugin=1&checkplugin=1|Solving Parity Games in Practice]]