116
click to vote
PLDI
2015
ACM
9 years 11 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...
117
click to vote
PLDI
2015
ACM
9 years 11 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...
116
click to vote
PLDI
2015
ACM
9 years 11 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 ...
135
Voted
PLDI
2015
ACM
9 years 11 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 ...
107
Voted
PLDI
2015
ACM
9 years 11 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...