Security Signature Inference for JavaScript-based Browser Addons

Vineeth Kashyap, Ben Hardekopf

Dynamic and Adaptive Calling Context Encoding

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

Portable and Transparent Host-Device Communication Optimization for GPGPU Environments

Christos Margiolas, Michael F. P. O'Boyle

WatchdogLite: Hardware-Accelerated Compiler-Based Pointer Checking

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

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

Prasanna Pandit, R. Govindarajan

Just-In-Time Software Pipelining

Hongbo Rong, Hyunchul Park, Youfeng Wu, Cheng Wang

Static Reference Analysis for GUI Objects in Android Software

Atanas Rountev, Dacong Yan

A Basic Linear Algebra Compiler

Daniele G. Spampinato, Markus Püschel

Partial Escape Analysis and Scalar Replacement for Java

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

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

Amoghavarsha Suresh, John Sartori

Non-affine Extensions to Polyhedral Code Generation

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

DrDebug: Deterministic Replay based Cyclic Debugging with Dynamic Slicing

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

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

Haichuan Wang, Peng Wu, David A. Padua

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

Software Transactional Memory for GPU Architectures

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

LeakChecker: Practical Static Memory Leak Detection for Managed Languages

Dacong Yan, Guoqing Xu, Shengqian Yang, Atanas Rountev

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

Ding Ye, Yulei Sui, Jingling Xue

DeltaPath: Precise and Scalable Calling Context Encoding

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

Runtime dependence computation and execution of loops on heterogeneous systems

Jayvant Anantpur, R. Govindarajan

GPUs have been used for parallel execution of DOALL loops. However, loops with indirect array references can potentially cause cross iteration dependences which are hard to detect using existing compilation techniques. Applications with such loops cannot easily use the GPU and he…

Schnauzer: scalable profiling for likely security bug sites

William Arthur, Biruk Mammo, Ricardo Rodríguez Jorge, Todd M. Austin, Valeria Bertacco

Software bugs comprise the greatest threat to computer security today. Though enormous effort has been expended on eliminating security exploits, contemporary testing techniques are insufficient to deliver software free of security vulnerabilities. In this paper we propose a nove…