15777 search results - page 2807 / 3156 » The Reformulation-Optimization Software Engine |
168
Voted
EUROSYS
2010
ACM
16 years 1 months ago
2010
ACM
Bugs in concurrent programs are extremely difficult to find and fix during testing. In this paper, we propose Kivati, which can efficiently detect and prevent atomicity violat...
122
click to vote
EUROSYS
2009
ACM
16 years 1 months ago
2009
ACM
Memory bugs in C/C++ programs severely affect system availability and security. This paper presents First-Aid, a lightweight runtime system that survives software failures caused ...
138
Voted
EUROSYS
2008
ACM
16 years 1 months ago
2008
ACM
Programs written in type-unsafe languages such as C and C++ incur costly memory errors that result in corrupted data structures, program crashes, and incorrect results. We present...
145
Voted
EUROSYS
2008
ACM
16 years 1 months ago
2008
ACM
Eudaemon is a technique that aims to blur the borders between protected and unprotected applications, and brings together honeypot technology and end-user intrusion detection and ...
142
Voted
EUROSYS
2008
ACM
16 years 1 months ago
2008
ACM
Hard disks contain data—frequently an irreplaceable asset of high monetary and non-monetary value. At the same time, hard disks are mechanical devices that consume power, are no...