1299 search results - page 11 / 260 » On the Correctness of Operating System Kernels |
140
click to vote
STORAGESS
2005
ACM
15 years 11 months ago
2005
ACM
Improper access of data buffers is one of the most common errors in programs written in assembler, C, C++, and several other languages. Existing programs and OSs frequently acces...
152
click to vote
OSDI
2008
ACM
16 years 5 months ago
2008
ACM
Library-based record and replay tools aim to reproduce an application's execution by recording the results of selected functions in a log and during replay returning the resu...
142
click to vote
OSDI
2006
ACM
16 years 5 months ago
2006
ACM
XFI is a comprehensive protection system that offers both flexible access control and fundamental integrity guarantees, at any privilege level and even for legacy code in commodit...