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


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

Accelerating Dynamic Detection of Uses of Undefined Values with Static Value-Flow Analysis

Ding Ye, Yulei Sui, Jingling Xue

Accelerating Dynamic Detection of Uses of Undefined Values with Static Value-Flow Analysis

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

A Basic Linear Algebra Compiler

Daniele G. Spampinato, Markus Püschel

A Basic Linear Algebra Compiler

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

Simplifying Scalable Graph Processing with a Domain-Specific Language

Sungpack Hong, Semih Salihoglu, Jennifer Widom, Kunle Olukotun

Simplifying Scalable Graph Processing with a Domain-Specific Language

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

Software Transactional Memory for GPU Architectures

Yunlong Xu, Rui Wang, Nilanjan Goswami, Tao Li, Lan Gao, Depei Qian

Software Transactional Memory for GPU Architectures

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

Call Paths for Pin Tools

Milind Chabbi, Xu Liu, John M. Mellor-Crummey

Call Paths for Pin Tools

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

Warm-Up Simulation Methodology for HW/SW Co-Designed Processors

Aleksandar Brankovic, Kyriakos Stavrou, Enric Gibert, Antonio González

Warm-Up Simulation Methodology for HW/SW Co-Designed Processors

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

Automated Algorithmic Error Resilience for Structured Grid Problems Based on Outlier Detection

Amoghavarsha Suresh, John Sartori

Automated Algorithmic Error Resilience for Structured Grid Problems Based on Outlier Detection

Details
Author Comments:
Discussion Comments: 0
Sharing: Research produced artifacts
Verification: Authors have verified information

Efficient Mapping of Irregular C++ Applications to Integrated GPUs

Rajkishore Barik, Rashid Kaleem, Deepak Majeti, Brian T. Lewis, Tatiana Shpeisman, Chunling Hu, Yang Ni, Ali-Reza Adl-Tabatabai

Efficient Mapping of Irregular C++ Applications to Integrated GPUs

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

Dynamic and Adaptive Calling Context Encoding

Jianjun Li, Zhenjiang Wang, Chenggang Wu, Wei-Chung Hsu, Di Xu

Dynamic and Adaptive Calling Context Encoding

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

DrDebug: Deterministic Replay based Cyclic Debugging with Dynamic Slicing

Yan Wang, Harish Patil, Cristiano Pereira, Gregory Lueck, Rajiv Gupta, Iulian Neamtiu

DrDebug: Deterministic Replay based Cyclic Debugging with Dynamic Slicing

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

Estimating the Empirical Cost Function of Routines with Dynamic Workloads

Emilio Coppa, Camil Demetrescu, Irene Finocchi, Romolo Marotta

Estimating the Empirical Cost Function of Routines with Dynamic Workloads

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

Optimizing R VM: Allocation Removal and Path Length Reduction via Interpreter-level Specialization

Haichuan Wang, Peng Wu, David A. Padua

Optimizing R VM: Allocation Removal and Path Length Reduction via Interpreter-level Specialization

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

Extending the PCRE Library with Static Backtracking Based Just-in-Time Compilation Support

Zoltán Herczeg

Extending the PCRE Library with Static Backtracking Based Just-in-Time Compilation Support

Details
Discussion Comments: 0
Verification: Author has not verified information

LeakChecker: Practical Static Memory Leak Detection for Managed Languages

Dacong Yan, Guoqing (Harry) Xu, Shengqian Yang, Atanas Rountev

LeakChecker: Practical Static Memory Leak Detection for Managed Languages

Details
Author Comments:
Discussion Comments: 0
Sharing: Not able to share produced artifacts
Verification: Authors have verified information

Partial Escape Analysis and Scalar Replacement for Java

Lukas Stadler, Thomas Würthinger, Hanspeter Mössenböck

Partial Escape Analysis and Scalar Replacement for Java

