14 search results - page 1 / 3 » VOC: A Translation Validator for Optimizing Compilers |
ENTCS
2002
13 years 5 months ago
2002
ENTCS
2002
13 years 5 months ago
2002
The paper presents approaches to the validation of optimizing compilers. The emphasis is on aggressive and architecture-targeted optimizations which try to obtain the highest perf...
PLDI
2000
ACM
13 years 10 months ago
2000
ACM
We describe a translation validation infrastructure for the GNU C compiler. During the compilation the infrastructure compares the intermediate form of the program before and afte...
POPL
2008
ACM
14 years 5 months ago
2008
ACM
Translation validation consists of transforming a program and a posteriori validating it in order to detect a modification of its semantics. This approach can be used in a verifie...
PLDI
2011
ACM
12 years 8 months ago
2011
ACM
Translation validators are static analyzers that attempt to verify that program transformations preserve semantics. Normalizing translation validators do so by trying to match the...