PLDI
2015
ACM
8 years 7 months ago
2015
ACM
The development of efficient data flow analyses is a complicated task. As requirements change and special cases have to be considered, implementations may get hard to maintain, ...
PLDI
2015
ACM
8 years 7 months ago
2015
ACM
A hierarchical program is one with multiple procedures but no loops or recursion. This paper studies the problem of deciding reachability queries in hierarchical programs where in...
PLDI
2015
ACM
8 years 7 months ago
2015
ACM
This paper presents KJS, the most complete and throughly tested formal semantics of JavaScript to date. Being executable, KJS has been tested against the ECMAScript 5.1 conformanc...
PLDI
2015
ACM
8 years 7 months ago
2015
ACM
We present Symbiosis: a concurrency debugging technique based on novel differential schedule projections (DSPs). A DSP shows the small set of memory operations and data-flows res...
PLDI
2015
ACM
8 years 7 months ago
2015
ACM
We present maximal causality reduction (MCR), a new technique for stateless model checking. MCR systematically explores the state-space of concurrent programs with a provably mini...
ASPLOS
2015
ACM
8 years 7 months ago
2015
ACM
This paper introduces a temporally bounded total store ordering (TBTSO) memory model, and shows that it enables nonblocking fence-free solutions to asymmetric synchronization prob...
ASPLOS
2015
ACM
8 years 7 months ago
2015
ACM
Several recent publications have shown that hardware faults in the memory subsystem are commonplace. These faults are predicted to become more frequent in future systems that cont...
ASPLOS
2015
ACM
8 years 7 months ago
2015
ACM
We propose and evaluate a framework for creating and running approximation-enabled MapReduce programs. Specifically, we propose approximation mechanisms that fit naturally into t...
ASPLOS
2015
ACM
8 years 7 months ago
2015
ACM
Energy efficiency is a key concern in the design of modern computer systems. One promising approach to energyefficient computation, approximate computing, trades off output accu...
ASPLOS
2015
ACM
8 years 7 months ago
2015
ACM
Monolithic operating system designs undermine the security of computing systems by allowing single exploits anywhere in the kernel to enjoy full supervisor privilege. The nested k...