[www-pubs] r280004 - [www-pubs] Add 2 peephole opt papers

Mon Aug 29 14:57:47 PDT 2016

You need to manually add these to the pubs.js file in order for these to 
show up in http://llvm.org/pubs/
Nuno

-----Original Message----- 
From: Renato Golin via llvm-commits
Sent: Monday, August 29, 2016 9:42 PM
Subject: [www-pubs] r280004 - [www-pubs] Add 2 peephole opt papers

Author: rengolin
Date: Mon Aug 29 15:41:59 2016
New Revision: 280004

URL: http://llvm.org/viewvc/llvm-project?rev=280004&view=rev
Log:
[www-pubs] Add 2 peephole opt papers

Added:
    www-pubs/trunk/2016-05-icse2016-alive-loops.html
    www-pubs/trunk/2016-05-icse2016-alive-loops.pdf   (with props)
    www-pubs/trunk/2016-08-alive-fp-sas16.html
    www-pubs/trunk/2016-08-alive-fp-sas16.pdf   (with props)

Added: www-pubs/trunk/2016-05-icse2016-alive-loops.html
URL: 
http://llvm.org/viewvc/llvm-project/www-pubs/trunk/2016-05-icse2016-alive-loops.html?rev=280004&view=auto
==============================================================================

--- www-pubs/trunk/2016-05-icse2016-alive-loops.html (added)
+++ www-pubs/trunk/2016-05-icse2016-alive-loops.html Mon Aug 29 15:41:59 
2016
@@ -0,0 +1,56 @@
+<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
+<html>
+<head>
+  <meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
+  <link rel="stylesheet" href="../llvm.css" type="text/css" media="screen">
+  <title>Termination-Checking for LLVM Peephole Optimizations</title>
+</head>
+<body>
+
+<div class="pub_title">
+  Termination-Checking for LLVM Peephole Optimizations
+</div>
+<div class="pub_author">
+  David Menendez and Santosh Nagarakatte
+</div>
+
+<h2>Abstract:</h2>
+<blockquote>
+<p>
+Mainstream compilers contain a large number of peephole optimizations,
+which perform algebraic simplification of the input program
+with local rewriting of the code. These optimizations are a
+persistent source of bugs. Our recent research on Alive, a domainspecific
+language for expressing peephole optimizations in LLVM,
+addresses a part of the problem by automatically verifying the correctness
+of these optimizations and generating C++ code for use
+with LLVM.
+</p>
+</blockquote>
+
+<h2>Published:</h2>
+<blockquote>
+  "Termination-Checking for LLVM Peephole Optimizations"<br>
+   David Menendez and Santosh Nagarakatte<br>
+<i>In Proceedings of the 38th International Conference on Software 
Engineering,</i>
+Austin, TX, May, 2016.
+</blockquote>
+
+<h2>Download:</h2>
+<h3>Paper:</h3>
+<ul>
+  <li><a href="URL.pdf">
+  Termination-Checking for LLVM Peephole Optimizations
+  </a> (PDF)</li>
+</ul>
+
+
+<!--  
*********************************************************************** -->
+<hr>
+  <a href="http://jigsaw.w3.org/css-validator/check/referer"><img
+  src="http://jigsaw.w3.org/css-validator/images/vcss" alt="Valid 
CSS!"></a>
+  <a href="http://validator.w3.org/check/referer"><img
+  src="http://www.w3.org/Icons/valid-html401" alt="Valid HTML 4.01!" /></a>
+
+</body>
+</html>

Added: www-pubs/trunk/2016-05-icse2016-alive-loops.pdf
URL: 
http://llvm.org/viewvc/llvm-project/www-pubs/trunk/2016-05-icse2016-alive-loops.pdf?rev=280004&view=auto
==============================================================================
Binary file - no diff available.

Propchange: www-pubs/trunk/2016-05-icse2016-alive-loops.pdf
------------------------------------------------------------------------------
    svn:mime-type = application/pdf

Added: www-pubs/trunk/2016-08-alive-fp-sas16.html
URL: 
http://llvm.org/viewvc/llvm-project/www-pubs/trunk/2016-08-alive-fp-sas16.html?rev=280004&view=auto
==============================================================================
--- www-pubs/trunk/2016-08-alive-fp-sas16.html (added)
+++ www-pubs/trunk/2016-08-alive-fp-sas16.html Mon Aug 29 15:41:59 2016
@@ -0,0 +1,62 @@
+<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
+<html>
+<head>
+  <meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
+  <link rel="stylesheet" href="../llvm.css" type="text/css" media="screen">
+  <title>Alive-FP: Automated Verification of Floating Point Based Peephole 
Optimizations in LLVM</title>
+</head>
+<body>
+
+<div class="pub_title">
+  Alive-FP: Automated Verification of Floating Point Based Peephole 
Optimizations in LLVM
+</div>
+<div class="pub_author">
+  David Menendez, Santosh Nagarakatte, and Aarti Gupta
+</div>
+
+<h2>Abstract:</h2>
+<blockquote>
+<p>
+Peephole optimizations optimize and canonicalize code to
+enable other optimizations but are error-prone. Our prior research on
+Alive, a domain-specific language for specifying LLVMâ€™s peephole 
optimizations,
+automatically verifies the correctness of integer-based peephole
+optimizations and generates C++ code for use within LLVM. This
+paper proposes Alive-FP, an automated verification framework for floating
+point based peephole optimizations in LLVM. Alive-FP handles a
+class of floating point optimizations and fast-math optimizations involving
+signed zeros, not-a-number, and infinities, which do not result in loss
+of accuracy. This paper provides multiple encodings for various floating
+point operations to account for the various kinds of undefined behavior
+and under-specification in the LLVMâ€™s language reference manual. We
+have translated all optimizations that belong to this category into 
AliveFP.
+In this process, we have discovered seven wrong optimizations in
+LLVM.
+</p>
+</blockquote>
+
+<h2>Published:</h2>
+<blockquote>
+  "Alive-FP: Automated Verification of Floating Point Based Peephole 
Optimizations in LLVM"<br>
+   David Menendez, Santosh Nagarakatte, and Aarti Gupta<br>
+<i>In Proceedings of the 23rd Static Analysis Symposium,</i>
+Edinburgh, September, 2016.
+</blockquote>
+
+<h2>Download:</h2>
+<h3>Paper:</h3>
+<ul>
+  <li><a href="2016-08-alive-fp-sas16.pdf">
+  Alive-FP: Automated Verification of Floating Point Based Peephole 
Optimizations in LLVM
+  </a> (PDF)</li>
+</ul>
+
+<!--  
*********************************************************************** -->
+<hr>
+  <a href="http://jigsaw.w3.org/css-validator/check/referer"><img
+  src="http://jigsaw.w3.org/css-validator/images/vcss" alt="Valid 
CSS!"></a>
+  <a href="http://validator.w3.org/check/referer"><img
+  src="http://www.w3.org/Icons/valid-html401" alt="Valid HTML 4.01!" /></a>
+
+</body>
+</html>

Added: www-pubs/trunk/2016-08-alive-fp-sas16.pdf
URL: 
http://llvm.org/viewvc/llvm-project/www-pubs/trunk/2016-08-alive-fp-sas16.pdf?rev=280004&view=auto
==============================================================================
Binary file - no diff available.

Propchange: www-pubs/trunk/2016-08-alive-fp-sas16.pdf
------------------------------------------------------------------------------
    svn:mime-type = application/pdf 

