Date: February 4-8, 2017
Location: Austin, Texas, USA
Website: http://conf.researchr.org/home/PPoPP-2017
Peizhao Ou and Brian Demsky, “CDSSPEC: Checking Concurrent Data Structures Under the C/C++11 Memory Model”, (PPoPP’17), Austin, Texas, USA, Febuary 2017