CGO 2013

33 papers

1. A fast and low-overhead technique to secure programs against integer overflows · Raphael Ernani Rodrigues, Victor Hugo Sperle Campos, Fernando Magno Quintão Pereira
2. A polynomial spilling heuristic: Layered allocation · Boubacar Diouf, Albert Cohen, Fabrice Rastello
3. Acceldroid: Co-designed acceleration of Android bytecode · Cheng Wang, Youfeng Wu, Marcelo Cintra
4. Automatic construction of inlining heuristics using machine learning · Sameer Kulkarni, John Cavazos, Christian Wimmer, Doug Simon
5. Automatically exploiting cross-invocation parallelism using runtime information · Jialu Huang, Thomas B. Jablin, Stephen R. Beard, Nick P. Johnson, David I. August
6. Bandwidth Bandit: Quantitative characterization of memory contention · David Eklov, Nikos Nikoleris, David Black-Schaffer, Erik Hagersten
7. Convergence and scalarization for data-parallel architectures · Yunsup Lee, Ronny Krashinsky, Vinod Grover, Stephen W. Keckler, Krste Asanovic
8. Defensive loop tiling for shared cache · Bin Bao, Chen Ding
9. Effective fault localization based on minimum debugging frontier set · Feng Li, Wei Huo, Congming Chen, Lujie Zhong, Xiaobing Feng, Zhiyuan Li
10. Experiences in designing a robust and scalable interpreter profiling framework · Ian Gartley, Marius Pirvu, Vijay Sundaresan, Nikola Grcevski
11. Hidp: A hierarchical data parallel language · Yongpeng Zhang, Frank Mueller
12. Hydra: Automatic algorithm exploration from linear algebra equations · Alexandre Duchateau, David A. Padua, Denis Barthou
13. Idempotent code generation: Implementation, analysis, and evaluation · Marc de Kruijf, Karthikeyan Sankaralingam
14. 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 + 1 more
15. Instant profiling: Instrumentation sampling for profiling datacenter applications · Hyoun Kyu Cho, Tipp Moseley, Richard E. Hank, Derek Bruening, Scott A. Mahlke
16. JSWhiz: Static analysis for JavaScript memory leaks · Jacques A. Pienaar, Robert Hundt
17. Just-in-time value specialization · Igor Rafael de Assis Costa, Péricles Rafael Oliveira Alves, Henrique Nazaré Santos, Fernando Magno Quintão Pereira
18. Lightweight fault detection in parallelized programs · Li Tan, Min Feng, Rajiv Gupta
19. Locality-aware mapping and scheduling for multicores · Wei Ding, Yuanrui Zhang, Mahmut T. Kandemir, Jithendra Srinivas, Praveen Yedlapalli
20. On the platform specificity of STM instrumentation mechanisms · Wenjia Ruan, Yujie Liu, Chao Wang, Michael F. Spear
21. Performance upper bound analysis and optimization of SGEMM on Fermi and Kepler GPUs · Junjie Lai, André Seznec
22. Pertinent path profiling: Tracking interactions among relevant statements · Ramshankar Chouhan, Subhajit Roy, Surender Baswana
23. Portable mapping of data parallel programs to OpenCL for heterogeneous systems · Dominik Grewe, Zheng Wang, Michael F. P. O'Boyle
24. Practical lock/unlock pairing for concurrent programs · Hyoun Kyu Cho, Terence Kelly, Yin Wang, Stéphane Lafortune, Hongwei Liao, Scott A. Mahlke
25. Profile-guided automated software diversity · Andrei Homescu, Steven Neisius, Per Larsen, Stefan Brunthaler, Michael Franz
26. Profmig: A framework for flexible migration of program profiles across software versions · Mingzhou Zhou, Bo Wu, Yufei Ding, Xipeng Shen
27. Query-directed adaptive heap cloning for optimizing compilers · Yulei Sui, Yue Li, Jingling Xue
28. Runtime dependence computation and execution of loops on heterogeneous systems · Jayvant Anantpur, R. Govindarajan
29. SIMD parallelization of applications that traverse irregular data structures · Bin Ren, Gagan Agrawal, James R. Larus, Todd Mytkowicz, Tomi Poutanen, Wolfram Schulte
30. Schnauzer: scalable profiling for likely security bug sites · William Arthur, Biruk Mammo, Ricardo Rodríguez Jorge, Todd M. Austin, Valeria Bertacco
31. Skadu: Efficient vector shadow memories for poly-scopic program analysis · Donghwan Jeon, Saturnino Garcia, Michael Bedford Taylor
32. Smart, adaptive mapping of parallelism in the presence of external workload · Murali Krishna Emani, Zheng Wang, Michael F. P. O'Boyle
33. Vlock: Lock virtualization mechanism for exploiting fine-grained parallelism in graph traversal algorithms · Jie Yan, Guangming Tan, Xiuxia Zhang, Erlin Yao, Ninghui Sun