[llvm-dev] Publication

[Renato Golin via llvm-dev]

Done. Sorry for the trouble. :)

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