[LLVMdev] Publication: Verified LLVM

Sebastian Redl sebastian.redl at getdesigned.at
Sat Feb 4 11:35:57 PST 2012


Hi,

I have nothing to do with this, just stumbled upon it on lambda-the-ultimate.org. Do authors have to submit their own paper to the publication list?

http://www.cis.upenn.edu/~jianzhou/Vellvm/

Sebastian



More information about the llvm-dev mailing list