Practical Applications of Compiler Verification Techniques in developing Production Optimizing Compilers
IBM, USA
The compiler optimization and compiler verification community has
spent several decades developing techniques for verifying optimizing
compilers. It is time to communicate these techniques to compiler
developers in a manner which will provide definite improvement in the
compiler quality. To this end, I decided to run an experiment. I am a
developer of optimizing compilers. I will attempt to apply the
existing tools to ensure the correctness of several fragments of a
compiler. I will record my experiences. I will use the results to
suggest areas for research. If the experiment is a success I will use
the information to develop a tutorial that can be used to enlist other
compiler developers in using these techniques.