Generating SIMD Vectorized Permutations
Abstract elided by the publisher.
673 papers · page 17 of 34
Efficiency, Precision, Simplicity, and Generality in Interprocedural Data Flow Analysis: Resurrecting the Classical Call Strings Method
Abstract elided by the publisher.
Control Flow Emulation on Tiled SIMD Architectures
Abstract elided by the publisher.
A System for Generating Static Analyzers for Machine Instructions
Abstract elided by the publisher.
Coqa: Concurrent Objects with Quantized Atomicity
Abstract elided by the publisher.
On the Relative Completeness of Bytecode Analysis Versus Source Code Analysis
Abstract elided by the publisher.
Java Bytecode Verification for @NonNull Types
Abstract elided by the publisher.
Efficient Context-Sensitive Shape Analysis with Graph Based Heap Models
Abstract elided by the publisher.
Automatic Transformation of Bit-Level C Code to Support Multiple Equivalent Data Layouts
Abstract elided by the publisher.
Compiler-Guaranteed Safety in Code-Copying Virtual Machines
Virtual Machine authors face a difficult choice between low performance, cheap interpreters, or specialized and costly compilers. A method able to bridge this wide gap is the existing code-copying technique that reuses chunks of the VM’s binary code to create a simple JIT. This t…
Improved Memory-Access Analysis for x86 Executables
Abstract elided by the publisher.
IDE Dataflow Analysis in the Presence of Large Object-Oriented Libraries
Abstract elided by the publisher.
Design Choices in a Compiler Course or How to Make Undergraduates Love Formal Notation
Abstract elided by the publisher.
Supporting Legacy Binary Code in a Software Transaction Compiler with Dynamic Binary Translation and Optimization
Abstract elided by the publisher.
Visualization of Program Dependence Graphs
Abstract elided by the publisher.
How to Do a Million Watchpoints: Efficient Debugging Using Dynamic Instrumentation
Application debugging is a tedious but inevitable chore in any software development project. An effective debugger can make programmers more productive by allowing them to pause execution and inspect the state of the process, or monitor writes to memory to detect data corruption.…
Accurate Garbage Collection in Uncooperative Environments with Lazy Pointer Stacks
Abstract elided by the publisher.
Obfuscating Java: The Most Pain for the Least Gain
Abstract elided by the publisher.
Program Refactoring, Program Synthesis, and Model-Driven Development
Abstract elided by the publisher.
A Practical Escape and Effect Analysis for Building Lightweight Method Summaries
Abstract elided by the publisher.