163
click to vote
OOPSLA
10 years 1 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...
111
click to vote
OOPSLA
10 years 1 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...
108
click to vote
OOPSLA
10 years 1 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 ...
104
click to vote
OOPSLA
10 years 1 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...
|
Security Privacy