Browsing by Author "Kodamballi, Shashi"
Now showing 1 - 7 of 7
- Results Per Page
- Sort Options
Publication Automatic verification of algebraic transformations
Proceedings paper2004, Program Acceleration through Application and Architecture driven Code Transformations - PA3CT, 13/09/2004, p.59-61Publication Dynamic single assignment in action
Publication Efficient automatic verification of loop and data-flow transformations by functional equivalence checking
Kodamballi, ShashiPHD thesis2008-05Publication Functional equivalence checking for verification of algebraic transformations on array-intensive source code
Proceedings paper2005-03, Proceedings of the Design, Automation and Test in Europe Conference and Exhibition - DATE, 7/03/2005, p.1310-1315Publication Functional equivalence checking for verification of transformations on array-intensive programs
Kodamballi, ShashiOral presentation2005, SIGDA PhD Forum at Design Automation Conference (DAC)Publication Verification of source code transformations by program equivalence checking
Proceedings paper2005-04, Compiler Construction, 14th International Conference, 2/04/2005, p.221-236