[LLVMdev] Publication: Verified LLVM
clattner at apple.com
Sat Feb 4 17:22:27 PST 2012
On Feb 4, 2012, at 11:35 AM, Sebastian Redl wrote:
> 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?
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