TY  - RPRT
TI  - Path-sensitive analysis for reducing rollback overheads
AU  - O'Brien, John K.P.
AU  - Wang, Kai-Ting Amy
AU  - Yamashita, Mark
AU  - Zhuang, Xiaotong
PY  - 2014
UR  - https://www.osti.gov/biblio/1149605
ID  - 1149605
ER  -