Reliable Software for Unreliable Hardware