Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Gourav Takhar
conf.researchr.org general profile
ASE 2023 profile
CC 2022 profile
ICFP/SPLASH 2025 profile
Registered user since Sat 30 Aug 2025
Name:
Gourav Takhar
Contributions
2025
SPLASH
Author of Memory-Safety Verification of Open Programs With Angelic Assumptions within the OOPSLA-track
2023
ASE
Author of An Integrated Program Analysis Framework for Graduate Courses in Programming Languages and Software Engineering within the Research Papers-track
2022
CC
Committee Member in Artifact Evaluation Committee within the CC Research Artifacts-track
Share
x
Sat 6 Sep 19:25