[www-pubs] r280073 - [www-pubs] Cleaning up www-pubs, README, updates

Renato Golin via llvm-commits llvm-commits at lists.llvm.org
Tue Aug 30 04:09:31 PDT 2016 

Author: rengolin
Date: Tue Aug 30 06:09:30 2016
New Revision: 280073

URL: http://llvm.org/viewvc/llvm-project?rev=280073&view=rev
Log:
[www-pubs] Cleaning up www-pubs, README, updates

The pubs directory was a bit confusing and outaded. This commit updates:

* Removes the wrongfuly added 2016 HTML pages and PDFs
* Updates the list URL to point to lists.llvm.org
* Updates the histogram to allow 2016 to show up
* Adds a README to help people do the right thing next time

Added:
    www-pubs/trunk/README.txt
Removed:
    www-pubs/trunk/2016-05-icse2016-alive-loops.html
    www-pubs/trunk/2016-05-icse2016-alive-loops.pdf
    www-pubs/trunk/2016-08-alive-fp-sas16.html
    www-pubs/trunk/2016-08-alive-fp-sas16.pdf
    www-pubs/trunk/TEMPLATE-MSThesis.html
    www-pubs/trunk/TEMPLATE-Paper.html
Modified:
    www-pubs/trunk/index.html
    www-pubs/trunk/pubs.js

Removed: 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=280072&view=auto
==============================================================================
--- www-pubs/trunk/2016-05-icse2016-alive-loops.html (original)
+++ www-pubs/trunk/2016-05-icse2016-alive-loops.html (removed)
@@ -1,56 +0,0 @@
-<!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>

Removed: 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=280072&view=auto
==============================================================================
Binary file - no diff available.

Removed: 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=280072&view=auto
==============================================================================
--- www-pubs/trunk/2016-08-alive-fp-sas16.html (original)
+++ www-pubs/trunk/2016-08-alive-fp-sas16.html (removed)
@@ -1,62 +0,0 @@
-<!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>

Removed: 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=280072&view=auto
==============================================================================
Binary file - no diff available.

Added: www-pubs/trunk/README.txt
URL: http://llvm.org/viewvc/llvm-project/www-pubs/trunk/README.txt?rev=280073&view=auto
==============================================================================
--- www-pubs/trunk/README.txt (added)
+++ www-pubs/trunk/README.txt Tue Aug 30 06:09:30 2016
@@ -0,0 +1,48 @@
+LLVM WWW Pubs
+=============
+
+This directory contains a list of publications surrounding LLVM technology and
+is completely voluntary, ie. authors have to submit their own papers, as there
+is no web crawling involved.
+
+Adding a new paper
+------------------
+
+To add a new paper, just copy and paste the format of the top-most paper in
+pubs.js and change the fields. The JavaScript code at the end will make sure
+they get displayed correctly and also will update the histogram that appears on
+the page.
+
+Adding a new year
+-----------------
+
+When you add a new paper from a year that wasn't there, the histogram will not
+show it, because the width is hard-coded. To change that, increase the image's
+horizontal size +50 at the end of pubs.js.
+
+Ex:
+
+  '&chs=400x200' +                                 // size
+to
+  '&chs=450x200' +                                 // size
+
+Too many papers in one year
+---------------------------
+
+Same thing goes for too many papers. The current height is set for 2009's
+number of papers, which is our current max. If a year exceeds that number, a new
+height will have to be set in the same way as the length above.
+
+Legacy
+------
+
+You'll notice a number of PDFs and HTML pages in this directory up to 2012.
+Their example is not to be followed, and used to be how we dealt with papers.
+We don't add a page per paper anymore, nor do we store the PDFs in our server.
+
+Update
+------
+
+The website should be updated automatically, but could take a while. If after
+a day or so it hasn't been updated, please ask on llvm-admin at lists.llvm.org
+and someone will do it for you, and hopefully fix the update problem.

