llvm dev - Aug 2016 - Publication

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>

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
>

Trying again in r280029.

On 29 August 2016 at 21:51, Renato Golin <renato.golin at linaro.org>
wrote:
> 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
>>