Author of the publication

Automatic Validation of Code-Improving Transformations.

, , and . LCTES, volume 1985 of Lecture Notes in Computer Science, page 206-210. Springer, (2000)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Tuning High Performance Kernels through Empirical Compilation., and . ICPP, page 89-98. IEEE Computer Society, (2005)Relating Static and Dynamic Machine Code Measurements., , and . IEEE Trans. Computers, 41 (4): 444-454 (1992)Bounding Pipeline and Instruction Cache Performance., , , , and . IEEE Trans. Computers, 48 (1): 53-70 (1999)Timing Constraint Specification and Analysis., , , , , , and . Softw., Pract. Exper., 29 (1): 77-98 (1999)Quick Compilers Using Peephole Optimization., and . Softw., Pract. Exper., 19 (1): 79-97 (1989)Timing Analysis for Data Caches and Set-Associative Caches., , , , and . IEEE Real Time Technology and Applications Symposium, page 192-202. IEEE Computer Society, (1997)Timing Analysis for Data and Wrap-Around Fill Caches., , , , and . Real-Time Systems, 17 (2-3): 209-233 (1999)Exhaustive Optimization Phase Order Space Exploration., , , and . CGO, page 306-318. IEEE Computer Society, (2006)Enhancing the effectiveness of utilizing an instruction register file., and . IPDPS, page 1-5. IEEE, (2008)Practical way halting by speculatively accessing halt tags., , , , and . DATE, page 1375-1380. IEEE, (2016)