@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 = "{ACM} SIGPLAN 2007 Conference on Programming Language Design and Implementation (PLDI)",
  year = 2007,
  month = jun,
  address = "San Diego",
  url = {http://www.cse.usf.edu/~ligatti/papers/ft-tal.pdf}
}