Steve Zdancewic

1 talk in the archive.

Filters+

Materials

Has slidesHas repo

Year

Length

Track

Topics

Common in these results

1–1 of 1 talk · loading…

Sort

Strange Loop Conference·40 min

Steve Zdancewic

Engineers explore architecture and security mechanisms for "Vellvm - Verifying the LLVM" by Steve Zdancewic.

vellvmverifyingllvm+2