Counterexample-guided correlation algorithm for translation validation. - Shubhani Gupta; Abhishek Rose; Sorav Bansal (Proc. ACM Program. Lang., 2020)

Automatic Generation of Debug Headers through BlackBox Equivalence Checking. - Vaibhav Kiran Kurhe; Pratik Karia; Shubhani Gupta; Abhishek Rose; Sorav Bansal (CGO, 2022)

Modeling Dynamic (De)Allocations of Local Memory for Translation Validation. - Abhishek Rose; Sorav Bansal (Proc. ACM Program. Lang., 2024)