• 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
xSun 28 Sep 16:14
using conf.researchr.org (v1.71.1)
Support page
Sign Up