@InProceedings{feng05:cmap,
  author    =    {Xinyu Feng and Zhong Shao},
  title     =    {Modular Verification of Concurrent Assembly Code with Dynamic Thread Creation and Termination},
  booktitle =    {Proceedings of the 10th ACM SIGPLAN International Conference on Functional Programming (ICFP'05)},
  location  =    {Tallinn, Estonia},
  pages     =    {254--267},
  month     =    {September},
  year      =    2005,
  publisher =    {ACM Press},
  address   =    {New York, NY, USA},
}