We gratefully acknowledge support from
the Simons Foundation and member institutions.

Ilya Sergey and Aleksandar Nanevski are qualified to endorse.

Hoare-style Specifications as Correctness Conditions for Non-linearizable Concurrent Objects

Ilya Sergey: Is registered as an author of this paper.
Can endorse for cs.CL, cs.CR, cs.DC, cs.DS, cs.LO, cs.PL, cs.SE. (why?)
Aleksandar Nanevski: Is registered as an author of this paper.
Can endorse for cs.LO. (why?)
Germán Andrés Delbianco: Is registered as an author of this paper.
Not currently an endorser. (why?)

Anindya Banerjee is not registered as an owner of this paper. (why?)