CGO 2017 – Proceedings

2017 IEEE/ACM International Symposium on Code Generation and Optimization (CGO), February 4–8, 2017, Austin, USA

Frontmatter

Report from the Artifact Evaluation Committee
Article: cgo17foreword-fm006-p (type: Frontmatter) doi:

Main Research Papers

Shared Memory

Legato: End-to-End Bounded Region Serializability Using Commodity Hardware Transactional Memory
Aritra Sengupta, Man Cao, Michael D. Bond, and Milind Kulkarni
(Ohio State University, USA; Purdue University, USA)
Article: cgo17main-main74-p (type: Full Paper (10 pages of text + 2 pages AE + references)) doi:

Automatic Detection of Extended Data-Race-Free Regions
Alexandra Jimborean, Jonatan Waern, Per Ekemark, Stefanos Kaxiras, and Alberto Ros
(Uppsala University, Sweden; University of Murcia, Spain)
Article: cgo17main-main44-p (type: Full Paper) doi:

FinePar: Irregularity-Aware Fine-Grained Workload Partitioning on Integrated Architectures
Feng Zhang, Bo Wu, Jidong Zhai, Bingsheng He, and Wenguang Chen
(Tsinghua University, China; Colorado School of Mines, USA; National University of Singapore, Singapore)
Article: cgo17main-main34-p (type: Full Paper (10 pages of text + 2 pages AE + references)) doi:

GPU Optimization

TwinKernels: An Execution Model to Improve GPU Hardware Scheduling at Compile Time
Xiang Gong, Zhongliang Chen, Amir Kavyan Ziabari, Rafael Ubal, and David Kaeli
(Northeastern University, USA)
Article: cgo17main-main50-p (type: Full Paper (10 pages of text + 2 pages AE + references)) doi:

Taming Warp Divergence
Jayvant Anantpur and R. Govindarajan
(IISc Bangalore, India)
Article: cgo17main-main81-p (type: Full Paper (10 pages of text + 2 pages AE + references)) doi:

Dynamic Buffer Overflow Detection for GPGPUs
Christopher Erb, Mike Collins, and Joseph L. Greathouse
(AMD Research, USA)
Article: cgo17main-main31-p (type: Full Paper) doi:

Lift: A Functional Data-Parallel IR for High-Performance GPU Code Generation
Michel Steuwer, Toomas Remmelg, and Christophe Dubach
(University of Edinburgh, UK)
Article: cgo17main-main120-p (type: Full Paper (10 pages of text + 2 pages AE + references)) doi:

Best Paper Nominees

Synthesizing Benchmarks for Predictive Modeling
Chris Cummins, Pavlos Petoumenos, Zheng Wang, and Hugh Leather
(University of Edinburgh, UK; Lancaster University, UK)
Article: cgo17main-main38-p (type: Full Paper (10 pages of text + 2 pages AE + references)) doi:

Formalizing the Concurrency Semantics of an LLVM Fragment
Soham Chakraborty and Viktor Vafeiadis
(MPI-SWS, Germany)
Article: cgo17main-main84-p (type: Full Paper) doi:

ThinLTO: Scalable and Incremental LTO
Teresa Johnson, Mehdi Amini, and Xinliang David Li
(Google, USA; Apple, USA)
Article: cgo17main-main139-p (type: Full Paper) doi:

Automatic Generation of Fast BLAS3-GEMM: A Portable Compiler Approach
Xing Su, Xiangke Liao, and Jingling Xue
(National University of Defense Technology, China; UNSW, Australia)
Article: cgo17main-main161-p (type: Full Paper (10 pages of text + 2 pages AE + references)) doi:

Memory Dependencies

Pointer Disambiguation via Strict Inequalities
Maroua Maalej, Vitor Paisante, Pedro Ramos, Laure Gonnord, and Fernando Magno Quintão Pereira
(University of Lyon, France; LIP, France; Federal University of Minas Gerais, Brazil)
Article: cgo17main-main13-p (type: Full Paper (10 pages of text + 2 pages AE + references)) doi:

