Capturing the Effects of Code Improving Transformations

Comparison checking: an approach to avoid debugging of optimized code

ESEC/FSE-7 Proceedings of the 7th European software engineering conference held jointly with the 7th ACM SIGSOFT international symposium on Foundations of software engineering

Automatic validation of code-improving transformations on low-level program representations

Science of Computer Programming - Special issue on program transformation

Dimension: an instrumentation tool for virtual execution environments

Proceedings of the 2nd international conference on Virtual execution environments

Into the Loops: Practical Issues in Translation Validation for Optimizing Compilers

Electronic Notes in Theoretical Computer Science (ENTCS)

Transforming flow information during code optimization for timing analysis

Real-Time Systems

Finding basic block and variable correspondence

SAS'05 Proceedings of the 12th international conference on Static Analysis