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
Not registered as user yet
Name:
Abhishek Rose
Affiliation:
IIT Delhi
Contributions
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 27 Sep 16:04