Hagit Attiya, Constantin Enea. Putting Strong Linearizability in Context: Preserving Hyperproperties in Programsthat Use Concurrent Objects. In Jukka Suomela, editor, 33rd International Symposium on Distributed Computing, DISC 2019, October 14-18, 2019, Budapest, Hungary. Volume 146 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2019. [doi]
Abstract is missing.