[llvm-dev] Publication

[Santosh Nagarakatte via llvm-dev]

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.nagarakatte/papers/alive-fp-sas16.pdf



   -
*Termination-Checking for LLVM Peephole Optimizations [pdf]
   <http://www.cs.rutgers.edu/~santosh.nagarakatte/papers/icse2016-alive-loops.pdf>
   *David Menendez and Santosh Nagarakatte
   *Proceedings of the 38th International Conference on Software
   Engineering (ICSE 2016 <http://2016.icse.cs.txstate.edu/>)*, May, 2016
   *ACM SIGSOFT Distinguished Paper Award *

The paper is available at
http://www.cs.rutgers.edu/~santosh.nagarakatte/papers/icse2016-alive-loops.pdf

   -


-- 
Santosh Nagarakatte,
Assistant Professor of Computer Science,
Rutgers University, New Brunswick
http://www.cs.rutgers.edu/~santosh.nagarakatte
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20160829/7306d9e8/attachment.html>