Translation Validation of Loop Invariant Code Optimizations Involving False Computations - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Ramanuj Chouksey, Chandan Karfa, Purandar Bhaduri. Translation Validation of Loop Invariant Code Optimizations Involving False Computations. In Brajesh Kumar Kaushik, Sudeb Dasgupta, Virendra Singh, editors, VLSI Design and Test - 21st International Symposium, VDAT 2017, Roorkee, India, June 29 - July 2, 2017, Revised Selected Papers. Volume 711 of Communications in Computer and Information Science, pages 767-778, Springer, 2017. [doi]

This author has not been identified. Look up 'Ramanuj Chouksey' in GoogleThis author has not been identified. Look up 'Chandan Karfa' in GoogleThis author has not been identified. Look up 'Purandar Bhaduri' in Google

runs on WebDSL