<div dir="ltr">Hi,<div><br></div><div>Can you add the following two publications from our group to the LLVM publications page.</div><div><ul style="color:rgb(0,0,0);font-family:Calibri,Verdana,Helvetica,Arial,sans-serif;font-size:medium"><li><em>Alive-FP: Automated Verification of Floating Point Based Peephole Optimizations in LLVM <a href="http://www.cs.rutgers.edu/~santosh.nagarakatte/papers/alive-fp-sas16.pdf">[pdf]</a><br></em>David Menendez, Santosh Nagarakatte, and Aarti Gupta <br><em>To Appear in the Proceedings of the 23rd Static Analysis Symposium (<a href="http://staticanalysis.org/sas2016/">SAS 2016</a>)</em>, Edinburgh, September, 2016 <br>The paper is available at <a href="http://www.cs.rutgers.edu/~santosh.nagarakatte/papers/alive-fp-sas16.pdf">http://www.cs.rutgers.edu/~santosh.nagarakatte/papers/alive-fp-sas16.pdf</a></li></ul><span style="color:rgb(0,0,0);font-family:Calibri,Verdana,Helvetica,Arial,sans-serif;font-size:medium"> </span><br><ul style="color:rgb(0,0,0);font-family:Calibri,Verdana,Helvetica,Arial,sans-serif;font-size:medium"><li><em>Termination-Checking for LLVM Peephole Optimizations <a href="http://www.cs.rutgers.edu/~santosh.nagarakatte/papers/icse2016-alive-loops.pdf">[pdf]</a><br></em>David Menendez and Santosh Nagarakatte <br><em>Proceedings of the 38th International Conference on Software Engineering (<a href="http://2016.icse.cs.txstate.edu/">ICSE 2016</a>)</em>, May, 2016 <br><strong>ACM SIGSOFT Distinguished Paper Award </strong></li></ul><span style="color:rgb(0,0,0);font-family:Calibri,Verdana,Helvetica,Arial,sans-serif;font-size:medium">The paper is available at <a href="http://www.cs.rutgers.edu/~santosh.nagarakatte/papers/icse2016-alive-loops.pdf">http://www.cs.rutgers.edu/~santosh.nagarakatte/papers/icse2016-alive-loops.pdf</a></span><br><ul style="color:rgb(0,0,0);font-family:Calibri,Verdana,Helvetica,Arial,sans-serif;font-size:medium"><li> </li></ul><div><br></div>-- <br><div class="gmail_signature" data-smartmail="gmail_signature">Santosh Nagarakatte,<br>Assistant Professor of Computer Science,<br>Rutgers University, New Brunswick<br><a href="http://www.cs.rutgers.edu/~santosh.nagarakatte" target="_blank">http://www.cs.rutgers.edu/~santosh.nagarakatte</a></div>

</div></div>