Validation of Loop Parallelization and Loop Vectorization Transformations. - Sudakshina Dutta; Dipankar Sarkar 001; Arvind Rawat; Kulwant Singh (ENASE, 2016)

Synchronization Validation for Cross-Thread Dependences in Parallel Programs. - Sudakshina Dutta; Dipankar Sarkar 001; Arvind Rawat (Int. J. Parallel Program., 2017)