Gaurav Parthasarathy

According to our database, Gaurav Parthasarathy authored at least 7 papers between 2020 and 2023.

Collaborative distances:

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

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