120
click to vote
POPL
2016
ACM
10 years 20 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...
129
click to vote
POPL
2016
ACM
10 years 20 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 ...
136
click to vote
POPL
2016
ACM
10 years 20 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). ...
152
click to vote
POPL
2016
ACM
10 years 20 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...
110
click to vote
POPL
2016
ACM
10 years 20 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...