@InProceedings{feng06:sbca,
  author    =    {Xinyu Feng and Zhong Shao and Alexander Vaynberg and Sen Xiang and Zhaozhong Ni},
  title     =    {Modular Verification of Assembly Code with Stack-Based Control Abstractions},
  booktitle =    {Proc. 2006 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI'06)},
  location  =    {Ottawa, Canada},
  pages     =    {401--414},
  month     =    {June},
  year      =    2006,
  publisher =    {ACM Press},
  address   =    {New York, NY, USA},
}