“Intermediate Value Linearizability: A Quantitative Correctness Criterion”, by Arik Rinberg and Idit Keidar has been accepted to Journal of the ACM, January 2023. The previous version appeared in DISC’20, where it won the Best Student Paper Award.