Removed: www-pubs/trunk/TEMPLATE-MSThesis.html
URL: http://llvm.org/viewvc/llvm-project/www-pubs/trunk/TEMPLATE-MSThesis.html?rev=280072&view=auto
==============================================================================
--- www-pubs/trunk/TEMPLATE-MSThesis.html (original)
+++ www-pubs/trunk/TEMPLATE-MSThesis.html (removed)
@@ -1,56 +0,0 @@
-<!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>TITLE</title>
-</head>
-<body>
-
-<div class="pub_title">
-  TITLE
-</div>
-<div class="pub_author">
-  AUTHOR, M.S. Thesis
-</div>
-
-
-<h2>Abstract:</h2>
-<blockquote>
-ABSTRACT
-</blockquote>
-
-<h2>Published:</h2>
-<blockquote>
-  TITLE, AUTHOR.<br>
-  <i>Masters Thesis</i>, Computer Science Dept., University of Illinois at
-  Urbana-Champaign, MONTH YEAR.
-</blockquote>
-
-<h2>Download:</h2>
-<ul>
-  <li><a href="PSFILE">TITLE</a> (PS)</li>
-  <li><a href="PDFFILE">TITLE</a> (PDF)</li>
-</ul>
-
-<p>
-   The "book form" is useful if you plan to print this out.  Print the file out
-   double sided, fold it in half, and staple it in the middle of the page.  It
-   dramatically reduces the number of pages of paper used.
-</p>
-
-<h2>BibTeX Entry:</h2>
-<pre>
-  @MastersThesis{LASTNAME:MSThesisYY,
-    author  = {AUTHOR},
-    title   = "{TITLE}",
-    school  = "{Computer Science Dept., University of Illinois at Urbana-Champaign}",
-    year    = {YEAR},
-    address = {Urbana, IL},
-    month   = {MONTH},
-    note    = {{\em See {\tt http://llvm.cs.uiuc.edu}.}}
-  }
-</pre>
-
-</body>
-</html>

Removed: www-pubs/trunk/TEMPLATE-Paper.html
URL: http://llvm.org/viewvc/llvm-project/www-pubs/trunk/TEMPLATE-Paper.html?rev=280072&view=auto
==============================================================================
--- www-pubs/trunk/TEMPLATE-Paper.html (original)
+++ www-pubs/trunk/TEMPLATE-Paper.html (removed)
@@ -1,54 +0,0 @@
-<!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>TITLE</title>
-</head>
-<body>
-
-<div class="pub_title">
-  TITLE
-</div>
-<div class="pub_author">
-  AUTHOR
-</div>
-
-<h2>Abstract:</h2>
-<blockquote>
-<p>
-ABSTRACT
-</p>
-</blockquote>
-
-<h2>Published:</h2>
-<blockquote>
-  "TITLE"<br>
-   AUTHOR<br>
-<i>In Proceedings WHERE,</i>
-LOCATION, MONTH YEAR.
-</blockquote>
-
-<h2>Download:</h2>
-<h3>Paper:</h3>
-<ul>
-  <li><a href="URL.pdf">
-  TITLE
-  </a> (PDF)</li>
-</ul>
-
-<h2>BibTeX Entry:</h2>
-<pre>
-BIBTEX
-</pre>
-
-
-<!-- *********************************************************************** -->
-<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>

Modified: www-pubs/trunk/index.html
URL: http://llvm.org/viewvc/llvm-project/www-pubs/trunk/index.html?rev=280073&r1=280072&r2=280073&view=diff
==============================================================================
--- www-pubs/trunk/index.html (original)
+++ www-pubs/trunk/index.html Tue Aug 30 06:09:30 2016
@@ -3,7 +3,7 @@
 
 <p>Here are some of the publications that use or build on LLVM.  This list 
    generally lags behind publication; if you have a paper for this list,
-   please email the <a href="http://lists.cs.uiuc.edu/mailman/listinfo/llvmdev">
+   please email the <a href="http://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-dev">
    LLVM Developer's mailing list</a> with a Subject: line that begins with the
    word "Publication" or commit it 
    directly to the www-pubs SVN module if you have llvm.org commit access.</p>

Modified: www-pubs/trunk/pubs.js
URL: http://llvm.org/viewvc/llvm-project/www-pubs/trunk/pubs.js?rev=280073&r1=280072&r2=280073&view=diff
==============================================================================
--- www-pubs/trunk/pubs.js (original)
+++ www-pubs/trunk/pubs.js Tue Aug 30 06:09:30 2016
@@ -2075,7 +2075,7 @@ function displayPubsHistogram(id) {
   var image = document.createElement('img');
   image.src = 'http://chart.apis.google.com/chart' +
       '?cht=bvs' +                                     // vertical bars
-      '&chs=400x200' +                                 // size
+      '&chs=450x200' +                                 // size
       '&chco=76A4FB' +                                 // color
       '&chtt=Number of papers per year' +              // title
       '&chxt=x,y' +                                    // axes

More information about the llvm-commits mailing list