Login / Signup
Alexander Oey
Publication Activity (10 Years)
Years Active: 2023-2023
Publications (10 Years): 1
Top Topics
Logical Representation
Transaction Management
Locking Protocol
Quasi Invariant
Top Venues
CoRR
</>
Publications
</>
Roshan Sharma
,
Shengyi Wang
,
Alexander Oey
,
Anastasiia Evdokimova
,
Lennart Beringer
,
William Mansky
Proving Logical Atomicity using Lock Invariants.
CoRR
(2023)