Vellum, a verified model for LLVM

cis.upenn.edu

13 pointsRickasaurus2 comments

So 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.

Wish I was! Actually heard about it on twitter via @littlecalculist.