Publication: Verified LLVM

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

Hi Sebastian,

Anyone with commit access is welcome (and encouraged!) to add papers to the publications list. Just check out the llvm-www[-pubs] module from svn.

-Chris