Inherent limitations of hybrid transactional memory Dan AlistarhJustin KopinskyNir Shavit OriginalPaper 23 June 2017 Pages: 167 - 185
Parameterized model checking of rendezvous systems Benjamin AminofTomer KotekHelmut Veith OriginalPaper Open access 06 June 2017 Pages: 187 - 222
Distributed construction of purely additive spanners Keren Censor-HillelTelikepalli KavithaAmir Yehudayoff OriginalPaper 22 July 2017 Pages: 223 - 240
Sade: competitive MAC under adversarial SINR Adrian OgiermanAndrea RichaJin Zhang OriginalPaper 27 July 2017 Pages: 241 - 254