Gaurav Parthasarathy -

Registered user since Sun 10 Nov 2019

Name:Gaurav Parthasarathy

Country:Switzerland

Affiliation:ETH Zurich

Personal website: https://gauravpartha.ch/

Contributions

2025

POPL

Author of Formal Foundations for Translational Separation Logic Verifiers within the POPL-track

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