Showing results 1 to 2 of 2
A promising semantics for relaxed-memory concurrency Kang, Jeehoon; Hur, Chung-Kil; Lahav, Ori; Vafeiadis, Viktor; Dreyer, Derek, 44th ACM SIGPLAN Symposium on Principles of Programming Languages, POPL 2017, pp.175 - 189, Association for Computing Machinery, 2017-01-18 |
Repairing sequential consistency in C/C++11 Lahav, Ori; Vafeiadis, Viktor; Kang, Jeehoon; Hur, Chung-Kil; Dreyer, Derek, 38th ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2017, pp.618 - 632, Association for Computing Machinery, 2017-06-20 |
Discover