4 ms·
Vellum, a verified model for LLVM
- p4bl0 15y agoSo I guess you're at POPL too, Rickasaurus? Context: we just had a paper presentation talk about Vellvm this afternoon at the POPL[1] conference, it was very interesting. [1] http://www.cse.psu.edu/popl/12/ http://www.cse.psu.edu/popl/12/
- Rickasaurus 15y agoWish I was! Actually heard about it on twitter via @littlecalculist.