Vladimir Gladshtein

Publication Activity (10 Years)

Years Active: 2024-2024
Publications (10 Years): 3

Top Topics

Structured Data

Top Venues

Proc. ACM Program. Lang.

Publications

Vladimir Gladshtein, George Pîrlea, Ilya Sergey
Small Scale Reflection for the Working Lean User. CoRR (2024)
Vladimir Gladshtein, Qiyuan Zhao, Willow Ahrens, Saman P. Amarasinghe, Ilya Sergey
Mechanised Hypersafety Proofs about Structured Data: Extended Version. CoRR (2024)
Vladimir Gladshtein, Qiyuan Zhao, Willow Ahrens, Saman P. Amarasinghe, Ilya Sergey
Mechanised Hypersafety Proofs about Structured Data. Proc. ACM Program. Lang. 8 (PLDI) (2024)