Gaurav Parthasarathy

According to our database, Gaurav Parthasarathy authored at least 12 papers between 2020 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

Formal Foundations for Translational Separation Logic Verifiers.

Thibault Dardinier, Michael Sammler, Gaurav Parthasarathy, Alexander J. Summers, Peter Müller

Proc. ACM Program. Lang., 2025

2024

Formally Validating Translational Program Verifiers.

Gaurav Parthasarathy

PhD thesis, 2024

Towards Trustworthy Automated Program Verifiers: Formally Validating Translations into an Intermediate Verification Language.

Gaurav Parthasarathy, Thibault Dardinier, Benjamin Bonneau, Peter Müller, Alexander J. Summers

Proc. ACM Program. Lang., 2024

Formal Foundations for Translational Separation Logic Verifiers (extended version).

Thibault Dardinier, Michael Sammler, Gaurav Parthasarathy, Alexander J. Summers, Peter Müller

CoRR, 2024

Towards Trustworthy Automated Program Verifiers: Formally Validating Translations into an Intermediate Verification Language (extended version).

Gaurav Parthasarathy, Thibault Dardinier, Benjamin Bonneau, Peter Müller, Alexander J. Summers

CoRR, 2024

2023

Verification-Preserving Inlining in Automatic Separation Logic Verifiers.

Thibault Dardinier, Gaurav Parthasarathy, Peter Müller

Proc. ACM Program. Lang., April, 2023

2022

Verification-Preserving Inlining in Automatic Separation Logic Verifiers (extended version).

Thibault Dardinier, Gaurav Parthasarathy, Peter Müller

CoRR, 2022

Sound Automation of Magic Wands (extended version).

Thibault Dardinier, Gaurav Parthasarathy, Noé Weeks, Alexander J. Summers, Peter Müller

CoRR, 2022

Sound Automation of Magic Wands.

Thibault Dardinier, Gaurav Parthasarathy, Noé Weeks, Peter Müller, Alexander J. Summers

Proceedings of the Computer Aided Verification - 34th International Conference, 2022

2021

Formally Validating a Practical Verification Condition Generator (extended version).

Gaurav Parthasarathy, Peter Müller, Alexander J. Summers

CoRR, 2021

Formally Validating a Practical Verification Condition Generator.

Gaurav Parthasarathy, Peter Müller, Alexander J. Summers

Proceedings of the Computer Aided Verification - 33rd International Conference, 2021

2020

The future is ours: prophecy variables in separation logic.

Ralf Jung, Rodolphe Lepigre, Gaurav Parthasarathy, Marianna Rapoport, Amin Timany, Derek Dreyer, Bart Jacobs

Proc. ACM Program. Lang., 2020