publications

2024

1. LGTM

   Mechanised Hypersafety Proofs about Structured Data

   Vladimir Gladshtein, Qiyuan Zhao, Willow Ahrens, and 2 more authors

   PLDI, 2024

   Bib PDF Code

   @article{lgtm,
     author = {Gladshtein, Vladimir and Zhao, Qiyuan and Ahrens, Willow and Amarasinghe, Saman and Sergey, Ilya},
     title = {Mechanised Hypersafety Proofs about Structured Data},
     journal = {PLDI},
     volume = {8},
     number = {{PLDI}},
     publisher = {ACM},
     year = {2024},
     pages = {173:1--173:24},
     artifact = {https://zenodo.org/doi/10.5281/zenodo.10802913},
     optvideo = {},
   }

2. LeanSSR

   Small Scale Reflection for the Working Lean User

   Vladimir Gladshtein, George Pîrlea, and Ilya Sergey

   In submission, 2024

   Bib PDF

   @article{gladshtein2024small,
     title = {Small Scale Reflection for the Working Lean User},
     author = {Gladshtein, Vladimir and Pîrlea, George and Sergey, Ilya},
     year = {2024},
     journal = {In submission},
     eprint = {2403.12733},
     archiveprefix = {arXiv},
     primaryclass = {cs.PL},
   }

2022

1. TruSt

   Truly Stateless, Optimal Dynamic Partial Order Reduction

   Michalis Kokologiannakis, Iason Marmanis, Vladimir Gladstein, and 1 more author

   POPL, 2022

   Bib PDF

   @article{10.1145/3498711,
     author = {Kokologiannakis, Michalis and Marmanis, Iason and Gladstein, Vladimir and Vafeiadis, Viktor},
     title = {Truly Stateless, Optimal Dynamic Partial Order Reduction},
     year = {2022},
     issue_date = {January 2022},
     journal = {POPL},
     publisher = {Association for Computing Machinery},
     address = {New York, NY, USA},
     volume = {6},
     number = {POPL},
     url = {https://doi.org/10.1145/3498711},
     doi = {10.1145/3498711},
   }

2021

1. ES

   Mechanized Theory of Event Structures: A Case of Parallel Register Machine

   Vladimir Gladstein, Dmitry Mikhailovsky, Evgenii Moiseenko, and 1 more author

   SYRCOSE, 2021

   Bib PDF

   @article{10.1145/3498712,
     author = {Gladstein, Vladimir and Mikhailovsky, Dmitry and Moiseenko, Evgenii and Trunov, Anton},
     year = {2021},
     journal = {SYRCOSE},
     title = {Mechanized Theory of Event Structures: A Case of Parallel Register Machine},
     publisher = {Proceedings of the Institute for System Programming of the RAS},
     doi = {https://doi.org/10.15514/ISPRAS-2021-33(3)-11},
   }