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
|
Milind Chabbi, Xu Liu, John M. Mellor-Crummey |
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
|
Shuhan Ding, John Earnest, Soner Önder |
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
|