Vaibhav Kiran Kurhe, Pratik Karia, Shubhani Gupta, Abhishek Rose, Sorav Bansal. Automatic Generation of Debug Headers through BlackBox Equivalence Checking. In Jae W. Lee, Sebastian Hack, Tatiana Shpeisman, editors, IEEE/ACM International Symposium on Code Generation and Optimization, CGO 2022, Seoul, Korea, Republic of, April 2-6, 2022. pages 144-154, IEEE, 2022. [doi]
@inproceedings{KurheKGRB22,
title = {Automatic Generation of Debug Headers through BlackBox Equivalence Checking},
author = {Vaibhav Kiran Kurhe and Pratik Karia and Shubhani Gupta and Abhishek Rose and Sorav Bansal},
year = {2022},
doi = {10.1109/CGO53902.2022.9741273},
url = {https://doi.org/10.1109/CGO53902.2022.9741273},
researchr = {https://researchr.org/publication/KurheKGRB22},
cites = {0},
citedby = {0},
pages = {144-154},
booktitle = {IEEE/ACM International Symposium on Code Generation and Optimization, CGO 2022, Seoul, Korea, Republic of, April 2-6, 2022},
editor = {Jae W. Lee and Sebastian Hack and Tatiana Shpeisman},
publisher = {IEEE},
isbn = {978-1-6654-0584-3},
}