334 search results - page 40 / 67 » MDL: A Language and Compiler for Dynamic Program Instrumenta... |
97
Voted
APLAS
2005
ACM
15 years 6 months ago
2005
ACM
This paper presents a novel method to construct a dynamic single assignment (DSA) form of array-intensive, pointer-free C programs (or in any other procedural language). A program ...
96
Voted
POPL
1994
ACM
15 years 4 months ago
1994
ACM
Modern computer architectures increasingly depend on mechanisms that estimate future control flow decisions to increase performance. Mechanisms such as speculative execution and p...
ECOOP
2008
Springer
15 years 2 months ago
2008
Springer
This paper demonstrates the impact of integrating session types and object-oriented programming, through their implementation in Java. Seses provide high-level abstraction for stru...
73
Voted
CGO
2008
IEEE
15 years 7 months ago
2008
IEEE
In this paper we investigate the benefit of scheduling non-critical loads for a higher latency during software pipelining. "Noncritical" denotes those loads that have s...
CSFW
2010
IEEE
15 years 4 months ago
2010
IEEE
—This paper seeks to answer fundamental questions about trade-offs between static and dynamic security analysis. It has been previously shown that flow-sensitive static informat...