Fault-tolerant typed assembly language.

Frances Perry, Lester W. Mackey, George A. Reis, Jay Ligatti, David I. August, David Walker

Browse the full PLDI paper archive.