search for: r280004

Folks, I just added two publications to www-pubs (r280004), as it used to be, but it seems the results are not up yet: http://llvm.org/pubs/ Also, my SVN www-pubs seems to only have papers up to 2012, while the page has it up to 2015. I'm confused, what's the right way to update pubs nowadays? cheers, --renato

Hi, Can you add the following two publications from our group to the LLVM publications page. - *Alive-FP: Automated Verification of Floating Point Based Peephole Optimizations in LLVM [pdf] <http://www.cs.rutgers.edu/~santosh.nagarakatte/papers/alive-fp-sas16.pdf> *David Menendez, Santosh Nagarakatte, and Aarti Gupta *To Appear in the Proceedings of the 23rd Static Analysis