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

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revision Previous revision
Next revision Both sides next revision
videos [2015/01/23 15:05]
fsalvi
videos [2015/03/03 17:17]
fsalvi
Line 1: Line 1:
 ====== Selected Talk Videos ====== ====== Selected Talk Videos ======
  
-[[http://video.epfl.ch/2656/1/10|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=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]])
  
-[[http://video.epfl.ch/2653/1/10|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]])+[[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://​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]])