121
click to vote
OOPSLA
9 years 8 months ago
2015 Springer 
Compiler testing is important and challenging. Equivalence Modulo Inputs (EMI) is a recent promising approach for compiler validation. It is based on mutating the unexecuted state...
OOPSLA
9 years 8 months ago
2015 Springer 
In approximate computing, programs gain efficiency by allowing occasional errors. Controlling the probabilistic effects of this approximation remains a key challenge. We propose ...
OOPSLA
9 years 8 months ago
2015 Springer 
App stores are increasingly the preferred mechanism for distributing software, including mobile apps (Google Play), desktop apps (Mac App Store and Ubuntu Software Center), comput...
OOPSLA
9 years 8 months ago
2015 Springer 
In the Western classical tradition, musicians play music from notated sheet music, called a score. When playing music from a score, a musician translates its visual symbols into s...
OOPSLA
9 years 8 months ago
2015 Springer 
Over the past thirty years, there has been significant progress in developing general-purpose, language-based approaches to incremental computation, which aims to efficiently up...
|
Security Privacy