@InProceedings{yu04:vsca,
  author =       {Dachuan Yu and Zhong Shao},
  title =        {Verification of Safety Properties for Concurrent Assembly Code},
  booktitle =    {Proc. 2004 International Conference on Functional Programming (ICFP'04)},
  year =         2004,
  month =        {September},
  location =     {Snowbird, Utah}
}