Sciweavers

Share
warning: Creating default object from empty value in /var/www/modules/taxonomy/taxonomy.module on line 1416.
PLDI
2015
ACM
4 years 10 months ago
Design your analysis: a case study on implementation reusability of data-flow functions
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, ...
Johannes Lerch, Ben Hermann
PLDI
2015
ACM
4 years 10 months ago
DAG inlining: a decision procedure for reachability-modulo-theories in hierarchical programs
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...
Akash Lal, Shaz Qadeer
PLDI
2015
ACM
4 years 10 months ago
KJS: a complete formal semantics of JavaScript
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...
Daejun Park, Andrei Stefanescu, Grigore Rosu
PLDI
2015
ACM
4 years 10 months ago
Concurrency debugging with differential schedule projections
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...
Nuno Machado, Brandon Lucia, Luís E. T. Rod...
PLDI
2015
ACM
4 years 10 months ago
Stateless model checking concurrent programs with maximal causality reduction
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...
Jeff Huang
ASPLOS
2015
ACM
4 years 10 months ago
Temporally Bounding TSO for Fence-Free Asymmetric Synchronization
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...
Adam Morrison, Yehuda Afek
ASPLOS
2015
ACM
4 years 10 months ago
Memory Errors in Modern Systems: The Good, The Bad, and The Ugly
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...
Vilas Sridharan, Nathan DeBardeleben, Sean Blancha...
ASPLOS
2015
ACM
4 years 10 months ago
ApproxHadoop: Bringing Approximations to MapReduce Frameworks
We propose and evaluate a framework for creating and running approximation-enabled MapReduce programs. Specifically, we propose approximation mechanisms that fit naturally into t...
Iñigo Goiri, Ricardo Bianchini, Santosh Nag...
ASPLOS
2015
ACM
4 years 10 months ago
Monitoring and Debugging the Quality of Results in Approximate Programs
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...
Michael F. Ringenburg, Adrian Sampson, Isaac Acker...
ASPLOS
2015
ACM
4 years 10 months ago
Nested Kernel: An Operating System Architecture for Intra-Kernel Privilege Separation
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...
Nathan Dautenhahn, Theodoros Kasampalis, Will Diet...
books