[LLVMdev] Publication: Verified LLVM

Chris Lattner clattner at apple.com
Sat Feb 4 17:22:27 PST 2012

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.


More information about the llvm-dev mailing list