IEEE/ACM International Symposium on Code Generation and Optimization, CGO 2017


Title/Authors Title Research Artifacts
[?] A research artifact is any by-product of a research project that is not directly included in the published research paper. In Computer Science research this is often source code and data sets, but it could also be media, documentation, inputs to proof assistants, shell-scripts to run experiments, etc.
Details

Optimistic loop optimization

Johannes Doerfert, Tobias Grosser, Sebastian Hack

Optimistic loop optimization

Details
Artifacts for some papers are reviewed by an artifact evaluation, reproducibility, or similarly named committee. This is one such paper that passed review.
Artifact evaluation badge awarded
Author Comments:
Discussion Comments: 0
Sharing: Research produced artifacts
Verification: Authors have verified information

Minimizing the cost of iterative compilation with active learning

William F. Ogilvie, Pavlos Petoumenos, Zheng Wang, Hugh Leather

Minimizing the cost of iterative compilation with active learning

Details
Discussion Comments: 0
Verification: Authors have not verified information

ThinLTO: scalable and incremental LTO

Teresa Johnson, Mehdi Amini, Xinliang David Li

ThinLTO: scalable and incremental LTO

Details
Discussion Comments: 0
Verification: Authors have not verified information

Parallel associative reductions in halide

Patricia Suriana, Andrew Adams, Shoaib Kamil

Parallel associative reductions in halide

Details
Discussion Comments: 0
Verification: Authors have not verified information

Taming warp divergence

Jayvant Anantpur, R. Govindarajan

Taming warp divergence

Details
Artifacts for some papers are reviewed by an artifact evaluation, reproducibility, or similarly named committee. This is one such paper that passed review.
Artifact evaluation badge awarded
Discussion Comments: 0
Verification: Authors have not verified information

A collaborative dependence analysis framework

Nick P. Johnson, Jordan Fix, Stephen R. Beard, Taewook Oh, Thomas B. Jablin, David I. August

A collaborative dependence analysis framework

Details
Discussion Comments: 0
Verification: Authors have not verified information

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, Kiyoung Choi

A space- and energy-efficient code Compression/Decompression technique for coarse-grained reconfigurable architectures

Details
Artifacts for some papers are reviewed by an artifact evaluation, reproducibility, or similarly named committee. This is one such paper that passed review.
Artifact evaluation badge awarded
Discussion Comments: 0
Verification: Authors have not verified information

Dynamic buffer overflow detection for GPGPUs

Christopher Erb, Mike Collins, Joseph L. Greathouse

Dynamic buffer overflow detection for GPGPUs

Details
Discussion Comments: 0
Verification: Authors have not verified information

Synthesizing benchmarks for predictive modeling

Chris Cummins, Pavlos Petoumenos, Zheng Wang, Hugh Leather

Synthesizing benchmarks for predictive modeling

Details
Artifacts for some papers are reviewed by an artifact evaluation, reproducibility, or similarly named committee. This is one such paper that passed review.
Artifact evaluation badge awarded
Discussion Comments: 0
Verification: Authors have not verified information

Characterizing data organization effects on heterogeneous memory architectures

Apan Qasem, Ashwin M. Aji, Gregory Rodgers

Characterizing data organization effects on heterogeneous memory architectures

Details
Discussion Comments: 0
Verification: Authors have not verified information

Incremental whole program optimization and compilation

Patrick W. Sathyanathan, Wenlei He, Ten H. Tzen

Incremental whole program optimization and compilation

Details
Discussion Comments: 0
Verification: Authors have not verified information

Phase-aware optimization in approximate computing

Subrata Mitra, Manish K. Gupta, Sasa Misailovic, Saurabh Bagchi

Phase-aware optimization in approximate computing

Details
Discussion Comments: 0
Verification: Authors have not verified information

FinePar: irregularity-aware fine-grained workload partitioning on integrated architectures

Feng Zhang, Bo Wu, Jidong Zhai, Bingsheng He, Wenguang Chen

FinePar: irregularity-aware fine-grained workload partitioning on integrated architectures

Details
Artifacts for some papers are reviewed by an artifact evaluation, reproducibility, or similarly named committee. This is one such paper that passed review.
Artifact evaluation badge awarded
Discussion Comments: 0
Verification: Authors have not verified information

Legato: end-to-end bounded region serializability using commodity hardware transactional memory

Aritra Sengupta, Man Cao, Michael D. Bond, Milind Kulkarni

Legato: end-to-end bounded region serializability using commodity hardware transactional memory

