Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Gaurav Parthasarathy
conf.researchr.org general profile
PLDI 2024 profile
POPL 2020 profile
SPLASH 2023 profile
Registered user since Sun 10 Nov 2019
Name:
Gaurav Parthasarathy
Country:
Switzerland
Affiliation:
ETH Zurich
Contributions
2024
PLDI
Author of Towards Trustworthy Automated Program Verifiers: Formally Validating Translations into an Intermediate Verification Language within the PLDI Research Papers-track
2023
SPLASH
Author of Verification-Preserving Inlining in Automatic Separation Logic Verifiers within the OOPSLA-track
2020
POPL
Author of The Future is Ours: Prophecy Variables in Separation Logic within the Research Papers-track
Share
x
Thu 15 Aug 00:05