CC
2008
Springer
14 years 1 months ago
2008
Springer
Abstract. This paper introduces a method to generate efficient vectorized implementations of small stride permutations using only vector load and vector shuffle instructions. These...
CC
2008
Springer
14 years 1 months ago
2008
Springer
Abstract. A key scalability challenge for interprocedural dataflow analysis comes from large libraries. Our work addresses this challenge for the general category of interprocedura...
CC
2008
Springer
14 years 1 months ago
2008
Springer
Portable low-level C programs must often support multiple equivalent in-memory layouts of data, due to the byte or bit order of the compiler, architecture, or external data formats...
CC
2008
Springer
14 years 1 months ago
2008
Springer
This paper describes the design and implementation of a language for specifying the semantics of an instruction set, along with a run-time system to support the static analysis of ...
CC
2008
Springer
14 years 1 months ago
2008
Springer
Over the last seven years, we have developed static-analysis methods to recover a good approximation to the variables and dynamically allocated memory objects of a stripped executa...
CC
2008
Springer
14 years 1 months ago
2008
Springer
Java's annotation mechanism allows us to extend its type system with non-null types. However, checking such types cannot be done using the existing bytecode verification algor...
CC
2008
Springer
14 years 1 months ago
2008
Springer
CC
2008
Springer
14 years 1 months ago
2008
Springer
This paper introduces a new language model, Coqa, for deeply embedding concurrent programming into objects. Every program written in our language has the desirable behaviors of ato...
CC
2008
Springer
14 years 1 months ago
2008
Springer
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 ex...
CC
2008
Springer
14 years 1 months ago
2008
Springer
