Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Gaurav Parthasarathy
conf.researchr.org general profile
POPL 2020 profile
SPLASH 2023 profile
Registered user since Sun 10 Nov 2019
Name:
Gaurav Parthasarathy
Country:
Switzerland
Affiliation:
ETH Zurich
Contributions
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 25 Apr 22:23