• Sign in
  • Sign up
conf.researchr.org / Gourav Takhar
  • 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
xSat 6 Sep 19:25
using conf.researchr.org (v1.70.0)
Support page
Sign Up