Anastasiia Evdokimova

Publication Activity (10 Years)

Years Active: 2023-2023
Publications (10 Years): 1

Top Topics

Logical Representation

Transaction Management

Locking Protocol

Quasi Invariant

Top Venues

Publications

Roshan Sharma, Shengyi Wang, Alexander Oey, Anastasiia Evdokimova, Lennart Beringer, William Mansky
Proving Logical Atomicity using Lock Invariants. CoRR (2023)