129
click to vote
POPL
2016
ACM
2016
ACM
A concurrency semantics for relaxed atomics that permits optimisation and avoids thin-air executions
10 years 23 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...
123
click to vote
POPL
2016
ACM
10 years 23 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...
130
click to vote
POPL
2016
ACM
10 years 23 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 ...
138
click to vote
POPL
2016
ACM
10 years 23 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). ...
153
click to vote
POPL
2016
ACM
10 years 23 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...
111
click to vote
POPL
2016
ACM
10 years 23 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...
118
click to vote
POPL
2016
ACM
10 years 23 days ago
2016
ACM
Programmers have come to embrace dynamically-typed languages for prototyping and delivering large and complex systems. When it comes to maintaining and evolving these systems, the...
130
click to vote
POPL
2016
ACM
10 years 23 days ago
2016
ACM
Ordinary differential equations (ODEs) are widespread in many natural sciences including chemistry, ecology, and systems biology, and in disciplines such as control theory and ele...
127
click to vote
POPL
2016
ACM
10 years 23 days ago
2016
ACM
Reconstructing the meaning of a program from its binary executable is known as reverse engineering; it has a wide range of applications in software security, exposing piracy, lega...
105
click to vote
POPL
2016
ACM
10 years 23 days ago
2016
ACM
We present and illustrate Kleenex, a language for expressing general nondeterministic finite transducers, and its novel compilation to streaming string transducers with worst-cas...