3 ms·Vellvm: Formalizing the LLVM Intermediate Rep for Verified Program Transforms7 points by joeyespo 15y ago