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 >>