Gaurav Parthasarathy

Publication Activity (10 Years)

Years Active: 2020-2024
Publications (10 Years): 10

Top Topics

Derivation Rules

Classical Logic

Top Venues

Proc. ACM Program. Lang.

Publications

Gaurav Parthasarathy, Thibault Dardinier, Benjamin Bonneau, Peter Müller, Alexander J. Summers
Towards Trustworthy Automated Program Verifiers: Formally Validating Translations into an Intermediate Verification Language (extended version). CoRR (2024)
Gaurav Parthasarathy, Thibault Dardinier, Benjamin Bonneau, Peter Müller, Alexander J. Summers
Towards Trustworthy Automated Program Verifiers: Formally Validating Translations into an Intermediate Verification Language. Proc. ACM Program. Lang. 8 (PLDI) (2024)
Thibault Dardinier, Michael Sammler, Gaurav Parthasarathy, Alexander J. Summers, Peter Müller
Formal Foundations for Translational Separation Logic Verifiers (extended version). CoRR (2024)
Thibault Dardinier, Gaurav Parthasarathy, Peter Müller
Verification-Preserving Inlining in Automatic Separation Logic Verifiers. Proc. ACM Program. Lang. 7 (OOPSLA1) (2023)
Thibault Dardinier, Gaurav Parthasarathy, Noé Weeks, Peter Müller, Alexander J. Summers
Sound Automation of Magic Wands. CAV (2) (2022)
Thibault Dardinier, Gaurav Parthasarathy, Peter Müller
Verification-Preserving Inlining in Automatic Separation Logic Verifiers (extended version). CoRR (2022)
Thibault Dardinier, Gaurav Parthasarathy, Noé Weeks, Alexander J. Summers, Peter Müller
Sound Automation of Magic Wands (extended version). CoRR (2022)
Gaurav Parthasarathy, Peter Müller, Alexander J. Summers
Formally Validating a Practical Verification Condition Generator. CAV (2) (2021)
Gaurav Parthasarathy, Peter Müller, Alexander J. Summers
Formally Validating a Practical Verification Condition Generator (extended version). CoRR (2021)
Ralf Jung, Rodolphe Lepigre, Gaurav Parthasarathy, Marianna Rapoport, Amin Timany, Derek Dreyer, Bart Jacobs
The future is ours: prophecy variables in separation logic. Proc. ACM Program. Lang. 4 (POPL) (2020)