Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Chittaranjan Mandal
conf.researchr.org general profile
PLDI 2016 profile
Not registered as user
Name:
Chittaranjan Mandal
Contributions
2016
LCTES
Author of Translation Validation of Loop and Arithmetic Transformations in the Presence of Recurrences within the LCTES-track
Share
x
Tue 28 Oct 00:01