[llvm-commits] CVS: llvm-www/pubs/2009-08-SAS-IPSSA.html 2009-08-SAS-IPSSA.pdf pubs.js

Sun Oct 25 22:45:31 PDT 2009

Changes in directory llvm-www/pubs:

2009-08-SAS-IPSSA.html added (r1.1)
2009-08-SAS-IPSSA.pdf added (r1.1)
pubs.js updated: 1.53 -> 1.54
---
Log message:

add another paper and add a bunch that I can't find pdf's for.


---
Diffs of the changes:  (+90 -0)

 2009-08-SAS-IPSSA.html |   50 +++++++++++++++++++++++++++++++++++++++++++++++++
 2009-08-SAS-IPSSA.pdf  |    0 
 pubs.js                |   40 +++++++++++++++++++++++++++++++++++++++
 3 files changed, 90 insertions(+)


Index: llvm-www/pubs/2009-08-SAS-IPSSA.html
diff -c /dev/null llvm-www/pubs/2009-08-SAS-IPSSA.html:1.1
*** /dev/null	Mon Oct 26 00:44:51 2009

--- llvm-www/pubs/2009-08-SAS-IPSSA.html	Mon Oct 26 00:44:40 2009
***************
*** 0 ****
--- 1,50 ----
+ <!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>Increasing the scope and resolution of Interprocedural Static Single Assignment</title>
+ </head>
+ <body>
+ 
+ <div class="pub_title">
+   Increasing the scope and resolution of Interprocedural Static Single Assignment
+ </div>
+ <div class="pub_author">
+   Silvian Calman and Jianwen Zhu
+ </div>
+ 
+ <h2>Abstract:</h2>
+ <blockquote>
+ While intraprocedural Static Single Assignment (SSA) is ubiquitous in modern compilers, the use of interprocedural SSA, although seemingly a natural extension, is limited. We find that part of the impediment is due to the narrow scope of variables handled by previously reported approaches, leading to limited benefits in optimization.<p>
+ 
+ In this study, we increase the scope of Interprocedural SSA (ISSA) to record elements and singleton heap variables. We show that ISSA scales reasonably well (to all MediaBench and most of the SPEC2K), while resolving on average 1.72 times more loads to their definition. We propose and evaluate an interprocedural copy propagation and an interprocedural liveness analysis and demonstrate their effectiveness on reducing input and output instructions by 44.5% and 23.3%, respectively. ISSA is then leveraged for constant propagation and dead code removal, where 11.8% additional expressions are folded.
+ </blockquote>
+ 
+ <h2>Published:</h2>
+ <blockquote>
+   "Increasing the scope and resolution of Interprocedural Static Single Assignment"
+   <br>
+   Silvian Calman and Jianwen Zhu.
+   <br>
+ <i>
+ Proceeding of the 16th International Static Analysis Symposium (SAS 2009)
+ </i>, Los Angeles, CA, August, 2009.
+ </blockquote>
+ <h2>Download:</h2>
+ <h3>Paper:</h3>
+ <ul>
+   <li><a href="2009-08-SAS-IPSSA.pdf">
+   Increasing the scope and resolution of Interprocedural Static Single Assignment
+   </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>


Index: llvm-www/pubs/2009-08-SAS-IPSSA.pdf


Index: llvm-www/pubs/pubs.js
diff -u llvm-www/pubs/pubs.js:1.53 llvm-www/pubs/pubs.js:1.54
--- llvm-www/pubs/pubs.js:1.53	Mon Oct 26 00:18:39 2009
+++ llvm-www/pubs/pubs.js	Mon Oct 26 00:44:41 2009
@@ -1,6 +1,26 @@
 // The array should be sorted reverse-chronologically, and will be displayed on
 // the page in the order listed.
 var PUBS = [
+  {title: 'AN-Encoding Compiler: Building Safety-Critical Systems with Commodity Hardware',
+   published: "28th International Conference, SAFECOMP 2009",
+   location: "Hamburg, Germany",
+   month: 9,
+   year: 2009},
+
+  {title: 'Automatic Generation of Cycle-Approximate TLMs with Timed RTOS Model Support',
+   published: "Analysis, Architectures and Modelling of Embedded Systems 2009 (IESS 2009)",
+   location: "Langenargen, Germany",
+   month: 9,
+   year: 2009}, 
+
+  {url: '2009-08-SAS-IPSSA.html',
+   title: "Increasing the scope and resolution of Interprocedural Static Single Assignment",
+   author: "Silvian Calman and Jianwen Zhu",
+   published: "Proc. of the 16th International Static Analysis Symposium (SAS 2009)",
+   location: "Los Angeles, CA",
+   month: 8,
+   year: 2009},
+
   {url: '2009-08-12-UsenixSecurity-SafeSVAOS.html',
    title: 'Memory Safety for Low-Level Software/Hardware Interactions',
    author: 'John Criswell, Nicolas Geoffray, and Vikram Adve',
@@ -17,6 +37,20 @@
    month: 7,
    year: 2009},
 
+  {title: 'Verifying the Implementation of an Operating System Scheduler',
+   author: 'Moritz Kleine, Björn Bartels, Thomas Göthel, and Sabine Glesner',
+   published: 'IEEE International Symposium on Theoretical Aspects of Software Engineering',
+   location: 'Tianjin, China',
+   month: 7,
+   year: 2009},
+
+  {title: 'Programmable and Scalable Architecture for Graphics Processing Units',
+   author: "Carlos S. Lama, Pekka Jääskeläinen, Jarmo Takala",
+   published "Proc. of the 9th International Workshop on Embedded Computer Systems: Architectures, Modeling, and Simulation",
+   location: "Samos, Greece",
+   month: 7,
+   year: 2009},
+
   {url: '2009-06-PLDI-LibraryBindings.html',
    title: 'Automatic generation of library bindings using static analysis',
    author: 'Tristan Ravitch, Steve Jackson, Eric Aderhold, and Ben Liblit',
@@ -97,6 +131,12 @@
    month: 4,
    year: 2009},
 
+  {title: 'Scheduling Techniques for Multi-Core Architectures',
+   author: 'Akira Hatanaka and Nader Bagherzadeh',
+   published: "2009 Sixth International Conference on Information Technology: New Generations",
+   month: 4,
+   year: 2009},
+
   {url: '2009-03-CGO-ESoftCheck.html',
    title: 'ESoftCheck: Removal of Non-vital Checks for Fault Tolerance',
    author: 'Jing Yu, Maria Jesus Garzaran, Marc Snir',




