[llvm-commits] CVS: llvm-www/pubs/2009-01-POPL-PointerAnalysis.html 2009-01-POPL-PointerAnalysis.pdf pubs.js

Sat Jun 27 00:29:02 PDT 2009

Changes in directory llvm-www/pubs:

2009-01-POPL-PointerAnalysis.html added (r1.1)
2009-01-POPL-PointerAnalysis.pdf added (r1.1)
pubs.js updated: 1.22 -> 1.23
---
Log message:

add "Semi-sparse flow-sensitive pointer analysis", POPL'09


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

 2009-01-POPL-PointerAnalysis.html |   64 ++++++++++++++++++++++++++++++++++++++
 2009-01-POPL-PointerAnalysis.pdf  |    0 
 pubs.js                           |    8 ++++
 3 files changed, 72 insertions(+)


Index: llvm-www/pubs/2009-01-POPL-PointerAnalysis.html
diff -c /dev/null llvm-www/pubs/2009-01-POPL-PointerAnalysis.html:1.1
*** /dev/null	Sat Jun 27 02:28:12 2009

--- llvm-www/pubs/2009-01-POPL-PointerAnalysis.html	Sat Jun 27 02:28:01 2009
***************
*** 0 ****
--- 1,64 ----
+ <!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>Semi-sparse flow-sensitive pointer analysis</title>
+ </head>
+ <body>
+ 
+ <div class="pub_title">
+   Semi-sparse flow-sensitive pointer analysis
+ </div>
+ <div class="pub_author">
+   Ben Hardekopf	and Calvin Lin
+ </div>
+ 
+ <h2>Abstract:</h2>
+ <blockquote>
+ Pointer analysis is a prerequisite for many program analyses, and the effectiveness of these analyses depends on the precision of the pointer information they receive. Two major axes of pointer analysis precision are flow-sensitivity and context-sensitivity, and while there has been significant recent progress regarding scalable context-sensitive pointer analysis, relatively little progress has been made in improving the scalability of flow-sensitive pointer analysis.<p>
+ 
+ This paper presents a new interprocedural, flow-sensitive pointer analysis algorithm that combines two ideas-semi-sparse analysis and a novel use of BDDs-that arise from a careful understanding of the unique challenges that face flow-sensitive pointer analysis. We evaluate our algorithm on 12 C benchmarks ranging from 11K to 474K lines of code. Our fastest algorithm is on average 197x faster and uses 4.6x less memory than the state of the art, and it can analyze programs that are an order of magnitude larger than the previous state of the art.
+ </blockquote>
+ 
+ <h2>Published:</h2>
+ <blockquote>
+ "Semi-sparse flow-sensitive pointer analysis"<br>
+ Ben Hardekopf and Calvin Lin.<br>
+ <i>
+ Proceedings of the 2009 36th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages (POPL'09)
+ </i>, Savannah, GA, January 2009.
+ </blockquote>
+ <h2>Download:</h2>
+ <h3>Paper:</h3>
+ <ul>
+   <li><a href="2009-01-POPL-PointerAnalysis.pdf">
+   Semi-sparse flow-sensitive pointer analysis
+   </a> (PDF)</li>
+ </ul>
+ 
+ <h2>BibTeX Entry:</h2>
+ <pre>
+ @inproceedings{1480911,
+  author = {Hardekopf, Ben and Lin, Calvin},
+  title = {Semi-sparse flow-sensitive pointer analysis},
+  booktitle = {POPL '09: Proceedings of the 36th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages},
+  year = {2009},
+  isbn = {978-1-60558-379-2},
+  pages = {226--238},
+  location = {Savannah, GA, USA},
+  doi = {http://doi.acm.org/10.1145/1480881.1480911},
+  publisher = {ACM},
+  address = {New York, NY, USA},
+  }
+ </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>


Index: llvm-www/pubs/2009-01-POPL-PointerAnalysis.pdf


Index: llvm-www/pubs/pubs.js
diff -u llvm-www/pubs/pubs.js:1.22 llvm-www/pubs/pubs.js:1.23
--- llvm-www/pubs/pubs.js:1.22	Sat Jun 27 02:20:17 2009
+++ llvm-www/pubs/pubs.js	Sat Jun 27 02:28:01 2009
@@ -93,6 +93,14 @@
     month: 2,
     year: 2009},
 
+   {url: '2009-01-POPL-PointerAnalysis.html',
+    title: 'Semi-sparse flow-sensitive pointer analysis',
+    author: 'Ben Hardekopf and Calvin Lin',
+    published: "Proc. of the 36th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages (POPL'09)",
+    location: 'Savannah, GA, USA',
+    month: 1,
+    year: 2009},
+
    {url: '2009-01-VMCAI-ScalableMemoryModel.html',
     title: 'A Scalable Memory Model for Low-Level Code',
     author: 'Zvonimir Rakamaric and Alan J. Hu',




