Table of Contents

• On the platform specificity of STM instrumentation mechanismsWenjia Ruan, Yujie Liu, Chao Wang, Michael F. Spear. 1-10 [doi]
• A polynomial spilling heuristic: Layered allocationBoubacar Diouf, Albert Cohen, Fabrice Rastello. 1-10 [doi]
• A fast and low-overhead technique to secure programs against integer overflowsRaphael Ernani Rodrigues, Victor Hugo Sperle Campos, Fernando Magno Quintão Pereira. 1-11 [doi]
• JSWhiz: Static analysis for JavaScript memory leaksJacques A. Pienaar, Robert Hundt. 1-11 [doi]
• Vlock: Lock virtualization mechanism for exploiting fine-grained parallelism in graph traversal algorithmsJie Yan, Guangming Tan, Xiuxia Zhang, Erlin Yao, Ninghui Sun. 1-10 [doi]
• Idempotent code generation: Implementation, analysis, and evaluationMarc de Kruijf, Karthikeyan Sankaralingam. 1-12 [doi]
• Instant profiling: Instrumentation sampling for profiling datacenter applicationsHyoun Kyu Cho, Tipp Moseley, Richard E. Hank, Derek Bruening, Scott A. Mahlke. 1-10 [doi]
• Locality-aware mapping and scheduling for multicoresWei Ding, Yuanrui Zhang, Mahmut T. Kandemir, Jithendra Srinivas, Praveen Yedlapalli. 1-12 [doi]
• Query-directed adaptive heap cloning for optimizing compilersYulei Sui, Yue Li, Jingling Xue. 1-11 [doi]
• Defensive loop tiling for shared cacheBin Bao, Chen Ding. 1-11 [doi]
• Profile-guided automated software diversityAndrei Homescu, Steven Neisius, Per Larsen, Stefan Brunthaler, Michael Franz. 1-11 [doi]
• Hydra: Automatic algorithm exploration from linear algebra equationsAlexandre Duchateau, David A. Padua, Denis Barthou. 1-10 [doi]
• Runtime dependence computation and execution of loops on heterogeneous systemsJayvant Anantpur, R. Govindarajan. 1-10 [doi]
• Acceldroid: Co-designed acceleration of Android bytecodeCheng Wang, Youfeng Wu, Marcelo Cintra. 1-10 [doi]
• Automatic construction of inlining heuristics using machine learningSameer Kulkarni, John Cavazos, Christian Wimmer, Doug Simon. 1-12 [doi]
• Pertinent path profiling: Tracking interactions among relevant statementsRamshankar Chouhan, Subhajit Roy, Surender Baswana. 1-12 [doi]
• Bandwidth Bandit: Quantitative characterization of memory contentionDavid Eklov, Nikos Nikoleris, David Black-Schaffer, Erik Hagersten. 1-10 [doi]
• Lightweight fault detection in parallelized programsLi Tan, Min Feng, Rajiv Gupta. 1-11 [doi]
• Improving data access efficiency by using a tagless access buffer (TAB)Alen Bardizbanyan, Peter Gavin, David B. Whalley, Magnus Själander, Per Larsson-Edefors, Sally A. McKee, Per Stenström. 1-11 [doi]
• Portable mapping of data parallel programs to OpenCL for heterogeneous systemsDominik Grewe, Zheng Wang, Michael F. P. O'Boyle. 1-10 [doi]
• Smart, adaptive mapping of parallelism in the presence of external workloadMurali Krishna Emani, Zheng Wang, Michael F. P. O'Boyle. 1-10 [doi]
• Effective fault localization based on minimum debugging frontier setFeng Li, Wei Huo, Congming Chen, Lujie Zhong, Xiaobing Feng 0002, Zhiyuan Li. 1-10 [doi]
• Convergence and scalarization for data-parallel architecturesYunsup Lee, Ronny Krashinsky, Vinod Grover, Stephen W. Keckler, Krste Asanovic. 1-11 [doi]
• Just-in-time value specializationIgor Rafael de Assis Costa, Péricles Rafael Oliveira Alves, Henrique Nazare Santos, Fernando Magno Quintão Pereira. 1-11 [doi]
• Automatically exploiting cross-invocation parallelism using runtime informationJialu Huang, Thomas B. Jablin, Stephen R. Beard, Nick P. Johnson, David I. August. 1-11 [doi]
• Practical lock/unlock pairing for concurrent programsHyoun Kyu Cho, Terence Kelly, Yin Wang, Stéphane Lafortune, Hongwei Liao, Scott A. Mahlke. 1-12 [doi]
• Experiences in designing a robust and scalable interpreter profiling frameworkIan Gartley, Marius Pirvu, Vijay Sundaresan, Nikola Grcevski. 1-10 [doi]
• Profmig: A framework for flexible migration of program profiles across software versionsMingzhou Zhou, Bo Wu, Yufei Ding, Xipeng Shen. 1-12 [doi]
• Hidp: A hierarchical data parallel languageYongpeng Zhang, Frank Mueller. 1-11 [doi]
• Performance upper bound analysis and optimization of SGEMM on Fermi and Kepler GPUsJunjie Lai, André Seznec. 1-10 [doi]
• Skadu: Efficient vector shadow memories for poly-scopic program analysisDonghwan Jeon, Saturnino Garcia, Michael Bedford Taylor. 1-12 [doi]
• SIMD parallelization of applications that traverse irregular data structuresBin Ren, Gagan Agrawal, James R. Larus, Todd Mytkowicz, Tomi Poutanen, Wolfram Schulte. 1-10 [doi]
• Schnauzer: scalable profiling for likely security bug sitesWilliam Arthur, Biruk Mammo, Ricardo Rodriguez, Todd M. Austin, Valeria Bertacco. 1-11 [doi]