Invited talk at SRDS 2021 Posted on 20/09/2021 by Hagit Attiya My keynote at SRDS 2021 on “Preserving hyperproperties when using concurrent objects” is on Youtube.