2 search results - page 1 / 1 » Equality-Based Translation Validator for LLVM |
CAV
2011
Springer
12 years 8 months ago
2011
Springer
We updated our Peggy tool, previously presented in [6], to perform translation validation for the LLVM compiler using a technique called Equality Saturation. We present the tool, a...
PLDI
2011
ACM
12 years 7 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...