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
SERI 2026 profile
SPLASH/ISSTA 2026 profile
Registered user since Sat 30 Aug 2025
Name:
Gourav Takhar
Contributions
2026
SPLASH
Author of LLM-Assisted Unsatisfiability Proofs for Satisfiability Modulo Theories, Oracles, and Natural Language within the OOPSLA-track
SERI
Author of Memory-Safety Verification of Open Programs with Angelic Assumptions within the SERI 2026-track
2025
SPLASH
SRC Judge & Co-Organizer in Competition Judges within the Student Research Competition-track
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 24 Oct 20:01