120
click to vote
POPL
2016
ACM
10 years 10 days 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...
135
click to vote
POPL
2016
ACM
10 years 10 days 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...
110
click to vote
POPL
2016
ACM
10 years 10 days 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...
125
click to vote
POPL
2016
ACM
2016
ACM
A concurrency semantics for relaxed atomics that permits optimisation and avoids thin-air executions
10 years 10 days 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...
117
click to vote
POPL
2016
ACM
10 years 10 days 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...
127
click to vote
POPL
2016
ACM
10 years 10 days ago
2016
ACM
We introduce a strengthening of the release-acquire fragment of the C11 memory model that (i) forbids dubious behaviors that are not observed in any implementation; (ii) supports ...
132
click to vote
POPL
2016
ACM
10 years 10 days ago
2016
ACM
In this paper we develop semantics for key aspects of the ARMv8 multiprocessor architecture: the concurrency model and much of the 64-bit application-level instruction set (ISA). ...
146
click to vote
POPL
2016
ACM
10 years 10 days ago
2016
ACM
Recently, Esparza et al. generalized Newton’s method—a numerical-analysis algorithm for finding roots of real-valued functions—to a method for finding fixed-points of sys...
109
click to vote
POPL
2016
ACM
10 years 10 days ago
2016
ACM
Inductive invariants can be robustly synthesized using a learning model where the teacher is a program verifier who instructs the learner through concrete program configurations...