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},
  pages = {91-102},
  
}