POPL
2016
ACM
8 years 10 months 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...
POPL
2016
ACM
8 years 10 months 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...
POPL
2016
ACM
8 years 10 months 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...
POPL
2016
ACM
8 years 10 months 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 ...
POPL
2016
ACM
8 years 10 months ago
2016
ACM
POPL
2016
ACM
8 years 10 months ago
2016
ACM
Traversing an algebraic datatype by hand requires boilerplate code which duplicates the structure of the datatype. Datatype-generic programming (DGP) aims to eliminate such boiler...
POPL
2016
ACM
8 years 10 months ago
2016
ACM
Regression formulas are a domain-specific language adopted by several R packages for describing an important and useful class of statistical models: hierarchical linear regressio...
POPL
2016
ACM
8 years 10 months ago
2016
ACM
A general framework of Memoryful Geometry of Interaction (mGoI) is introduced recently by the authors. It provides a sound translation of lambda-terms (on the high-level) to their...
POPL
2016
ACM
2016
ACM
A concurrency semantics for relaxed atomics that permits optimisation and avoids thin-air executions
8 years 10 months ago
Despite much research on concurrent programming languages, especially for Java and C/C++, we still do not have a satisfactory definition of their semantics, one that admits all c...
POPL
2016
ACM
8 years 10 months ago
2016
ACM
Static analysis has been successfully used in many areas, from verifying mission-critical software to malware detection. Unfortunately, static analysis often produces false positi...