Details
Artifacts for some papers are reviewed by an artifact evaluation, reproducibility, or similarly named committee. This is one such paper that passed review.
Artifact evaluation badge awarded
Discussion Comments: 0
Verification: Authors have not verified information

Automatic generation of fast BLAS3-GEMM: a portable compiler approach

Xing Su, Xiangke Liao, Jingling Xue

Automatic generation of fast BLAS3-GEMM: a portable compiler approach

Details
Artifacts for some papers are reviewed by an artifact evaluation, reproducibility, or similarly named committee. This is one such paper that passed review.
Artifact evaluation badge awarded
Discussion Comments: 0
Verification: Authors have not verified information

Removing checks in dynamically typed languages through efficient profiling

Gem Dot, Alejandro Martínez, Antonio González

Removing checks in dynamically typed languages through efficient profiling

Details
Discussion Comments: 0
Verification: Authors have not verified information

TwinKernels: an execution model to improve GPU hardware scheduling at compile time

Xiang Gong, Zhongliang Chen, Amir Kavyan Ziabari, Rafael Ubal, David R. Kaeli

TwinKernels: an execution model to improve GPU hardware scheduling at compile time

Details
Artifacts for some papers are reviewed by an artifact evaluation, reproducibility, or similarly named committee. This is one such paper that passed review.
Artifact evaluation badge awarded
Discussion Comments: 0
Verification: Authors have not verified information

Software prefetching for indirect memory accesses

Sam Ainsworth, Timothy M. Jones

Software prefetching for indirect memory accesses

Details
Artifacts for some papers are reviewed by an artifact evaluation, reproducibility, or similarly named committee. This is one such paper that passed review.
Artifact evaluation badge awarded
Author Comments:
Discussion Comments: 0
Sharing: Research produced artifacts
Verification: Authors have verified information

Cross-ISA machine emulation for multicores

Emilio G. Cota, Paolo Bonzini, Alex Bennée, Luca P. Carloni

Cross-ISA machine emulation for multicores

Details
Artifacts for some papers are reviewed by an artifact evaluation, reproducibility, or similarly named committee. This is one such paper that passed review.
Artifact evaluation badge awarded
Discussion Comments: 0
Verification: Authors have not verified information

Formalizing the concurrency semantics of an LLVM fragment

Soham Chakraborty, Viktor Vafeiadis

Formalizing the concurrency semantics of an LLVM fragment

Details
Discussion Comments: 0
Verification: Authors have not verified information

Automatic detection of extended data-race-free regions

Alexandra Jimborean, Jonatan Waern, Per Ekemark, Stefanos Kaxiras, Alberto Ros

Automatic detection of extended data-race-free regions

Details
Discussion Comments: 0
Verification: Authors have not verified information

Optimizing function placement for large-scale data-center applications

Guilherme Ottoni, Bertrand Maher

Optimizing function placement for large-scale data-center applications

Details
Discussion Comments: 0
Verification: Authors have not verified information

Pointer disambiguation via strict inequalities

Maroua Maalej, Vitor Paisante, Pedro Ramos, Laure Gonnord, Fernando Magno Quintão Pereira

Pointer disambiguation via strict inequalities

Details
Artifacts for some papers are reviewed by an artifact evaluation, reproducibility, or similarly named committee. This is one such paper that passed review.
Artifact evaluation badge awarded
Author Comments:
Discussion Comments: 0
Sharing: Research produced artifacts
Verification: Authors have verified information

Discovery and exploitation of general reductions: a constraint based approach

Philip Ginsbach, Michael F. P. O'Boyle

Discovery and exploitation of general reductions: a constraint based approach

Details
Discussion Comments: 0
Verification: Authors have not verified information

Lift: a functional data-parallel IR for high-performance GPU code generation

Michel Steuwer, Toomas Remmelg, Christophe Dubach

Lift: a functional data-parallel IR for high-performance GPU code generation

Details
Artifacts for some papers are reviewed by an artifact evaluation, reproducibility, or similarly named committee. This is one such paper that passed review.
Artifact evaluation badge awarded
Author Comments:
Discussion Comments: 0
Sharing: Research produced artifacts
Verification: Authors have verified information

Clairvoyance: look-ahead compile-time scheduling

Kim-Anh Tran, Trevor E. Carlson, Konstantinos Koukos, Magnus Själander, Vasileios Spiliopoulos, Stefanos Kaxiras, Alexandra Jimborean

Clairvoyance: look-ahead compile-time scheduling

Details
Artifacts for some papers are reviewed by an artifact evaluation, reproducibility, or similarly named committee. This is one such paper that passed review.
Artifact evaluation badge awarded
Discussion Comments: 0
Verification: Authors have not verified information