cotalks.dev
Orgs
Login
"Vellvm - Verifying the LLVM" by Steve Zdancewic
(link)
Event:
Strange Loop 2018
|
2018
Channel:
Strange Loop Conference
note
generate note
unsorted
todo
resolved
completed
canceled
submit