16725 search results - page 3038 / 3345 » Engineering Software Correctness |
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...
123
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 ...
146
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...
138
Voted
EUROSYS
2007
ACM
16 years 1 months ago
2007
ACM
Antiquity is a wide-area distributed storage system designed to provide a simple storage service for applications like file systems and back-up. The design assumes that all serve...