Sciweavers

Share
POPL
2016
ACM
3 years 2 months ago
Overhauling SC atomics in c11 and OpenCL
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...
Mark Batty, Alastair F. Donaldson, John Wickerson
POPL
2016
ACM
3 years 2 months ago
A program logic for concurrent objects under fair scheduling
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...
Hongjin Liang, Xinyu Feng
POPL
2016
ACM
3 years 2 months ago
'Cause I'm strong enough: reasoning about consistency choices in distributed systems
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...
Alexey Gotsman, Hongseok Yang, Carla Ferreira, Mah...
POPL
2016
ACM
3 years 2 months ago
Learning programs from noisy data
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 ...
Veselin Raychev, Pavol Bielik, Martin T. Vechev, A...
POPL
2016
ACM
3 years 2 months ago
Dependent types and multi-monadic effects in F
Nikhil Swamy, Catalin Hritcu, Chantal Keller, Asee...
POPL
2016
ACM
3 years 2 months ago
System f-omega with equirecursive types for datatype-generic programming
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...
Yufei Cai, Paolo G. Giarrusso, Klaus Ostermann
POPL
2016
ACM
3 years 2 months ago
Fabular: regression formulas as probabilistic programming
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...
Johannes Borgström, Andrew D. Gordon, Long Ou...
POPL
2016
ACM
3 years 2 months ago
Memoryful geometry of interaction II: recursion and adequacy
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...
Koko Muroya, Naohiko Hoshino, Ichiro Hasuo
POPL
2016
ACM
3 years 2 months ago
A concurrency semantics for relaxed atomics that permits optimisation and avoids thin-air executions
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...
Jean Pichon-Pharabod, Peter Sewell
POPL
2016
ACM
3 years 2 months ago
Combining static analysis with probabilistic models to enable market-scale Android inter-component analysis
Static analysis has been successfully used in many areas, from verifying mission-critical software to malware detection. Unfortunately, static analysis often produces false positi...
Damien Octeau, Somesh Jha, Matthew Dering, Patrick...
books