[LLVMdev] Publication: Verified LLVM

[Chris Lattner]

On Feb 4, 2012, at 11:35 AM, Sebastian Redl wrote:

> 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/

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