41 search results - page 4 / 9 » Translating Out of Static Single Assignment Form |
136
Voted
ICST
2009
IEEE
14 years 9 months ago
2009
IEEE
Euclide is a new Constraint-Based Testing tool for verifying safety-critical C programs. By using a mixture of symbolic and numerical analyses (namely static single assignment for...
CGO
2010
IEEE
15 years 6 months ago
2010
IEEE
The linear scan algorithm for register allocation provides a good register assignment with a low compilation overhead and is thus frequently used for just-in-time compilers. Altho...
119
click to vote
MICRO
2003
IEEE
15 years 4 months ago
2003
IEEE
A virtual instruction set architecture (V-ISA) implemented via a processor-specific software translation layer can provide great flexibility to processor designers. Recent examp...
133
click to vote
VEE
2006
ACM
15 years 5 months ago
2006
ACM
We present a just-in-time compiler for a Java VM that is small enough to fit on resource-constrained devices, yet is surprisingly effective. Our system dynamically identifies tr...
111
Voted
PLDI
1993
ACM
15 years 3 months ago
1993
ACM
Program analysis and optimizationcan be speeded upthrough the use of the dependence flow graph (DFG), a representation of program dependences which generalizes def-use chains and...