Asynchronous Wait-Free Runtime Verification and Enforcement of Linearizability (2025), Castañeda Armando | AcademicGPT, tlooto

It is shown that linearizability of a class of concurrent implementations can be predictively verified using only read/write base objects, and any implementation can be transformed to its counterpart (2025), JOURNAL OF THE ACM, Castañeda Armando | AcademicGPT, tlooto for Academic and Research