Soham Chakraborty, Viktor Vafeiadis
Validating optimizations of concurrent C/C++ programs
CGO, 2016.
@inproceedings{CGO-2016-ChakrabortyV, author = "Soham Chakraborty and Viktor Vafeiadis", booktitle = "{Proceedings of the 14th International Symposium on Code Generation and Optimization}", doi = "10.1145/2854038.2854051", ee = "http://ieeexplore.ieee.org/document/7559546/", isbn = "978-1-4503-3778-6", pages = "216--226", publisher = "{ACM}", title = "{Validating optimizations of concurrent C/C++ programs}", year = 2016, }