[llvm-dev] Publication

[Renato Golin via 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
>>