Kai Nacke:
In the same folder are also the videos of the other LLVM related talk.
I have appreciated the "An approach for energy consumption analysis of programs using LLVM" talk, they even have an annotation that statically enforces a certain function to consume less than a specified amount of energy (expressed in pJ).
The "SPARK 2014: Hybrid Verification using Proofs and Tests" talk is nice, but I have seen it already elsewhere.
Bye, bearophile