Details
Author Comments:
Discussion Comments: 0
Sharing: Research produced artifacts
Verification: Authors have verified information

Non-affine Extensions to Polyhedral Code Generation

Anand Venkat, Manu Shantharam, Mary W. Hall, Michelle Mills Strout

Non-affine Extensions to Polyhedral Code Generation

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

DeltaPath: Precise and Scalable Calling Context Encoding

Qiang Zeng, Junghwan Rhee, Hui Zhang, Nipun Arora, Guofei Jiang, Peng Liu

DeltaPath: Precise and Scalable Calling Context Encoding

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

Fine-grained Benchmark Subsetting for System Selection

Pablo de Oliveira Castro, Yuriy Kashnikov, Chadi Akel, Mihail Popov, William Jalby

Fine-grained Benchmark Subsetting for System Selection

Details
Author Comments:
Discussion Comments: 0
Sharing: Research produced artifacts
Verification: Authors have verified information

Adaptive Mapping and Parameter Selection Scheme to Improve Automatic Code Generation for GPUs

Juan Carlos Juega, José Ignacio Gómez, Christian Tenllado, Francky Catthoor

Adaptive Mapping and Parameter Selection Scheme to Improve Automatic Code Generation for GPUs

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

Portable and Transparent Host-Device Communication Optimization for GPGPU Environments

Christos Margiolas, Michael F. P. O'Boyle

Portable and Transparent Host-Device Communication Optimization for GPGPU Environments

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

WatchdogLite: Hardware-Accelerated Compiler-Based Pointer Checking

Santosh Nagarakatte, Milo M. K. Martin, Steve Zdancewic

WatchdogLite: Hardware-Accelerated Compiler-Based Pointer Checking

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

Hybrid Hexagonal/Classical Tiling for GPUs

Tobias Grosser, Albert Cohen, Justin Holewinski, P. Sadayappan, Sven Verdoolaege

Hybrid Hexagonal/Classical Tiling for GPUs

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

Security Signature Inference for JavaScript-based Browser Addons

Vineeth Kashyap, Ben Hardekopf

Security Signature Inference for JavaScript-based Browser Addons

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

Just-In-Time Software Pipelining

Hongbo Rong, Hyunchul Park, Youfeng Wu, Cheng Wang

Just-In-Time Software Pipelining

Details
Author Comments:
Discussion Comments: 0
Sharing: Not able to share produced artifacts
Verification: Authors have verified information

Static Reference Analysis for GUI Objects in Android Software

Atanas Rountev, Dacong Yan

Static Reference Analysis for GUI Objects in Android Software

Details
Author Comments:
Discussion Comments: 0
Sharing: Research produced artifacts
Verification: Authors have verified information

Fix the code. Don't tweak the hardware: A new compiler approach to Voltage-Frequency scaling

Alexandra Jimborean, Konstantinos Koukos, Vasileios Spiliopoulos, David Black-Schaffer, Stefanos Kaxiras

Fix the code. Don't tweak the hardware: A new compiler approach to Voltage-Frequency scaling

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

Fluidic Kernels: Cooperative Execution of OpenCL Programs on Multiple Heterogeneous Devices

Prasanna Pandit, R. Govindarajan

Fluidic Kernels: Cooperative Execution of OpenCL Programs on Multiple Heterogeneous Devices

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

Single Assignment Compiler, Single Assignment Architecture: Future Gated Single Assignment Form*; Static Single Assignment with Congruence Classes

Shuhan Ding, John Earnest, Soner Önder

Single Assignment Compiler, Single Assignment Architecture: Future Gated Single Assignment Form*; Static Single Assignment with Congruence Classes

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

Red Fox: An Execution Environment for Relational Query Processing on GPUs

Haicheng Wu, Gregory F. Diamos, Tim Sheard, Molham Aref, Sean Baxter, Michael Garland, Sudhakar Yalamanchili

Red Fox: An Execution Environment for Relational Query Processing on GPUs

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