Author:
Karfa C.,Banerjee K.,Sarkar D.,Mandal C.
Cited by
8 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. An Equivalence Checking Framework for Array-Intensive Programs;Automated Technology for Verification and Analysis;2017
2. Translation validation of loop and arithmetic transformations in the presence of recurrences;ACM SIGPLAN Notices;2016-08
3. Translation validation of loop and arithmetic transformations in the presence of recurrences;Proceedings of the 17th ACM SIGPLAN/SIGBED Conference on Languages, Compilers, Tools, and Theory for Embedded Systems;2016-06-13
4. Data-race detection: the missing piece for an end-to-end semantic equivalence checker for parallelizing transformations of array-intensive programs;Proceedings of the 3rd ACM SIGPLAN International Workshop on Libraries, Languages, and Compilers for Array Programming;2016-06-02
5. An Enhanced Equivalence Checking Method to Handle Bugs in Programs with Recurrences;Proceedings of the 11th International Conference on Evaluation of Novel Software Approaches to Software Engineering;2016