The Community for Technology Leaders
Proceedings of the 2013 IEEE/ACM International Symposium on Code Generation and Optimization (CGO) (2013)
Shenzhen, China China
Feb. 23, 2013 to Feb. 27, 2013
ISBN: 978-1-4673-5524-7
TABLE OF CONTENTS

Query-directed adaptive heap cloning for optimizing compilers (Abstract)

Yulei Sui , Program. Languages & Compilers Group, Univ. of New South Wales, Sydney, NSW, Australia
Yue Li , Program. Languages & Compilers Group, Univ. of New South Wales, Sydney, NSW, Australia
Jingling Xue , Program. Languages & Compilers Group, Univ. of New South Wales, Sydney, NSW, Australia
pp. 1-11

Pertinent path profiling: Tracking interactions among relevant statements (Abstract)

R. Chouhan , Dept. of Comput. Sci. & Eng., Indian Inst. of Technol. Kanpur, Kanpur, India
S. Roy , Dept. of Comput. Sci. & Eng., Indian Inst. of Technol. Kanpur, Kanpur, India
S. Baswana , Dept. of Comput. Sci. & Eng., Indian Inst. of Technol. Kanpur, Kanpur, India
pp. 1-12

Profmig: A framework for flexible migration of program profiles across software versions (Abstract)

Mingzhou Zhou , Comput. Sci. Dept., Coll. of William & Mary, Williamsburg, VA, USA
Bo Wu , Comput. Sci. Dept., Coll. of William & Mary, Williamsburg, VA, USA
Yufei Ding , Comput. Sci. Dept., Coll. of William & Mary, Williamsburg, VA, USA
Xipeng Shen , Comput. Sci. Dept., Coll. of William & Mary, Williamsburg, VA, USA
pp. 1-12

Skadu: Efficient vector shadow memories for poly-scopic program analysis (Abstract)

Donghwan Jeon , Dept. of Comput. Sci. & Eng., Univ. of California, San Diego, La Jolla, CA, USA
S. Garcia , Dept. of Comput. Sci. & Eng., Univ. of California, San Diego, La Jolla, CA, USA
Michael Bedford Taylor , Dept. of Comput. Sci. & Eng., Univ. of California, San Diego, La Jolla, CA, USA
pp. 1-12

Performance upper bound analysis and optimization of SGEMM on Fermi and Kepler GPUs (Abstract)

Junjie Lai , INRIA, Sophia-Antipolis, France
A. Seznec , INRIA, Sophia-Antipolis, France
pp. 1-10

Effective fault localization based on minimum debugging frontier set (Abstract)

Feng Li , State Key Lab. of Comput. Archit., Inst. of Comput. Technol., Beijing, China
Wei Huo , State Key Lab. of Comput. Archit., Inst. of Comput. Technol., Beijing, China
Congming Chen , State Key Lab. of Comput. Archit., Inst. of Comput. Technol., Beijing, China
Lujie Zhong , State Key Lab. of Comput. Archit., Inst. of Comput. Technol., Beijing, China
Xiaobing Feng , State Key Lab. of Comput. Archit., Inst. of Comput. Technol., Beijing, China
Zhiyuan Li , Dept. of Comput. Sci., Purdue Univ., West Lafayette, IN, USA
pp. 1-10

SIMD parallelization of applications that traverse irregular data structures (Abstract)

B. Ren , Dept. of Comput. Sci. & Eng., Ohio State Univ., Columbus, OH, USA
G. Agrawal , Dept. of Comput. Sci. & Eng., Ohio State Univ., Columbus, OH, USA
pp. 1-10

Vlock: Lock virtualization mechanism for exploiting fine-grained parallelism in graph traversal algorithms (Abstract)

Jie Yan , State Key Lab. of Comput. Archit., Inst. of Comput. Technol., Beijing, China
Guangming Tan , State Key Lab. of Comput. Archit., Inst. of Comput. Technol., Beijing, China
Xiuxia Zhang , State Key Lab. of Comput. Archit., Inst. of Comput. Technol., Beijing, China
Erlin Yao , State Key Lab. of Comput. Archit., Inst. of Comput. Technol., Beijing, China
Ninghui Sun , State Key Lab. of Comput. Archit., Inst. of Comput. Technol., Beijing, China
pp. 1-10

