search for: sas16

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 Symposium (SAS 2016 <http://staticanalysis.org/sas2016/>)*, Edinburgh, September, 2016 The paper is available at http://www.cs.rutgers.edu/~santosh.nagarakatt...