[llvm-dev] Publication

[Renato Golin via llvm-dev]

Committed in r280004. Not sure how long it takes to show up.

cheers,
--renato

On 29 August 2016 at 18:47, Santosh Nagarakatte via llvm-dev
<llvm-dev at lists.llvm.org> wrote:
> 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]
> David Menendez, Santosh Nagarakatte, and Aarti Gupta
> To Appear in the Proceedings of the 23rd Static Analysis Symposium (SAS
> 2016), 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]
> David Menendez and Santosh Nagarakatte
> Proceedings of the 38th International Conference on Software Engineering
> (ICSE 2016), 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
>
> _______________________________________________
> LLVM Developers mailing list
> llvm-dev at lists.llvm.org
> http://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-dev
>