57
Voted
OOPSLA
2015
Springer
9 years 11 months ago
2015
Springer
Performance and energy efficiency in memory have become critically important for a wide range of computing domains. However, it is difficult to control and optimize memory power...
61
Voted
OOPSLA
2015
Springer
9 years 11 months ago
2015
Springer
The ease with which security flaws in today’s mobile devices can be exploited underscores the need for mobile security research. The advent of the Internet of Things (IoT)—wh...
147
Voted
OOPSLA
2015
Springer
9 years 11 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...
58
Voted
OOPSLA
2015
Springer
9 years 11 months ago
2015
Springer
Floating point representation has limited precision and inputs to floating point programs may also have errors. Consequently, during execution, errors are introduced, propagated,...
74
Voted
OOPSLA
2015
Springer
9 years 11 months ago
2015
Springer
Due to its asynchronous, event-driven nature, JavaScript, similar to concurrent programs, suffers from the problem of data races. Past research provides methods for automatically ...