@InProceedings{ft-tal,
 author = "Frances Perry and Lester Mackey and George Reis and Jay Ligatti and David August and David Walker",
 title = "Fault-tolerant Typed Assembly Language",
 booktitle = "Proceedings of the {ACM} {SIGPLAN} Conference on Programming Language Design and Implementation ({PLDI})",
 year = 2007,
 month = jun,
 pages = "42--53",
}