Reference

2005
    Type-Based Verification of Assembly Language for Compiler Debugging
    Bor-Yuh Evan Chang, Adam Chlipala, George C. Necula, and Robert R. Schneck
    TLDI 2005: ACM SIGPLAN International Workshop on Types in Language Design and Implementation

    BibTeX

    @string{TLDI = "ACM SIGPLAN International Workshop on Types in Language Design and Implementation (TLDI)"}
@inproceedings{coolaid-tldi05,
  author = {Bor-Yuh Evan Chang and Adam Chlipala and George C. Necula and Robert R. Schneck},
  title = {
       Type-Based Verification of Assembly Language for Compiler Debugging
     },
  booktitle = TLDI,
  year = {2005},
}