Abhishek Rose -

Not registered as user yet

Name:Abhishek Rose

Affiliation:IIT Delhi

Contributions

PLDI 2022	Author of (OOPSLA 2020) Counterexample-Guided Correlation Algorithm for Translation Validation within the SIGPLAN Track-track
CGO 2022	Author of Automatic Generation of Debug Headers through BlackBox Equivalence Checking within the Main Conference-track
SPLASH 2020	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