It is a common belief that most of computer system failures nowadays stem from
programming errors. Computer systems are becoming more complex and harder to maintain …

Reliability is of great concern to the scalability of extreme-scale systems. Of particular
concern are soft errors in main memory, which are a leading cause of failures on current …

It is widely understood that most system downtime is accounted for by programming errors
and administration time. However, a growing body of work has indicated an increasing …

Programs written in C and C++ are susceptible to memory errors, including buffer overflows
and dangling pointers. These errors, whichcan lead to crashes, erroneous execution, and …

MORE than a quarter century ago, May and Woods of Intel reported on alpha-particle-
induced soft errors (SEs) in their 2107-series 16-kb DRAMs. This paper represents the first …

Future extreme-scale computer systems may expose silent data corruption (SDC) to
applications, in order to save energy or increase performance. However, resilience research …

Memory hardware reliability is an indispensable part of whole-system dependability. This
paper presents the collection of realistic memory hardware error traces (including transient …

It is widely understood that most downtime is accounted for by programming errors and
administration time. However, recent work has indicated an increasing cause of downtime …

Due to their low cost and the need to run computationally-intensive algorithms locally,
satellites and spacecraft are increasingly employing off-the-shelf computing hardware …

We report on the design and formal verification of a complex processor supporting address
translation by means of a memory management unit (MMU). We give a paper and pencil …