LNCSEfficient Context-Sensitive Shape Analysis with Graph Based Heap Models

First Page		Document Content
Date: 2008-04-28 11:37:29 Linked list Heap Variable Compiler optimization Graph Data-flow analysis Call stack Tree Mathematics Software engineering Computing		LNCSEfficient Context-Sensitive Shape Analysis with Graph Based Heap Models Add to Reading List Source URL: www.clip.dia.fi.upm.es Download Document from Source Website File Size: 558,22 KB Share Document on Facebook

	Exploiting GPU Hardware Saturation for Fast Compiler Optimization Alberto Magni Christophe Dubach DocID: 1tIPP - View Document
	A Compiler for Throughput Optimization of Graph Algorithms on GPUs There is growing interest in raising the abstraction level for GPU programmers through the use of high-level programming notations and compiler technolog DocID: 1t4ls - View Document
	IBM Research - Tokyo Optimization of X10 Programs with ROSE Compiler Infrastructure Michihiro Horie†, Mikio Takeuchi†, Kiyokuni Kawachiya†, David Grove‡ †IBM Research - Tokyo DocID: 1sSbC - View Document
	Verified Peephole Optimizations for CompCert Eric Mullen Daryl Zuniga University of Washington, USA DocID: 1rsFQ - View Document
	Precise Automatable Analytical Modeling of the Cache Behavior of Codes with Indirections ´ DOALLO DIEGO ANDRADE, BASILIO B. FRAGUELA, and RAMON Universidade da Coruna DocID: 1rqme - View Document