Jiawang Wei
Univ. of Karlsruhe, Karlsruhe, Germany
Guaranteed Optimization: Proving Nullspace Properties of Compilers
SAS '02 Proceedings of the 9th International Symposium on Static Analysis