Gaurav Parthasarathy

12 papers Journal 9Unranked 2

Year	Rank	Type	Title / 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

Kai Greshake, Sahar Abdelnabi, Shailesh Mishra, Christoph Endres, Thorsten Holz, Mario Fritz