Strange Loop Conference·40 min
Engineers explore architecture and security mechanisms for "Vellvm - Verifying the LLVM" by Steve Zdancewic.
vellvmverifyingllvm+2
zdancewic
1 talk tagged with this topic.
Filters+
Loading filters…
1–1 of 1 talk · loading…