@misc{indiciae560fc33f8627,
  title = {Path-sensitive analysis for reducing rollback overheads},
  author = {O'Brien, John K.P. and Wang, Kai-Ting Amy and Yamashita, Mark and Zhuang, Xiaotong},
  year = {2014},
  url = {https://www.osti.gov/biblio/1149605},
  note = {Source identifier: 1149605}
}