Abhishek Rose

Publication Activity (10 Years)

Years Active: 2020-2024
Publications (10 Years): 4

Top Topics

Interactive Dynamic Influence Diagrams

Computing Power

Query Translation

Top Venues

Proc. ACM Program. Lang.

Publications

Abhishek Rose, Sorav Bansal
Modeling Dynamic (De)Allocations of Local Memory for Translation Validation. Proc. ACM Program. Lang. 8 (OOPSLA1) (2024)
Abhishek Rose, Sorav Bansal
Modeling Dynamic (De)Allocations of Local Memory for Translation Validation. CoRR (2024)
Vaibhav Kiran Kurhe, Pratik Karia, Shubhani Gupta, Abhishek Rose, Sorav Bansal
Automatic Generation of Debug Headers through BlackBox Equivalence Checking. CGO (2022)
Shubhani Gupta, Abhishek Rose, Sorav Bansal
Counterexample-guided correlation algorithm for translation validation. Proc. ACM Program. Lang. 4 (OOPSLA) (2020)