Gaurav Parthasarathy

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