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.


Reply via email to