Author:
Karfa Chandan,Banerjee Kunal,Sarkar Dipankar,Mandal Chittaranjan
Publisher
Institute of Electrical and Electronics Engineers (IEEE)
Subject
Electrical and Electronic Engineering,Computer Graphics and Computer-Aided Design,Software
Cited by
16 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Self-Supervised Learning to Prove Equivalence Between Straight-Line Programs via Rewrite Rules;IEEE Transactions on Software Engineering;2023-07
2. End-to-end translation validation for the halide language;Proceedings of the ACM on Programming Languages;2022-04-29
3. Verification of parallelising transformations of KPN models;IET Cyber-Physical Systems: Theory & Applications;2019-05-20
4. Automatic detection of inverse operations while avoiding loop unrolling;Proceedings of the 40th International Conference on Software Engineering: Companion Proceeedings;2018-05-27
5. Validation of parallelizing transformations of sequential programs;Concurrency and Computation: Practice and Experience;2017-01-23