We describe a scalable and general-purpose framework for auto-tuning compiler-generated
code. We combine Active Harmony's parallel search backend with the CHiLL compiler …

This paper describes a general and robust loop transformation framework that enables
compilers to generate efficient code on complex loop nests. Despite two decades of prior …

Recently SQL injection attack (SIA) has become a major threat to Web applications. Via
carefully crafted user input, attackers can expose or manipulate the back-end database of a …

Static analysis of programs in weakly typed languages such as C and C++ is generally not
sound because of possible memory errors due to dangling pointer references, uninitialized …

On modern computer systems, the memory performance of an application depends on its
locality. For a single execution, locality-correlated measures like average miss rate or …

The widespread use of object-oriented languages and Internet security concerns are just the
beginning. Add embedded systems, multiple memory banks, highly pipelined units …

Time skewing is a compile-time optimization that can provide arbitrarily high cache hit rates
for a class of iterative calculations, given a sufficient number of time steps and sufficient …

The vision of researchers to create smart environments through the deployment of
thousands of sensors, each with a short range wireless communications channel and …

Traditional approaches to enforcing memory safety of programs rely heavily on runtime
checks of memory accesses and on garbage collection, both of which are unattractive for …

Parallel computers, especially in the form of clusters of standard PCs, have become
reasonably cheap within the last few years. It is an obvious desire to use the increased …