124
Voted
OOPSLA
9 years 9 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...
80
Voted
OOPSLA
9 years 9 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...
76
Voted
OOPSLA
9 years 9 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 ...
69
Voted
OOPSLA
9 years 9 months ago
2015 Springer 68
Voted
OOPSLA
9 years 9 months ago
2015 Springer
This paper presents an algorithm for off-line partial evaluation of machine code. The algorithm follows the classical two-phase approach of binding-time analysis (BTA) followed by...
|
Security Privacy