Gaurav Parthasarathy
where else to find them
no profile links on file
what they talk about
where they keep going back
no series more than once — all 3 in the filters
on a stage with
all 5 in the filters
who talks about the same things
- Thibault Dardinier9 talks
- Peter Müller28 talks
- Benjamin Bonneau2 talks
- Michael Sammler16 talks
- Simon Spies8 talks
- Alexander J. Summers13 talks
| title | conference | date |
|---|---|---|
| Formal Foundations for Translational Separation Logic Verifiers | POPL 2025 | 2025-01-19 |
Provides a formal, mechanized framework that proves soundness of translational separation-logic verifiers by defining a core IVL with both operational and… | ||
| Towards Trustworthy Automated Program Verifiers: Formally Validating Translations into(…) | PLDI 2024 | 2024-06-24 |
Adds a per-run Isabelle certificate generator to an existing Viper→Boogie translation, proving that whenever the generated Boogie program has no failing… | ||
| Verification-Preserving Inlining in Automatic Separation Logic Verifiers | OOPSLA 2023 | 2023-10-23 |
Presents a provable criterion that makes bounded inlining safe for automatic separation-logic verifiers: a semantic condition (formalized in Isabelle/HOL) that… | ||
| nothing matches | ||