Three MPI-SWS papers accepted to POPL’17

Three papers from MPI-SWS were accepted to ACM POPL 2017:

• A promising semantics for relaxed-memory concurrency
• Relational cost analysis
• Thread modularity at many levels: a pearl in compositional verification