Vladimir Gladshtein

According to our database, Vladimir Gladshtein authored at least 8 papers between 2024 and 2026.

Collaborative distances:

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

2026

Certified Program Synthesis with a Multi-Modal Verifier.

Yueyang Feng, Dipesh Kafle, Vladimir Gladshtein, Vitaly Kurin, George Pîrlea, Qiyuan Zhao, Peter Müller, Ilya Sergey

CoRR, April, 2026

Foundational Multi-Modal Program Verifiers.

Vladimir Gladshtein, George Pîrlea, Qiyuan Zhao, Vitaly Kurin, Ilya Sergey

Proc. ACM Program. Lang., 2026

2025

Veil: A Framework for Automated and Interactive Verification of Transition Systems.

George Pîrlea, Vladimir Gladshtein, Elad Kinsbruner, Qiyuan Zhao, Ilya Sergey

Proceedings of the Computer Aided Verification - 37th International Conference, 2025

2024

LGTM: the Logic for Graceful Tensor Manipulation.

Vladimir Gladshtein, Qiyuan Zhao, Willow Ahrens, Saman P. Amarasinghe, Ilya Sergey

Dataset, April, 2024

LGTM: the Logic for Graceful Tensor Manipulation.

Vladimir Gladshtein, Qiyuan Zhao, Willow Ahrens, Saman P. Amarasinghe, Ilya Sergey

Dataset, March, 2024

Mechanised Hypersafety Proofs about Structured Data.

Vladimir Gladshtein, Qiyuan Zhao, Willow Ahrens, Saman P. Amarasinghe, Ilya Sergey

Proc. ACM Program. Lang., 2024

Mechanised Hypersafety Proofs about Structured Data: Extended Version.

Vladimir Gladshtein, Qiyuan Zhao, Willow Ahrens, Saman P. Amarasinghe, Ilya Sergey

CoRR, 2024

Small Scale Reflection for the Working Lean User.

Vladimir Gladshtein, George Pîrlea, Ilya Sergey

CoRR, 2024