PLDI
2015
ACM
8 years 3 months ago
2015
ACM
Concurrency control poses significant challenges when composing computations over multiple data-structures (objects) with different concurrency-control implementations. We formal...
PLDI
2015
ACM
8 years 3 months ago
2015
ACM
Highly optimized programs are prone to bit rot, where performance quickly becomes suboptimal in the face of new hardware and compiler techniques. In this paper we show how to auto...
PLDI
2015
ACM
8 years 3 months ago
2015
ACM
We present an approach and tool for general-purpose modeling of Android for static analysis. Our approach is to explicate the reflective bridge between the Android framework and ...
PLDI
2015
ACM
8 years 3 months ago
2015
ACM
Numerical abstract domains are a fundamental component in modern static program analysis and are used in a wide range of scenarios (e.g. computing array bounds, disjointness, etc)...
PLDI
2015
ACM
8 years 3 months ago
2015
ACM
Energy harvesting enables novel devices and applications without batteries, but intermittent operation under energy harvesting poses new challenges to memory consistency that thre...
PLDI
2015
ACM
8 years 3 months ago
2015
ACM
The ISO C standard does not specify the semantics of many valid programs that use non-portable idioms such as integer-pointer casts. Recent efforts at formal definitions and veri...
PLDI
2015
ACM
8 years 3 months ago
2015
ACM
A daunting challenge faced by program performance autotuning is input sensitivity, where the best autotuned configuration may vary with different input sets. This paper presents ...
PLDI
2015
ACM
8 years 3 months ago
2015
ACM
Read-Copy-Update (RCU) is a technique for letting multiple readers safely access a data structure while a writer concurrently modifies it. It is used heavily in the Linux kernel ...
PLDI
2015
ACM
8 years 3 months ago
2015
ACM
User-facing online services utilize geo-distributed data stores to minimize latency and tolerate partial failures, with the intention to provide a fast, always-on experience. Howe...
PLDI
2015
ACM
8 years 3 months ago
2015
ACM
With hundreds of millions of users, spreadsheets are one of the most important end-user applications. Spreadsheets are easy to use and allow users great flexibility in storing da...