[llvm-commits] CVS: llvm-www/pubs/index.html pubs.js
Misha Brukman
brukman at cs.uiuc.edu
Wed Dec 24 21:28:43 PST 2008
Changes in directory llvm-www/pubs:
index.html updated: 1.89 -> 1.90
pubs.js updated: 1.2 -> 1.3
---
Log message:
Converted all papers from hand-coded HTML to BibTeX-like Javascript.
---
Diffs of the changes: (+477 -328)
index.html | 326 -----------------------------------------
pubs.js | 479 ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++-
2 files changed, 477 insertions(+), 328 deletions(-)
Index: llvm-www/pubs/index.html
diff -u llvm-www/pubs/index.html:1.89 llvm-www/pubs/index.html:1.90
--- llvm-www/pubs/index.html:1.89 Wed Dec 24 20:45:50 2008
+++ llvm-www/pubs/index.html Wed Dec 24 23:27:51 2008
@@ -2,332 +2,6 @@
<div class="www_sectiontitle">LLVM Related Publications</div>
<ol id='pubs_list'>
-<li>"<a href="2009-03-ASPLOS-Recovery.html">Recovery Domains: An Organizing
-Principle for Recoverable Operating Systems</a>"<br>
-Andrew Lenharth, Samuel T. King, Vikram Adve<br>
-<i>Proceedings of the Fourteenth International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS '09)</i></li>
-
-<li>"<a href="2008-12-OSDI-KLEE.html">KLEE: Unassisted and Automatic
-Generation of High-Coverage Tests for Complex Systems Programs</a>"<br>
-Cristian Cadar, Daniel Dunbar, Dawson Engler<br>
-<i>Proc. 8th USENIX Symposium on Operating Systems Design and Implementation
-(OSDI 2008)</i>, December 2008</li>
-
-<li>"<a href="2008-10-04-ACAT-LLVM-Intro.html">Introduction to the LLVM Compiler System</a>"<br>
- Chris Lattner<br>
- <i>Plenary Talk, <a href="http://acat2008.cern.ch/">ACAT 2008</a>: Advanced Computing and Analysis Techniques in Physics Research</i>, Erice, Sicily, Italy, November 2008</li>
-
-
-<li>"<a href="2008-10-EMSOFT-Volatiles.html">Volatiles Are Miscompiled,
-and What to Do about It</a>"<br>
-Eric Eide, John Regehr<br>
-<i>Proc. EMSOFT International Conference on Embedded Software (EMSOFT 2008)</i>, October 2008</li>
-
-
-
-<li>"<a href="2008-09-LadyVM.html">A Lazy Developer Approach:
-Building a JVM with Third Party Software</a>"<br>
-Nicolas Geoffray, Gael Thomas, Charles Clement and Bertil Folliot<br>
-<i>Proc. International Conference on Principles and Practice of Programming
-In Java (PPPJ 2008)</i>, September 2008</li>
-
-<li>"<a href="2008-08-RTCodegen.html">Run-Time Code Generation for Materials</a>"<br>Stephan Reiter<br><i>IEEE Symposium on Interactive Ray Tracing (RT'08)</i>, August 2008</li>
-
-<li>"<a href="2008-08-SPIN-Pancam.html">Verifying Multi-threaded C Programs
-with SPIN</a>"<br>
-Anna Zaks and Rajeev Joshi<br>
-<i>Proc. International SPIN Workshop on Model Checking of Software (SPIN
-2008)</i>, August 2008</li>
-
-<li>"<a href="2008-06-LCTES-ISelUsingSSAGraphs.html">Generalized Instruction Selection
-using SSA-Graphs</a>"<br>
-Dietmar Ebner, Florian Brandner, Bernhard Scholz, Andreas Krall, Peter Wiedermann and Albrecht Kadlec<br>
-<i>Proc. Languages Compilers and Tools for Embedded Systems 2008 (LCTES'08)</i>, June, 2008</li>
-
-
-<li>"<a href="2008-06-13-SPAA-STMDataPartitioning.html">Automatic Data Partitioning in Software
-Transactional Memories</a>"<br>
-Torvald Riegel, Christof Fetzer, and Pascal Felber<br>
-<i>Proc. 20th ACM Symposium on Parallelism in Algorithms and Architectures (SPAA'08)</i>, June, 2008</li>
-
-<li>"<a href="2008-06-PLDI-PuzzleSolving.html">Register Allocation by Puzzle Solving</a>"<br>
-Fernando Magno Quintao Pereira and Jens Palsberg<br>
-<i>Proc. ACM SIGPLAN 2008 Conference on Programming Language Design and Implementation (PLDI'08)</i>, June, 2008</li>
-
-<li>"<a href="2008-05-CoVaC.html">CoVaC: Compiler Validation by Program Analysis
-of the Cross-Product</a>"<br>
-Anna Zaks and Amir Pnueli<br>
-<i>Proc. International Symposium on Formal Methods (FM 2008)</i>, May 2008</li>
-
-<li>"<a href="2008-05-17-BSDCan-LLVMIntro.html">LLVM and Clang: Next Generation Compiler Technology</a>"<br>
-Chris Lattner<br>
-<i><a href="http://www.bsdcan.org/2008/">BSDCan 2008</a>: The BSD Conference</i>, Ottawa, Canada, May 2008.</li>
-
-<li>"<a href="2008-03-DATE-TLM_Estimation.html">Cycle-approximate Retargetable Performance
-Estimation at the Transaction Level</a>"<br>
-Y. Hwang, S. Abdi, and D. Gajski<br>
-<i>Proc. of Design Automation and Test in Europe (DATE'08)</i>, Munich, Germany, March 2008</li>
-
-<li>"<a href="2008-03-TR-UIDependAnalysis.html">User-Input Dependence Analysis via Graph Reachability</a>"<br>
-Bernard Scholz, Chenyi Zhang, and Cristina Cifuentes
-<br>
-<i>Technical Report #TR-2008-171, Sun Microsystems</i>, March 2008</li>
-
-<li>"<a href="2008-02-ImpedingMalwareAnalysis.html">Impeding Malware
-Analysis Using Conditional Code Obfuscation</a>"<br>
-Monirul Sharif, Andrea Lanzi, Jonathon Giffin and Wenke Lee<br>
-<i>Network and Distributed System Security Symposium (NDSS'08)</i>, San Diego, CA, February 2008</li>
-
-
-<li>"<a href="2008-02-23-TRANSACT-TangerObjBased.html">Making Object-Based STM Practical in Unmanaged Environments</a>"<br>
-Torvald Riegel and Diogo Becker de Brum<br>
-<i>ACM SIGPLAN Workshop on Transactional Computing (TRANSACT 2008)</i>, Salt Lake City, Utah, 2008</li>
-
-<li>"<a href="2008-CGO-DagISel.html">Near-Optimal Instruction Selection on DAGs</a>"<br>
-David Ryan Koes and Seth Copen Goldstein<br>
-<i>Proc. of the 2008 International Symposium on Code Generation and Optimization (CGO'08)</i>, Boston, MA, 2008.</li>
-
-
-<li><a href="2007-SOSP-SVA.html">
-Secure Virtual Architecture: A Safe Execution Environment for Commodity
-Operating Systems</a><br>John Criswell, Andrew Lenharth, Dinakar Dhurjati, and
-Vikram Adve
-<br>
-<i>Proceedings of the Twenty First ACM Symposium on Operating Systems Principles (SOSP '07)</i>, Stevenson, WA, October 2007.
-<br>
-<b>Received an SOSP 2007 Audience Choice Award.</b>
-</li>
-
-<li>"<a href="2007-08-16-TRANSACT-Tanger.html">Transactifying Applications
-Using an Open Compiler Framework</a>"<br>Pascal Felber, Christof Fetzer,
-Ulrich Mueller, Torvald Riegel, Martin Suesskraut, and Heiko Sturzrehm<br>
-<i>TRANSACT 2007</i>, August 2007.</li>
-
-<li>"<a href="2007-07-25-LLVM-2.0-and-Beyond.html">LLVM 2.0
-and Beyond!</a>"<br>
-Chris Lattner<br>
-<i>Google Tech Talk</i>, Mountain View, CA, July 2007.</li>
-
-
-<li>"<a href="2007-07-CAV-StructuralAbstraction.html">Structural Abstraction of
- Software Verification Conditions</a>"<br>
- Domagoj Babic and Alan J. Hu.<br>
- <i>Proc. of the 19th Int. Conf. on Computer Aided Verification
- (CAV'07)</i>, Berlin, Germany, Jul, 2007.</li>
-
-<li>"<a href="2007-06-10-PLDI-DSA.html">Making Context-Sensitive Points-to
- Analysis with Heap Cloning Practical For The Real World</a>"<br>
- Chris Lattner, Andrew Lenharth, and Vikram Adve.<br>
- <i>Proc. of the 2007 ACM SIGPLAN Conference on Programming Language
- Design and Implementation (PLDI'07)</i>, San Diego, CA, Jun, 2007.</li>
-
-<li>"<a href="2007-05-31-Switch-Lowering.html">Improving Switch Lowering for
- The LLVM Compiler System</a>"<br>
- Anton Korobeynikov.<br>
- <i>Proc. of the 2007 Spring Young Researchers Colloquium on Software
- Engineering (SYRCoSE'2007)</i>, Moscow, Russia, May, 2007.<br></li>
-
-<li>"<a href="2007-04-PraherMSThesis.html">A Change Framework based on the Low Level
-Virtual Machine Compiler Infrastructure</a>"<br>
-Jakob Praher<br>
- <i>Masters Thesis</i>, Institute for System Software
-Johannes Kepler University Linz, April 2007.</li>
-
-<li>"<a href="2007-03-SPLAT-Aspects.html">An Aspect for Idiom-based Exception
- Handling (using local continuation join points, join point properties,
- annotations and type parameters)</a>"<br>
- Bram Adams and Kris De Schutter.<br>
- <i>Proc. of the 5th Software-Engineering Properties of Languages and Aspect
- Technologies Workshop (SPLAT)</i>,
- AOSD 2007, Vancouver, Canada, March, 2007.<br></li>
-
-<li>"<a href="2007-03-12-BossaLLVMIntro.html">The LLVM Compiler System</a>"<br>
- Chris Lattner<br>
- <i>2007 Bossa Conference on Open Source, Mobile Internet and Multimedia</i>,
- Recife, Brazil, March 2007.<br></li>
-
-<li>"<a href="2006-10-ICNPC-ScalingTaskGraphs.html">Scaling Task Graphs for
- Network Processors</a>"<br>
- Martin Labrecque and J. Gregory Steffan<br>
- <i>IFIP International Conference on Network and Parallel Computing</i>, Tokyo,
- Japan, October, 2006.</li>
-
-<li>"<a href="2006-10-CASES-IncreaseMem.html">Automated Compile-Time and
-Run-Time Techniques to Increase Usable Memory in MMU-Less Embedded Systems</a>"<br>
-L. Bai, L. Yang, and R. P. Dick<br>
-<i>Proc. Int. Conf. Compilers, Architecture & Synthesis for Embedded Systems</i>,
-pp. 125-135, Oct. 2006.</li>
-
-<li>"<a href="2006-09-SOC-Synthesis.html">Platform-Based Behavior-Level and System-Level Synthesis</a>"<br>
-J. Cong, Y. Fan, G. Han, W. Jiang, and Z. Zhang<br>
-<i>Proceedings of IEEE International SOC Conference</i>, pp. 199-202, Austin, Texas, Sept. 2006.</li>
-
-<li>"<a href="2006-DSN-DanglingPointers.html">Efficiently Detecting All Dangling Pointer Uses in Production Servers</a>"<br>Dinakar Dhurjati and Vikram Adve.<br><i>
-Proceedings of the International Conference on Dependable Systems and Networks (DSN '06)</i>, Philadelphia, Pennsylvania, 2006.<br></li>
-
-<li>"<a href="2006-06-18-WIOSCA-LLVAOS.html">A Virtual Instruction Set Interface for Operating System Kernels</a>"<br>John Criswell, Brent Monroe, and Vikram Adve.<br><i>
-Workshop on the Interaction between Operating Systems and Computer Architecture (WIOSCA '06)</i>, Boston, Massachusetts, 2006.<br></li>
-
-<li>"<a href="2006-06-12-PLDI-SAFECode.html">SAFECode: Enforcing Alias Analysis for Weakly Typed Languages</a>"<br>Dinakar Dhurjati, Sumant, Kowshik, and Vikram Adve.<br><i>
-Proceedings of the 2006 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI '06)</i>, Ottawa, Canada, 2006.<br></li>
-
-<li>"<a href="http://llvm.org/pubs/2006-05-24-SAFECode-BoundsCheck.html">
-Backwards-Compatible Array Bounds Checking for C with Very Low Overhead</a>"
-<br>By Dinakar Dhurjati and Vikram Adve,
-<br><i>Proceedings of the 28th
-International Conference on Software Engineering (ICSE '06)</i>,
-Shanghai, China, 2006.<br></li>
-
-<li>"<a href="2006-06-15-VEE-VectorLLVA.html">Vector LLVA: A Virtual Vector Instruction Set for Media Processing</a>"<br>Robert L. Bocchino Jr. and Vikram S. Adve.<br><i>
-Proc. of the Second International Conference on Virtual Execution Environments (VEE'06)</i>, Ottawa, Canada, 2006.<br></li>
-
-<li>"<a href="2006-06-07-LewyckyChecker.html">Checker: a Static Program Checker</a>"<br>
-Nicholas Lewycky<br> <i>B.Sc. Thesis</i>, Computer Science Dept., Ryerson University, June 2006.</li>
-
-<li>"<a href="2006-04-25-GelatoLLVMIntro.html">Introduction to the LLVM Compiler Infrastructure</a>"<br>Chris Lattner<br>
- <i>2006 Itanium Conference and Expo</i>, San Jose, California, April 2006.</li>
-
-<li>"<a href="2006-04-04-CGO-GraphColoring.html">Tailoring Graph-coloring Register Allocation For Runtime Compilation</a>"<br>Keith D. Cooper and Anshuman Dasgupta<br><i> Proc. of the 2006 International Symposium on Code Generation and Optimization (CGO'06)</i>, New York, New York, 2006.<br></li>
-
-
-<li>"<a href="2006-01-LabrecqueMSThesis.html">Towards a Compilation Infrastructure for Network Processors</a>"<br>
-Martin Labrecque<br>
-<i>Masters Thesis</i>, Department of Electrical and Computer Engineering, University of Toronto, January, 2006.</li>
-
-
-
-<li>"<a href="2005-TR-DSAEvaluation.html">How Successful is Data Structure Analysis in Isolating and Analyzing
- Linked Data Structures?</a>"<br> Patrick Meredith, Balpreet Pankaj, Swarup Sahoo, Chris Lattner and Vikram Adve<br> <i>Technical Report #UIUCDCS-R-2005-2658, Computer Science Dept., Univ. of
-Illinois</i>, Dec. 2005.<br> </li>
-
-
-<li>"<a href="2005-11-SAFECodeTR.html">Enforcing Alias Analysis for
- Weakly Typed Languages</a>"<br> Dinakar Dhurjati, Sumant Kowshik, and Vikram
-Adve<br> <i>Technical Report #UIUCDCS-R-2005-2657, Computer Science Dept., Univ. of
-Illinois</i>, Nov. 2005.<br> </li>
-
-<li>"<a href="2005-10-20-LCPC-RegAlloc.html">Revisiting Graph Coloring Register
- Allocation: A Study of the Chaitin-Briggs and Callahan-Koblenz
- Algorithms</a>"<br>
- By Keith Cooper, Anshuman Dasgupta, and Jason Eckhardt.<br>
- <i>Proc. of the Workshop on Languages and Compilers for Parallel
- Computing (LCPC'05)</i>, Hawthorne, NY, October 20-22, 2005</li>
-
-<li>"<a href="2005-09-25-CASES05-SegmentProtection.html">Segment Protection for
- Embedded Systems Using Run-time Checks</a>"<br>
- By Matthew Simpson, Bhuvan Middha and Rajeev Barua<br>
- <i>Proc. of the ACM International Conference on Compilers,
- Architecture, and Synthesis for Embedded Systems (CASES'05)</i>,
- San Francisco, CA, September, 2005</li>
-
-<li>"<a href="2005-09-PASTE-GreedySuiteMinimization.html">
-A Concept Analysis Inspired Greedy Algorithm for Test Suite Minimization</a>"<br>
-By Sriraman Tallam and Neelam Gupta<br>
-<i>ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and
-Engineering (PASTE 2005)</i>, Lisbon, Portugal, September 5-6, 2005. </li>
-
-
-<li>"<a href="2005-08-EUROPAR-PerformanceLibs.html">Deciding Where to Call
- Performance Libraries</a>"<br>
- By C. Alias and D. Barthou<br>
- <i>Proc. of the International IEEE Euro-Par Conference</i>, August, 2005</li>
-
-<li>"<a href="2005-07-IDEAS-PerfEstimation.html">Practical Techniques for Performance Estimation of Processors</a>"<br>
- Abhijit Ray, Thambipillai Srikanthan and Wu Jigang.<br>
- Proceedings of the 9th International Database Engineering & Application Sy
-mposium (IDEAS'05), July 2005. </li>
-
-<li>"<a href="2005-07-ZimmermanMSThesis.html">Profile-directed If-Conversion in
- Superscalar Microprocessors</a>"<br>
-Eric Zimmerman<br>
-<i>Masters Thesis</i>, Computer Science Dept., University of Illinois at
-Urbana-Champaign, July 2005.</li>
-
-
-<li>"<a href="2005-06-17-LattnerMSThesis.html">An Implementation of Swing Modulo Scheduling with Extensions for Superblocks</a>"<br>
-Tanya M. Lattner.<br> <i>M.S. Thesis</i>, Computer Science Dept., University of Illinois at
-Urbana-Champaign, June 2005.</li>
-
-<li>"<a href="2005-05-04-LattnerPHDThesis.html">Macroscopic Data Structure
-Analysis and Optimization</a>"<br>
-Chris Lattner<br> <i>Ph.D. Thesis</i>, Computer Science Dept., University of Illinois at
-Urbana-Champaign, May 2005.</li>
-
-<li>"<a href="2005-05-21-PLDI-PoolAlloc.html">Automatic Pool Allocation:
-Improving Performance by Controlling Data Structure Layout in the Heap</a>"<br>
-Chris Lattner and Vikram Adve<br>
- <i>Proc. of the 2005 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI'05)</i>, Chicago, Illinois,
-June, 2005.<br>
-<b>Received PLDI 2005 Best Paper Award.</b></li>
-
-<li>"<a href="2005-06-12-MSP-PointerComp.html">Transparent Pointer Compression
-for Linked Data Structures</a>"<br>
-Chris Lattner and Vikram Adve<br> <i>Proc. of the
-ACM Workshop on Memory System Performance (MSP'05)</i>, Chicago, Illinois, June, 2005.
-</li>
-
-<li><a href="2005-03-14-ACP4IS-AspectsKernel.html">Using a Low-Level Virtual
- Machine to Improve Dynamic Aspect Support in Operating System Kernels</a><br>
- By Michael Engel and Bernd Freisleben.<br>
-<i>Proc. of the 4th AOSD Workshop on Aspects, Components, and Patterns for
- Infrastructure Software (ACP4IS'05)</i>, March 14-18, Chicago, 2005
-</li>
-
-<li>"<a href="2005-02-TECS-SAFECode.html">Memory Safety Without
- Garbage Collection for Embedded Applications</a>"<br> Dinakar
- Dhurjati, Sumant Kowshik, Vikram Adve and Chris Lattner<br>
- <i>ACM Transactions in Embedded Computing Systems (TECS)</i>, February 2005. </li>
-
-<li>"<a href="2004-09-22-LCPCLLVMTutorial.html">The LLVM Compiler Framework and
-Infrastructure Tutorial</a>"<br> Chris Lattner and Vikram Adve<br>
-<i>LCPC'04 Mini Workshop on Compiler Research Infrastructures</i>, West Lafayette, Indiana, Sep. 2004.</li>
-
-<li>"<a href="2004-Spring-AlexanderssonMSThesis.html">RubyComp - A Ruby-to-LLVM
-Compiler Prototype</a>"<br>Anders Alexandersson<br> <i>Masters Thesis</i>,
-Division of Computer Science at the Department of Informatics and Mathematics,
-University of Trollhättan/Uddevalla, Sweden, Spring 2004</li>
-
-<li>"<a href="2004-05-JoshiMSThesis.html">A Task Optimization Framework for
-MSSP</a>"<br>Rahul Ulhas Joshi<br> <i>Masters Thesis</i>,
-Computer Science Dept., University of Illinois at Urbana-Champaign, May 2004.</li>
-
-<li>"<a href="2004-03-ICDCS-Adaptions.html">Coordinating Adaptations in
-Distributed Systems</a>"<br>
-Brian Ensink and Vikram Adve<br> <i>Proc. of the 24th International Conference on
-Distributed Computing Systems (ICDCS 2004)</i>, Tokyo, Japan, March 2004</li>
-
-<li>"<a href="2004-01-30-CGO-LLVM.html">LLVM: A Compilation Framework for
-Lifelong Program Analysis & Transformation</a>"<br> Chris Lattner and Vikram
-Adve<br> <i>Proc. of the 2004 International Symposium
-on Code Generation and Optimization (CGO'04)</i>, Palo Alto, California, Mar.
-2004.</li>
-
-<li>"<a href="2003-10-01-LLVA.html">LLVA: A Low-level Virtual Instruction Set
-Architecture</a>"<br> Vikram Adve, Chris Lattner, Michael Brukman, Anand Shukla,
-and Brian Gaeke<br> <i>Proc. of the
-36th annual ACM/IEEE international symposium on Microarchitecture
-(MICRO-36)</i>, San Diego, CA, December 2003.</li>
-
-<li>"<a href="2003-07-18-StanleyMSThesis.html">Language Extensions for
-Performance-Oriented Programming</a>"<br> Joel Stanley<br> <i>Masters Thesis</i>,
-Computer Science Dept., University of Illinois at Urbana-Champaign,
-July 2003</li>
-
-<li>"<a href="2003-07-18-ShuklaMSThesis.html">Lightweight, Cross-Procedure
-Tracing for Runtime Optimization</a>"<br> Anand Shukla<br> <i>Masters Thesis</i>,
-Computer Science Dept., University of Illinois at Urbana-Champaign,
-July 2003</li>
-
-<li>"<a href="2003-05-05-LCTES03-CodeSafety.html">Memory Safety Without Runtime
-Checks or Garbage Collection</a>"<br> Dinakar Dhurjati, Sumant Kowshik, Vikram
-Adve and Chris Lattner<br> <i>Proc. of
-Languages Compilers and Tools for Embedded Systems 2003 (LCTES 03)</i>, San
-Diego, CA, June 2003. </li>
-
-<li>"<a href="2003-05-01-GCCSummit2003.html">Architecture For a Next-Generation
-GCC</a>"<br> Chris Lattner & Vikram Adve<br> <i>First Annual GCC Developers'
-Summit</i>, Ottawa, Canada, May 2003.<br> </li>
-
</ol>
<script src="pubs.js" type="text/javascript"></script>
Index: llvm-www/pubs/pubs.js
diff -u llvm-www/pubs/pubs.js:1.2 llvm-www/pubs/pubs.js:1.3
--- llvm-www/pubs/pubs.js:1.2 Wed Dec 24 20:45:50 2008
+++ llvm-www/pubs/pubs.js Wed Dec 24 23:27:51 2008
@@ -1,6 +1,476 @@
// The array should be sorted reverse-chronologically, and will be displayed on
// the page in the order listed.
var PUBS = [
+ {url: '2009-03-ASPLOS-Recovery.html',
+ title: 'Recovery Domains: An Organizing Principle for Recoverable Operating Systems',
+ author: 'Andrew Lenharth, Samuel T. King, Vikram Adve',
+ published: "Proceedings of the Fourteenth International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS '09)"},
+
+ {url: '2008-12-OSDI-KLEE.html',
+ title: 'KLEE: Unassisted and Automatic Generation of High-Coverage Tests for Complex Systems Programs',
+ author: 'Cristian Cadar, Daniel Dunbar, Dawson Engler',
+ published: "Proc. 8th USENIX Symposium on Operating Systems Design and Implementation (OSDI 2008)",
+ month: 12,
+ year: 2008},
+
+ {url: '2008-10-04-ACAT-LLVM-Intro.html',
+ title: 'Introduction to the LLVM Compiler System',
+ author: 'Chris Lattner',
+ published: 'Plenary Talk, <a href="http://acat2008.cern.ch/">ACAT 2008</a>: Advanced Computing and Analysis Techniques in Physics Research',
+ location: 'Erice, Sicily, Italy',
+ month: 11,
+ year: 2008},
+
+ {url: '2008-10-EMSOFT-Volatiles.html',
+ title: 'Volatiles Are Miscompiled, and What to Do about It',
+ author: 'Eric Eide, John Regehr',
+ published: "Proc. EMSOFT International Conference on Embedded Software (EMSOFT 2008)",
+ month: 10,
+ year: 2008},
+
+ {url: '2008-09-LadyVM.html',
+ title: 'A Lazy Developer Approach: Building a JVM with Third Party Software',
+ author: 'Nicolas Geoffray, Gael Thomas, Charles Clement and Bertil Folliot',
+ published: "Proc. International Conference on Principles and Practice of Programming In Java (PPPJ 2008)",
+ month: 9,
+ year: 2008},
+
+ {url: '2008-08-RTCodegen.html',
+ title: 'Run-Time Code Generation for Materials',
+ author: 'Stephan Reiter',
+ published: "IEEE Symposium on Interactive Ray Tracing (RT'08)",
+ month: 8,
+ year: 2008},
+
+ {url: '2008-08-SPIN-Pancam.html',
+ title: 'Verifying Multi-threaded C Programs with SPIN',
+ author: 'Anna Zaks and Rajeev Joshi',
+ published: "Proc. International SPIN Workshop on Model Checking of Software (SPIN 2008)",
+ month: 8,
+ year: 2008},
+
+ {url: '2008-06-LCTES-ISelUsingSSAGraphs.html',
+ title: 'Generalized Instruction Selection using SSA-Graphs',
+ author: 'Dietmar Ebner, Florian Brandner, Bernhard Scholz, Andreas Krall, Peter Wiedermann and Albrecht Kadlec',
+ published: "Proc. Languages Compilers and Tools for Embedded Systems 2008 (LCTES'08)",
+ month: 6,
+ year: 2008},
+
+ {url: '2008-06-13-SPAA-STMDataPartitioning.html',
+ title: 'Automatic Data Partitioning in Software Transactional Memories',
+ author: 'Torvald Riegel, Christof Fetzer, and Pascal Felber',
+ published: "Proc. 20th ACM Symposium on Parallelism in Algorithms and Architectures (SPAA'08)",
+ month: 6,
+ year: 2008},
+
+ {url: '2008-06-PLDI-PuzzleSolving.html',
+ title: 'Register Allocation by Puzzle Solving',
+ author: 'Fernando Magno Quintao Pereira and Jens Palsberg',
+ published: "Proc. ACM SIGPLAN 2008 Conference on Programming Language Design and Implementation (PLDI'08)",
+ month: 6,
+ year: 2008},
+
+ {url: '2008-05-CoVaC.html',
+ title: 'CoVaC: Compiler Validation by Program Analysis of the Cross-Product',
+ author: 'Anna Zaks and Amir Pnueli',
+ published: "Proc. International Symposium on Formal Methods (FM 2008)",
+ month: 5,
+ year: 2008},
+
+ {url: '2008-05-17-BSDCan-LLVMIntro.html',
+ title: 'LLVM and Clang: Next Generation Compiler Technology',
+ author: 'Chris Lattner',
+ published: '<a href="http://www.bsdcan.org/2008/">BSDCan 2008</a>: The BSD Conference',
+ location: 'Ottawa, Canada',
+ month: 5,
+ year: 2008},
+
+ {url: '2008-03-DATE-TLM_Estimation.html',
+ title: 'Cycle-approximate Retargetable Performance Estimation at the Transaction Level',
+ author: 'Y. Hwang, S. Abdi, and D. Gajski',
+ published: "Proc. of Design Automation and Test in Europe (DATE'08)",
+ location: 'Munich, Germany',
+ month: 3,
+ year: 2008},
+
+ {url: '2008-03-TR-UIDependAnalysis.html',
+ title: 'User-Input Dependence Analysis via Graph Reachability',
+ author: 'Bernard Scholz, Chenyi Zhang, and Cristina Cifuentes',
+ published: "Technical Report #TR-2008-171, Sun Microsystems",
+ month: 3,
+ year: 2008},
+
+ {url: '2008-02-ImpedingMalwareAnalysis.html',
+ title: 'Impeding Malware Analysis Using Conditional Code Obfuscation',
+ author: 'Monirul Sharif, Andrea Lanzi, Jonathon Giffin and Wenke Lee',
+ published: "Network and Distributed System Security Symposium (NDSS'08)",
+ location: 'San Diego, CA',
+ month: 2,
+ year: 2008},
+
+ {url: '2008-02-23-TRANSACT-TangerObjBased.html',
+ title: 'Making Object-Based STM Practical in Unmanaged Environments',
+ author: 'Torvald Riegel and Diogo Becker de Brum',
+ published: "ACM SIGPLAN Workshop on Transactional Computing (TRANSACT 2008)",
+ location: 'Salt Lake City, Utah',
+ year: 2008},
+
+ {url: '2008-CGO-DagISel.html',
+ title: 'Near-Optimal Instruction Selection on DAGs',
+ author: 'David Ryan Koes and Seth Copen Goldstein',
+ published: "Proc. of the 2008 International Symposium on Code Generation and Optimization (CGO'08)",
+ location: 'Boston, MA',
+ year: 2008},
+
+ {url: '2007-SOSP-SVA.html',
+ title: 'Secure Virtual Architecture: A Safe Execution Environment for Commodity Operating Systems',
+ author: 'John Criswell, Andrew Lenharth, Dinakar Dhurjati, and Vikram Adve',
+ published: "Proceedings of the Twenty First ACM Symposium on Operating Systems Principles (SOSP '07)",
+ award: 'Received an SOSP 2007 Audience Choice Award',
+ location: 'Stevenson, WA',
+ month: 10,
+ year: 2007},
+
+ {url: '2007-08-16-TRANSACT-Tanger.html',
+ title: 'Transactifying Applications Using an Open Compiler Framework',
+ author: 'Pascal Felber, Christof Fetzer, Ulrich Mueller, Torvald Riegel, Martin Suesskraut, and Heiko Sturzrehm',
+ published: "TRANSACT 2007",
+ month: 8,
+ year: 2007},
+
+ {url: '2007-07-25-LLVM-2.0-and-Beyond.html',
+ title: 'LLVM 2.0 and Beyond!',
+ author: 'Chris Lattner',
+ published: "Google Tech Talk",
+ location: 'Mountain View, CA',
+ month: 7,
+ year: 2007},
+
+ {url: '2007-07-CAV-StructuralAbstraction.html',
+ title: 'Structural Abstraction of Software Verification Conditions',
+ author: 'Domagoj Babic and Alan J. Hu',
+ published: "Proc. of the 19th Int. Conf. on Computer Aided Verification (CAV'07)",
+ location: 'Berlin, Germany',
+ month: 7,
+ year: 2007},
+
+ {url: '2007-06-10-PLDI-DSA.html',
+ title: 'Making Context-Sensitive Points-to Analysis with Heap Cloning Practical For The Real World',
+ author: 'Chris Lattner, Andrew Lenharth, and Vikram Adve',
+ published: "Proc. of the 2007 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI'07)",
+ location: 'San Diego, CA',
+ month: 6,
+ year: 2007},
+
+ {url: '2007-05-31-Switch-Lowering.html',
+ title: 'Improving Switch Lowering for The LLVM Compiler System',
+ author: 'Anton Korobeynikov',
+ published: "Proc. of the 2007 Spring Young Researchers Colloquium on Software Engineering (SYRCoSE'2007)",
+ location: 'Moscow, Russia',
+ month: 5,
+ year: 2007},
+
+ {url: '2007-04-PraherMSThesis.html',
+ title: 'A Change Framework based on the Low Level Virtual Machine Compiler Infrastructure',
+ author: 'Jakob Praher',
+ published: "Masters Thesis",
+ location: 'Institute for System Software Johannes Kepler University Linz',
+ month: 4,
+ year: 2007},
+
+ {url: '2007-03-SPLAT-Aspects.html',
+ title: 'An Aspect for Idiom-based Exception Handling (using local continuation join points, join point properties, annotations and type parameters)',
+ author: 'Bram Adams and Kris De Schutter',
+ published: "Proc. of the 5th Software-Engineering Properties of Languages and Aspect Technologies Workshop (SPLAT)",
+ location: 'AOSD 2007, Vancouver, Canada',
+ month: 3,
+ year: 2007},
+
+ {url: '2007-03-12-BossaLLVMIntro.html',
+ title: 'The LLVM Compiler System',
+ author: 'Chris Lattner',
+ published: "2007 Bossa Conference on Open Source, Mobile Internet and Multimedia",
+ location: 'Recife, Brazil',
+ month: 3,
+ year: 2007},
+
+ {url: '2006-10-ICNPC-ScalingTaskGraphs.html',
+ title: 'Scaling Task Graphs for Network Processors',
+ author: 'Martin Labrecque and J. Gregory Steffan',
+ published: "IFIP International Conference on Network and Parallel Computing",
+ location: 'Tokyo, Japan',
+ month: 10,
+ year: 2006},
+
+ {url: '2006-10-CASES-IncreaseMem.html',
+ title: 'Automated Compile-Time and Run-Time Techniques to Increase Usable Memory in MMU-Less Embedded Systems',
+ author: 'L. Bai, L. Yang, and R. P. Dick',
+ published: "Proc. Int. Conf. Compilers, Architecture & Synthesis for Embedded Systems",
+ location: 'pp. 125-135',
+ month: 10,
+ year: 2006},
+
+ {url: '2006-09-SOC-Synthesis.html',
+ title: 'Platform-Based Behavior-Level and System-Level Synthesis',
+ author: 'J. Cong, Y. Fan, G. Han, W. Jiang, and Z. Zhang',
+ published: "Proceedings of IEEE International SOC Conference",
+ location: 'pp. 199-202, Austin, Texas',
+ month: 9,
+ year: 2006},
+
+ {url: '2006-DSN-DanglingPointers.html',
+ title: 'Efficiently Detecting All Dangling Pointer Uses in Production Servers',
+ author: 'Dinakar Dhurjati and Vikram Adve',
+ published: "Proceedings of the International Conference on Dependable Systems and Networks (DSN '06)",
+ location: 'Philadelphia, Pennsylvania',
+ year: 2006},
+
+ {url: '2006-06-18-WIOSCA-LLVAOS.html',
+ title: 'A Virtual Instruction Set Interface for Operating System Kernels',
+ author: 'John Criswell, Brent Monroe, and Vikram Adve',
+ published: "Workshop on the Interaction between Operating Systems and Computer Architecture (WIOSCA '06)",
+ location: 'Boston, Massachusetts',
+ year: 2006},
+
+ {url: '2006-06-12-PLDI-SAFECode.html',
+ title: 'SAFECode: Enforcing Alias Analysis for Weakly Typed Languages',
+ author: 'Dinakar Dhurjati, Sumant, Kowshik, and Vikram Adve',
+ published: "Proceedings of the 2006 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI '06)",
+ location: 'Ottawa, Canada',
+ year: 2006},
+
+ {url: 'http://llvm.org/pubs/2006-05-24-SAFECode-BoundsCheck.html',
+ title: 'Backwards-Compatible Array Bounds Checking for C with Very Low Overhead',
+ author: 'Dinakar Dhurjati and Vikram Adve',
+ published: "Proceedings of the 28th International Conference on Software Engineering (ICSE '06)",
+ location: 'Shanghai, China',
+ year: 2006},
+
+ {url: '2006-06-15-VEE-VectorLLVA.html',
+ title: 'Vector LLVA: A Virtual Vector Instruction Set for Media Processing',
+ author: 'Robert L. Bocchino Jr. and Vikram S. Adve',
+ published: "Proc. of the Second International Conference on Virtual Execution Environments (VEE'06)",
+ location: 'Ottawa, Canada',
+ year: 2006},
+
+ {url: '2006-06-07-LewyckyChecker.html',
+ title: 'Checker: a Static Program Checker',
+ author: 'Nicholas Lewycky',
+ published: "B.Sc. Thesis",
+ location: 'Computer Science Dept., Ryerson University',
+ month: 6,
+ year: 2006},
+
+ {url: '2006-04-25-GelatoLLVMIntro.html',
+ title: 'Introduction to the LLVM Compiler Infrastructure',
+ author: 'Chris Lattner',
+ published: "2006 Itanium Conference and Expo",
+ location: 'San Jose, California',
+ month: 4,
+ year: 2006},
+
+ {url: '2006-04-04-CGO-GraphColoring.html',
+ title: 'Tailoring Graph-coloring Register Allocation For Runtime Compilation',
+ author: 'Keith D. Cooper and Anshuman Dasgupta',
+ published: "Proc. of the 2006 International Symposium on Code Generation and Optimization (CGO'06)",
+ location: 'New York, New York',
+ year: 2006},
+
+ {url: '2006-01-LabrecqueMSThesis.html',
+ title: 'Towards a Compilation Infrastructure for Network Processors',
+ author: 'Martin Labrecque',
+ published: "Masters Thesis",
+ location: 'Department of Electrical and Computer Engineering, University of Toronto',
+ month: 1,
+ year: 2006},
+
+ {url: '2005-TR-DSAEvaluation.html',
+ title: 'How Successful is Data Structure Analysis in Isolating and Analyzing Linked Data Structures?',
+ author: 'Patrick Meredith, Balpreet Pankaj, Swarup Sahoo, Chris Lattner and Vikram Adve',
+ published: "Technical Report #UIUCDCS-R-2005-2658, Computer Science Dept., Univ. of Illinois",
+ month: 12,
+ year: 2005},
+
+ {url: '2005-11-SAFECodeTR.html',
+ title: 'Enforcing Alias Analysis for Weakly Typed Languages',
+ author: 'Dinakar Dhurjati, Sumant Kowshik, and Vikram Adve',
+ published: "Technical Report #UIUCDCS-R-2005-2657, Computer Science Dept., Univ. of Illinois",
+ month: 11,
+ year: 2005},
+
+ {url: '2005-10-20-LCPC-RegAlloc.html',
+ title: 'Revisiting Graph Coloring Register Allocation: A Study of the Chaitin-Briggs and Callahan-Koblenz Algorithms',
+ author: 'By Keith Cooper, Anshuman Dasgupta, and Jason Eckhardt',
+ published: "Proc. of the Workshop on Languages and Compilers for Parallel Computing (LCPC'05)",
+ location: 'Hawthorne, NY',
+ month: 10,
+ year: 2005},
+
+ {url: '2005-09-25-CASES05-SegmentProtection.html',
+ title: 'Segment Protection for Embedded Systems Using Run-time Checks',
+ author: 'By Matthew Simpson, Bhuvan Middha and Rajeev Barua',
+ published: "Proc. of the ACM International Conference on Compilers, Architecture, and Synthesis for Embedded Systems (CASES'05)",
+ location: 'San Francisco, CA',
+ month: 9,
+ year: 2005},
+
+ {url: '2005-09-PASTE-GreedySuiteMinimization.html',
+ title: 'A Concept Analysis Inspired Greedy Algorithm for Test Suite Minimization',
+ author: 'By Sriraman Tallam and Neelam Gupta',
+ published: "ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering (PASTE 2005)",
+ location: 'Lisbon, Portugal',
+ month: 9,
+ year: 2005},
+
+ {url: '2005-08-EUROPAR-PerformanceLibs.html',
+ title: 'Deciding Where to Call Performance Libraries',
+ author: 'By C. Alias and D. Barthou',
+ published: "Proc. of the International IEEE Euro-Par Conference",
+ month: 8,
+ year: 2005},
+
+ {url: '2005-07-IDEAS-PerfEstimation.html',
+ title: 'Practical Techniques for Performance Estimation of Processors',
+ author: 'Abhijit Ray, Thambipillai Srikanthan and Wu Jigang',
+ published: "Proceedings of the 9th International Database Engineering & Application Symposium (IDEAS'05)",
+ month: 7,
+ year: 2005},
+
+ {url: '2005-07-ZimmermanMSThesis.html',
+ title: 'Profile-directed If-Conversion in Superscalar Microprocessors',
+ author: 'Eric Zimmerman',
+ published: "Masters Thesis",
+ location: 'Computer Science Dept., University of Illinois at Urbana-Champaign',
+ month: 7,
+ year: 2005},
+
+ {url: '2005-06-17-LattnerMSThesis.html',
+ title: 'An Implementation of Swing Modulo Scheduling with Extensions for Superblocks',
+ author: 'Tanya M. Lattner',
+ published: "M.S. Thesis",
+ location: 'Computer Science Dept., University of Illinois at Urbana-Champaign',
+ month: 6,
+ year: 2005},
+
+ {url: '2005-05-04-LattnerPHDThesis.html',
+ title: 'Macroscopic Data Structure Analysis and Optimization',
+ author: 'Chris Lattner',
+ published: "Ph.D. Thesis",
+ location: 'Computer Science Dept., University of Illinois at Urbana-Champaign',
+ month: 5,
+ year: 2005},
+
+ {url: '2005-05-21-PLDI-PoolAlloc.html',
+ title: 'Automatic Pool Allocation: Improving Performance by Controlling Data Structure Layout in the Heap',
+ author: 'Chris Lattner and Vikram Adve',
+ published: "Proc. of the 2005 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI'05)",
+ award: 'Received PLDI 2005 Best Paper Award',
+ location: 'Chicago, Illinois',
+ month: 6,
+ year: 2005},
+
+ {url: '2005-06-12-MSP-PointerComp.html',
+ title: 'Transparent Pointer Compression for Linked Data Structures',
+ author: 'Chris Lattner and Vikram Adve',
+ published: "Proc. of the ACM Workshop on Memory System Performance (MSP'05)",
+ location: 'Chicago, Illinois',
+ month: 6,
+ year: 2005},
+
+ {url: '2005-03-14-ACP4IS-AspectsKernel.html',
+ title: 'Using a Low-Level Virtual Machine to Improve Dynamic Aspect Support in Operating System Kernels',
+ author: 'By Michael Engel and Bernd Freisleben',
+ published: "Proc. of the 4th AOSD Workshop on Aspects, Components, and Patterns for Infrastructure Software (ACP4IS'05)",
+ location: 'Chicago',
+ month: 3,
+ year: 2005},
+
+ {url: '2005-02-TECS-SAFECode.html',
+ title: 'Memory Safety Without Garbage Collection for Embedded Applications',
+ author: 'Dinakar Dhurjati, Sumant Kowshik, Vikram Adve and Chris Lattner',
+ published: "ACM Transactions in Embedded Computing Systems (TECS)",
+ month: 2,
+ year: 2005},
+
+ {url: '2004-09-22-LCPCLLVMTutorial.html',
+ title: 'The LLVM Compiler Framework and Infrastructure Tutorial',
+ author: 'Chris Lattner and Vikram Adve',
+ published: "LCPC'04 Mini Workshop on Compiler Research Infrastructures",
+ location: 'West Lafayette, Indiana',
+ month: 9,
+ year: 2004},
+
+ {url: '2004-Spring-AlexanderssonMSThesis.html',
+ title: 'RubyComp - A Ruby-to-LLVM Compiler Prototype',
+ author: 'Anders Alexandersson',
+ published: "Masters Thesis",
+ location: 'Division of Computer Science at the Department of Informatics and Mathematics, University of Trollhättan/Uddevalla, Sweden',
+ year: 2004},
+
+ {url: '2004-05-JoshiMSThesis.html',
+ title: 'A Task Optimization Framework for MSSP',
+ author: 'Rahul Ulhas Joshi',
+ published: "Masters Thesis",
+ location: 'Computer Science Dept., University of Illinois at Urbana-Champaign',
+ month: 5,
+ year: 2004},
+
+ {url: '2004-03-ICDCS-Adaptions.html',
+ title: 'Coordinating Adaptations in Distributed Systems',
+ author: 'Brian Ensink and Vikram Adve',
+ published: "Proc. of the 24th International Conference on Distributed Computing Systems (ICDCS 2004)",
+ location: 'Tokyo, Japan',
+ month: 3,
+ year: 2004},
+
+ {url: '2004-01-30-CGO-LLVM.html',
+ title: 'LLVM: A Compilation Framework for Lifelong Program Analysis & Transformation',
+ author: 'Chris Lattner and Vikram Adve',
+ published: "Proc. of the 2004 International Symposium on Code Generation and Optimization (CGO'04)",
+ location: 'Palo Alto, California',
+ month: 3,
+ year: 2004},
+
+ {url: '2003-10-01-LLVA.html',
+ title: 'LLVA: A Low-level Virtual Instruction Set Architecture',
+ author: 'Vikram Adve, Chris Lattner, Michael Brukman, Anand Shukla, and Brian Gaeke',
+ published: "Proc. of the 36th annual ACM/IEEE International Symposium on Microarchitecture (MICRO-36)",
+ location: 'San Diego, CA',
+ month: 12,
+ year: 2003},
+
+ {url: '2003-07-18-StanleyMSThesis.html',
+ title: 'Language Extensions for Performance-Oriented Programming',
+ author: 'Joel Stanley',
+ published: "Masters Thesis",
+ location: 'Computer Science Dept., University of Illinois at Urbana-Champaign',
+ month: 7,
+ year: 2003},
+
+ {url: '2003-07-18-ShuklaMSThesis.html',
+ title: 'Lightweight, Cross-Procedure Tracing for Runtime Optimization',
+ author: 'Anand Shukla',
+ published: "Masters Thesis",
+ location: 'Computer Science Dept., University of Illinois at Urbana-Champaign',
+ month: 7,
+ year: 2003},
+
+ {url: '2003-05-05-LCTES03-CodeSafety.html',
+ title: 'Memory Safety Without Runtime Checks or Garbage Collection',
+ author: 'Dinakar Dhurjati, Sumant Kowshik, Vikram Adve and Chris Lattner',
+ published: "Proc. of Languages Compilers and Tools for Embedded Systems 2003 (LCTES 03)",
+ location: 'San Diego, CA',
+ month: 6,
+ year: 2003},
+
+ {url: '2003-05-01-GCCSummit2003.html',
+ title: 'Architecture For a Next-Generation GCC',
+ author: 'Chris Lattner & Vikram Adve',
+ published: "First Annual GCC Developers' Summit",
+ location: 'Ottawa, Canada',
+ month: 5,
+ year: 2003},
+
{url: '2003-04-29-DataStructureAnalysisTR.html',
title: 'Data Structure Analysis: An Efficient Context-Sensitive Heap Analysis',
author: 'Chris Lattner & Vikram Adve',
@@ -76,9 +546,11 @@
item.innerHTML += '"<a href="' + pub.url + '">' + htmlEscape(pub.title) +
'</a>"<br>';
item.innerHTML += htmlEscape(pub.author) + '<br>';
- item.innerHTML += '<i>' + htmlEscape(pub.published) + '</i>';
+ if (isDef(pub.published)) {
+ item.innerHTML += '<i>' + pub.published + '</i>';
+ }
if (isDef(pub.location)) {
- item.innerHTML += ', ' + htmlEscape(pub.location);
+ item.innerHTML += ', ' + pub.location;
}
if (isDef(pub.month) || isDef(pub.year)) {
var date = [];
@@ -91,6 +563,9 @@
item.innerHTML += ', ' + htmlEscape(date.join(' '));
}
item.innerHTML += '.';
+ if (isDef(pub.award)) {
+ item.innerHTML += '<br><b>' + pub.award + '.</b>';
+ }
list.appendChild(item);
}
}
More information about the llvm-commits
mailing list