Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
Static Typing for a Faulty Lambda Calculus David Walker Lester Mackey Jay Ligatti George A. Reis David I. August
 

Summary: Static Typing for a Faulty Lambda Calculus
David Walker Lester Mackey Jay Ligatti George A. Reis David I. August
Department of Computer Science
Princeton University
{dpw,lmackey,jligatti,gareis,august}@princeton.edu
Abstract
A transient hardware fault occurs when an energetic particle strikes
a transistor, causing it to change state. These faults do not cause
permanent damage, but may result in incorrect program execution
by altering signal transfers or stored values. While the likelihood
that such transient faults will cause any significant damage may
seem remote, over the last several years transient faults have caused
costly failures in high-end machines at America Online, eBay, and
the Los Alamos Neutron Science Center, among others [6, 44,
15]. Because susceptibility to transient faults is proportional to the
size and density of transistors, the problem of transient faults will
become increasingly important in the coming decades.
This paper defines the first formal, type-theoretic framework for
studying reliable computation in the presence of transient faults.
More specifically, it defines zap, a lambda calculus that exhibits

  

Source: August, David - Department of Computer Science, Princeton University

 

Collections: Computer Technologies and Information Sciences