@InProceedings{CDNB08,
  author =       {Christopher L. Conway and Dennis Dams and Kedar
                  S. Namjoshi and Clark Barrett},
  title =        {Points-to Analysis, Conditional Soundness, and
                  Proving the Absence of Errors},
  booktitle =    {Static Analysis Symposium (SAS)},
  pages =        {62--77},
  year =         2008,
  address =      {Valencia, Spain},
  month =        jul,
  doi =          {http://dx.doi.org/10.1007/978-3-540-69166-2_5}
}

@TechReport{CDNB08-TR,
  author =       {Christopher L. Conway and Dennis Dams and Kedar
                  S. Namjoshi and Clark Barrett},
  title =        {Points-to Analysis, Conditional Soundness, and
                  Proving the Absence of Errors},
  institution =  {New York University, Dept. of Computer Science},
  number =       {TR2008-910},
  year =         2008
}