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

Automatically exploiting cross-invocation parallelism using runtime information (Abstract)

Jialu Huang , Princeton Univ., Princeton, NJ, USA
T. B. Jablin , Princeton Univ., Princeton, NJ, USA
S. R. Beard , Princeton Univ., Princeton, NJ, USA
N. P. Johnson , Princeton Univ., Princeton, NJ, USA
D. I. August , Princeton Univ., Princeton, NJ, USA
pp. 1-11

A polynomial spilling heuristic: Layered allocation (Abstract)

B. Diouf , INRIA, Ecole Normale Super. de Paris, Paris, France
A. Cohen , INRIA, Ecole Normale Super. de Paris, Paris, France
F. Rastello , INRIA, Ecole Normale Super. de Paris, Paris, France
pp. 1-10

Just-in-time value specialization (Abstract)

I. Costa , Dept. of Comput. Sci., Fed. Univ. of Minas Gerais (UFMG), Belo Horizonte, Brazil
P. Alves , Dept. of Comput. Sci., Fed. Univ. of Minas Gerais (UFMG), Belo Horizonte, Brazil
H. N. Santos , Dept. of Comput. Sci., Fed. Univ. of Minas Gerais (UFMG), Belo Horizonte, Brazil
F. M. Q. Pereira , Dept. of Comput. Sci., Fed. Univ. of Minas Gerais (UFMG), Belo Horizonte, Brazil
pp. 1-11

Defensive loop tiling for shared cache (Abstract)

Chen Ding , Dept. of Comput. Sci., Univ. of Rochester, Rochester, NY, USA
pp. 1-11

Locality-aware mapping and scheduling for multicores (Abstract)

Wei Ding , Pennsylvania State Univ., University Park, PA, USA
Yuanrui Zhang , Pennsylvania State Univ., University Park, PA, USA
M. Kandemir , Pennsylvania State Univ., University Park, PA, USA
J. Srinivas , Pennsylvania State Univ., University Park, PA, USA
P. Yedlapalli , Pennsylvania State Univ., University Park, PA, USA
pp. 1-12

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
98 ms
(Ver )