The future is ours: prophecy variables in separation logic. - Ralf Jung 002; Rodolphe Lepigre; Gaurav Parthasarathy; Marianna Rapoport; Amin Timany; Derek Dreyer; Bart Jacobs 002 (Proc. ACM Program. Lang., 2020)

Formally Validating a Practical Verification Condition Generator. - Gaurav Parthasarathy; Peter Müller 001; Alexander J. Summers (CAV (2), 2021)

Formally Validating a Practical Verification Condition Generator (extended version). - Gaurav Parthasarathy; Peter Müller 001; Alexander J. Summers (CoRR, 2021)

Sound Automation of Magic Wands. - Thibault Dardinier; Gaurav Parthasarathy; Noé Weeks; Peter Müller 001; Alexander J. Summers (CAV (2), 2022)

Sound Automation of Magic Wands (extended version). - Thibault Dardinier; Gaurav Parthasarathy; Noé Weeks; Alexander J. Summers; Peter Müller 001 (CoRR, 2022)

Verification-Preserving Inlining in Automatic Separation Logic Verifiers (extended version). - Thibault Dardinier; Gaurav Parthasarathy; Peter Müller 001 (CoRR, 2022)

Verification-Preserving Inlining in Automatic Separation Logic Verifiers. - Thibault Dardinier; Gaurav Parthasarathy; Peter Müller 001 (Proc. ACM Program. Lang., 2023)

Towards Trustworthy Automated Program Verifiers: Formally Validating Translations into an Intermediate Verification Language (extended version). - Gaurav Parthasarathy; Thibault Dardinier; Benjamin Bonneau; Peter Müller 001; Alexander J. Summers (CoRR, 2024)

Formal Foundations for Translational Separation Logic Verifiers (extended version). - Thibault Dardinier; Michael Sammler; Gaurav Parthasarathy; Alexander J. Summers; Peter Müller 001 (CoRR, 2024)

Towards Trustworthy Automated Program Verifiers: Formally Validating Translations into an Intermediate Verification Language. - Gaurav Parthasarathy; Thibault Dardinier; Benjamin Bonneau; Peter Müller 001; Alexander J. Summers (Proc. ACM Program. Lang., 2024)

Formally Validating Translational Program Verifiers. - Gaurav Parthasarathy (2024)

Formal Foundations for Translational Separation Logic Verifiers. - Thibault Dardinier; Michael Sammler; Gaurav Parthasarathy; Alexander J. Summers; Peter Müller 001 (Proc. ACM Program. Lang., 2025)