Sign in
Abhishek Rose
Publication Activity (10 Years)
Years Active: 2020-2022
Publications (10 Years): 2
Top Topics
Temporal Planner
Classification Algorithm
Interactive Dynamic Influence Diagrams
Top Venues
Proc. ACM Program. Lang.
CGO
</>
Publications
</>
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)