Authors

Kodamballi, Shashi

Conference

SIGDA PhD Forum at Design Automation Conference (DAC)

Title

Functional equivalence checking for verification of transformations on array-intensive programs

Publication type

Oral presentation