Using Inter-Procedural Side-Effect Information in JIT Optimizations
Abstract elided by the publisher.
673 papers · page 20 of 34
A Compiler-Based Approach to Data Security
Abstract elided by the publisher.
Jazz: A Tool for Demand-Driven Structural Testing
Abstract elided by the publisher.
Composing Source-to-Source Data-Flow Transformations with Rewriting Strategies and Dependent Dynamic Rewrite Rules
Abstract elided by the publisher.
Compilation of Generic Regular Path Expressions Using C++ Class Templates
Abstract elided by the publisher.
Age-Oriented Concurrent Garbage Collection
Abstract elided by the publisher.
An Efficient On-the-Fly Cycle Collection
Abstract elided by the publisher.
A Study of Type Analysis for Speculative Method Inlining in a JIT Environment
Abstract elided by the publisher.
Source-Level Debugging for Multiple Languages with Modest Programming Effort
We present techniques that enable source-level debugging for multiple languages at the cost of only modest programming effort. The key idea is to avoid letting debugging requirements constrain the internal structure of the compiler. Constraints are minimized primarily by hiding t…
Optimizing C Multithreaded Memory Management Using Thread-Local Storage
Abstract elided by the publisher.
Verification of Source Code Transformations by Program Equivalence Checking
Abstract elided by the publisher.
Experiences with Enumeration of Integer Projections of Parametric Polytopes
Abstract elided by the publisher.
Completeness Analysis for Incomplete Object-Oriented Programs
Abstract elided by the publisher.
When Abstraction Fails
Abstract elided by the publisher.
Analyzing Memory Accesses in x86 Executables
Abstract elided by the publisher.
Region-Based Partial Dead Code Elimination on Predicated Code
Abstract elided by the publisher.
Data Dependence Profiling for Speculative Optimizations
Abstract elided by the publisher.
The Limits of Alias Analysis for Scalar Optimizations
Abstract elided by the publisher.
A Symbolic Approach to Bernstein Expansion for Program Analysis and Optimization
Abstract elided by the publisher.
Using Multiple Memory Access Instructions for Reducing Code Size
Abstract elided by the publisher.