Gaurav Parthasarathy

Employment

• ETH Zurich

Education

Education history is unavailable.

Projects & Funding

Projects & funding information is unavailable.

Publications (3)

• Formal Foundations for Translational Separation Logic Verifiers
  Proceedings of the ACM on Programming Languages 2025 DOI: 10.1145/3704856
  +Save
• Towards Trustworthy Automated Program Verifiers: Formally Validating Translations into an Intermediate Verification Language
  Proceedings of the ACM on Programming Languages 2024 DOI: 10.1145/3656438
  +Save
• Verification-Preserving Inlining in Automatic Separation Logic Verifiers
  Proceedings of the ACM on Programming Languages 2023 DOI: 10.1145/3586054
  +Save