Runtime dependence computation and execution of loops on heterogeneous systems (Abstract)

J. Anantpur , Supercomput. Educ. & Res. Centre, Indian Inst. of Sci., Bangalore, India
R. Govindarajan , Supercomput. Educ. & Res. Centre, Indian Inst. of Sci., Bangalore, India
pp. 1-10

Portable mapping of data parallel programs to OpenCL for heterogeneous systems (Abstract)

D. Grewe , Sch. of Inf., Univ. of Edinburgh, Edinburgh, UK
Zheng Wang , Sch. of Inf., Univ. of Edinburgh, Edinburgh, UK
M. F. P. O'Boyle , Sch. of Inf., Univ. of Edinburgh, Edinburgh, UK
pp. 1-10

Hidp: A hierarchical data parallel language (Abstract)

Yongpeng Zhang , North Carolina State Univ., Raleigh, NC, USA
F. Mueller , North Carolina State Univ., Raleigh, NC, USA
pp. 1-11

Convergence and scalarization for data-parallel architectures (Abstract)

Yunsup Lee , Univ. of California at Berkeley, Berkeley, CA, USA
K. Asanovic , Univ. of California at Berkeley, Berkeley, CA, USA
pp. 1-11

A fast and low-overhead technique to secure programs against integer overflows (Abstract)

R. E. Rodrigues , Dept. of Comput. Sci., Fed. Univ. of Minas Gerais (UFMG), Belo Horizonte, Brazil
Victor Hugo Sperle Campos , Dept. of Comput. Sci., Fed. Univ. of Minas Gerais (UFMG), Belo Horizonte, Brazil
Fernando Magno Quintao Pereira , Dept. of Comput. Sci., Fed. Univ. of Minas Gerais (UFMG), Belo Horizonte, Brazil
pp. 1-11

Profile-guided automated software diversity (Abstract)

A. Homescu , Univ. of California, Irvine, Irvine, CA, USA
S. Neisius , Univ. of California, Irvine, Irvine, CA, USA
P. Larsen , Univ. of California, Irvine, Irvine, CA, USA
S. Brunthaler , Univ. of California, Irvine, Irvine, CA, USA
M. Franz , Univ. of California, Irvine, Irvine, CA, USA
pp. 1-11

Schnauzer: scalable profiling for likely security bug sites (Abstract)

W. Arthur , Adv. Comput. Archit. Lab., Univ. of Michigan, Ann Arbor, MI, USA
B. Mammo , Adv. Comput. Archit. Lab., Univ. of Michigan, Ann Arbor, MI, USA
R. Rodriguez , Adv. Comput. Archit. Lab., Univ. of Michigan, Ann Arbor, MI, USA
T. Austin , Adv. Comput. Archit. Lab., Univ. of Michigan, Ann Arbor, MI, USA
V. Bertacco , Adv. Comput. Archit. Lab., Univ. of Michigan, Ann Arbor, MI, USA
pp. 1-11

On the platform specificity of STM instrumentation mechanisms (Abstract)

Wenjia Ruan , Lehigh Univ., Bethlehem, PA, USA
Yujie Liu , Lehigh Univ., Bethlehem, PA, USA
Chao Wang , Lehigh Univ., Bethlehem, PA, USA
M. Spear , Lehigh Univ., Bethlehem, PA, USA
pp. 1-10
Papers

[Front cover] (Abstract)

pp. 1

[Front cover] (Abstract)

pp. 1

[Copyright notice] (Abstract)

pp. 1

Contributors (Abstract)

pp. 1

Organizing committee (Abstract)

pp. iii

External reviewers (Abstract)

pp. iv

Table of content (Abstract)

pp. v-viii

Author index (Abstract)

pp. 357-359

Smart, adaptive mapping of parallelism in the presence of external workload (Abstract)

M. K. Emani , Sch. of Inf., Univ. of Edinburgh, Edinburgh, UK
Zheng Wang , Sch. of Inf., Univ. of Edinburgh, Edinburgh, UK
M. F. P. O'Boyle , Sch. of Inf., Univ. of Edinburgh, Edinburgh, UK
pp. 1-10
104 ms
(Ver 3.3 (11022016))