A Collaborative Dependence Analysis Framework
Nick P. Johnson, Jordan Fix, Stephen R. Beard, Taewook Oh, Thomas B. Jablin, and David I. August
(Princeton University, USA; University of Illinois at Urbana-Champaign, USA; Multicoreware, USA)
Article: cgo17main-main59-p (type: Full Paper) doi:

Characterizing Data Organization Effects on Heterogeneous Memory Architectures
Apan Qasem, Ashwin M. Aji, and Gregory Rodgers
(Texas State University, USA; AMD Research, USA)
Article: cgo17main-main78-p (type: Full Paper) doi:

Accelerators and Binary Translation

Clairvoyance: Look-Ahead Compile-Time Scheduling
Kim-Anh Tran, Trevor E. Carlson, Konstantinos Koukos, Magnus Själander, Vasileios Spiliopoulos, Stefanos Kaxiras, and Alexandra Jimborean
(Uppsala University, Sweden; Norwegian University of Science and Technology, Norway)
Article: cgo17main-main1-p (type: Full Paper (10 pages of text + 2 pages AE + references)) doi:

Phase-Aware Optimization in Approximate Computing
Subrata Mitra, Manish K. Gupta, Sasa Misailovic, and Saurabh Bagchi
(Purdue University, USA; Microsoft, USA; University of Illinois at Urbana-Champaign, USA)
Article: cgo17main-main36-p (type: Full Paper) doi:

A Space- and Energy-Efficient Code Compression/Decompression Technique for Coarse-Grained Reconfigurable Architectures
Bernhard Egger, Hochan Lee, Duseok Kang, Mansureh S. Moghaddam, Youngchul Cho, Yeonbok Lee, Sukjin Kim, Soonhoi Ha, and Kiyoung Choi
(Seoul National University, South Korea; Samsung Electronics, South Korea)
Article: cgo17main-main150-p (type: Full Paper (10 pages of text + 2 pages AE + references)) doi:

Cross-ISA Machine Emulation for Multicores
Emilio G. Cota, Paolo Bonzini, Alex Bennée, and Luca P. Carloni
(Columbia University, USA; Red Hat, Italy; Linaro, UK)
Article: cgo17main-main2-p (type: Full Paper (10 pages of text + 2 pages AE + references)) doi:

Feedback Directed and Whole Program Optimization

Incremental Whole Program Optimization and Compilation
Patrick W. Sathyanathan, Wenlei He, and Ten H. Tzen
(Microsoft, USA)
Article: cgo17main-main71-p (type: Full Paper) doi:

Optimizing Function Placement for Large-Scale Data-Center Applications
Guilherme Ottoni and Bertrand Maher
(Facebook, USA)
Article: cgo17main-main117-p (type: Full Paper) doi:

Minimizing the Cost of Iterative Compilation with Active Learning
William F. Ogilvie, Pavlos Petoumenos, Zheng Wang, and Hugh Leather
(University of Edinburgh, UK; Lancaster University, UK)
Article: cgo17main-main99-p (type: Full Paper) doi:

Removing Checks in Dynamically Typed Languages through Efficient Profiling
Gem Dot, Alejandro Martínez, and Antonio González
(Universitat Politècnica de Catalunya, Spain; ARM, UK)
Article: cgo17main-main33-p (type: Full Paper) doi:

Reductions and Loops

Discovery and Exploitation of General Reductions: A Constraint Based Approach
Philip Ginsbach and Michael F. P. O'Boyle
(University of Edinburgh, UK)
Article: cgo17main-main123-p (type: Full Paper) doi:

Parallel Associative Reductions in Halide
Patricia Suriana, Andrew Adams, and Shoaib Kamil
(Google, USA; Adobe, USA)
Article: cgo17main-main72-p (type: Full Paper) doi:

Optimistic Loop Optimization
Johannes Doerfert, Tobias Grosser, and Sebastian Hack
(Saarland University, Germany; ETH Zurich, Switzerland)
Article: cgo17main-main103-p (type: Full Paper (10 pages of text + 2 pages AE + references)) doi:

Software Prefetching for Indirect Memory Accesses
Sam Ainsworth and Timothy M. Jones
(University of Cambridge, UK)
Article: cgo17main-main12-p (type: Full Paper (10 pages of text + 2 pages AE + references)) doi: