79
Voted
POPL
2015
ACM
9 years 11 months ago
2015
ACM
We propose a new approach to programming multi-core, relaxed-memory architectures in imperative, portable programming languages. Our memory model is based on explicit, programmer-...
81
Voted
POPL
2015
ACM
9 years 11 months ago
2015
ACM
The World Wide Web has evolved gradually from a document delivery platform to an architecture for distributed programming. This largely unplanned evolution is apparent in the set ...
POPL
2015
ACM
9 years 11 months ago
2015
ACM
Concurrent data-structures, such as stacks, queues, and deques, often implicitly enforce a total order over elements in their underlying memory layout. However, much of this order...
POPL
2015
ACM
9 years 11 months ago
2015
ACM
Software-defined networking (SDN) is a new paradigm for operating and managing computer networks. SDN enables logicallycentralized control over network devices through a “contr...
82
Voted
POPL
2015
ACM
9 years 11 months ago
2015
ACM
In this paper, we present a new approach to automatically verify multi-threaded programs which are executed by an unbounded number of threads running in parallel. The starting poi...