@inproceedings{SRB15weakmem,
 author = {Vladimír Štill and Petr Ročkai and Jiří Barnat},
 booktitle = {{Mathematical and Engineering Methods in Computer Science, Revised Selected Papers}},
 doi = {10.1007/978-3-319-29817-7_13},
 editor = {Jan Kofroň and Tomáš Vojnar},
 isbn = {978-3-319-29817-7},
 keywords = {divine, red hat},
 pages = {144--155},
 publisher = {Springer International Publishing},
 series = {Lecture Notes in Computer Science},
 title = {{Weak Memory Models as LLVM-to-LLVM Transformations}},
 volume = {9548},
 year = {2016}
}