Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Abhishek Rose
conf.researchr.org general profile
CGO 2022 profile
PLDI 2022 profile
SPLASH 2020 profile
SPLASH 2024 profile
Not registered as user
Name:
Abhishek Rose
Affiliation:
IIT Delhi
Contributions
2024
SPLASH
Author of Modeling Dynamic (De)Allocations of Local Memory for Translation Validation within the OOPSLA 2024-track
2022
PLDI
Author of (OOPSLA 2020) Counterexample-Guided Correlation Algorithm for Translation Validation within the SIGPLAN Track-track
CGO
Author of Automatic Generation of Debug Headers through BlackBox Equivalence Checking within the Main Conference-track
2020
SPLASH
Author of Counterexample-Guided Correlation Algorithm for Translation Validation within the OOPSLA-track
Author of Counterexample-Guided Correlation Algorithm for Translation Validation within the OOPSLA Artifacts-track
Share
x
Wed 3 Sep 10:36