119
click to vote
POPL
2016
ACM
10 years 20 days ago
2016
ACM
Despite the conceptual simplicity of sequential consistency (SC), the semantics of SC atomic operations and fences in the C11 and OpenCL memory models is subtle, leading to convol...
117
click to vote
POPL
2016
ACM
10 years 20 days ago
2016
ACM
Existing work on verifying concurrent objects is mostly concerned with safety only, e.g., partial correctness or linearizability. Although there has been recent work verifying loc...
126
click to vote
POPL
2016
ACM
10 years 20 days ago
2016
ACM
Large-scale distributed systems often rely on replicated databases that allow a programmer to request different data consistency guarantees for different operations, and thereby c...
114
click to vote
POPL
2016
ACM
10 years 20 days ago
2016
ACM
We present a new approach for learning programs from noisy datasets. Our approach is based on two new concepts: a regularized program generator which produces a candidate program ...