Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Vladimir Gladshtein
conf.researchr.org general profile
PLDI 2024 profile
PLDI 2025 profile
POPL 2024 profile
POPL 2026 profile
SPLASH 2022 profile
SPLASH/ISSTA 2026 profile
Registered user since Fri 2 Dec 2022
Name:
Vladimir Gladshtein
Contributions
2026
Dafny
Author of Lessons from Building an Auto-Active Verifier in Lean within the Dafny 2026-track
Author of Velvet: A Multi-Modal Verifier for Effectful Programs within the Dafny 2026-track
SPLASH
Author of Infinitary Relational Logic within the OOPSLA-track
POPL
Author of Foundational Multi-Modal Program Verifiers within the POPL-track
2025
Sparse
Author of Hyperreal Specifications for Continuous Sparse Data Computations within the Sparse 2025-track
Author of Panel 4 within the Sparse 2025-track
2024
PLDI
Author of Mechanised Hypersafety Proofs about Structured Data within the PLDI Research Papers-track
POPL
Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track
2022
SPLASH
In-person student volunteer in Organizers within the Student Volunteers-track
Share
x
Tue 15 Sep 08:54