Abhishek Rose

According to our database, Abhishek Rose authored at least 3 papers between 2020 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2024

Modeling Dynamic (De)Allocations of Local Memory for Translation Validation.

Abhishek Rose, Sorav Bansal

CoRR, 2024

2022

Automatic Generation of Debug Headers through BlackBox Equivalence Checking.

Vaibhav Kiran Kurhe, Pratik Karia, Shubhani Gupta, Abhishek Rose, Sorav Bansal

Proceedings of the IEEE/ACM International Symposium on Code Generation and Optimization, 2022

2020

Counterexample-guided correlation algorithm for translation validation.

Shubhani Gupta, Abhishek Rose, Sorav Bansal

Proc. ACM Program. Lang., 2020