@inproceedings{adve_using_2008,
	title = {Using {Likely} {Program} {Invariants} to {Detect} {Hardware} {Errors}},
	url = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.146.4976},
	booktitle = {Proc. of the {IEEE} {Int}'l {Conf}. on  {Dependable} {Systems} and {Networks}},
	author = {Adve, Sarita V and Adve, Vikram S and Zhou, Yuanyuan},
	year = {2008},
	pages = {70--79}
}

{"_id":"Cm5GTeztJ8LLxycKt","bibbaseid":"adve-adve-zhou-usinglikelyprograminvariantstodetecthardwareerrors-2008","downloads":0,"creationDate":"2016-10-15T13:23:23.580Z","title":"Using Likely Program Invariants to Detect Hardware Errors","author_short":["Adve, S. V","Adve, V. S","Zhou, Y."],"year":2008,"bibtype":"inproceedings","biburl":"http://bibbase.org/zotero/pentarious","bibdata":{"bibtype":"inproceedings","type":"inproceedings","title":"Using Likely Program Invariants to Detect Hardware Errors","url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.146.4976","booktitle":"Proc. of the IEEE Int'l Conf. on Dependable Systems and Networks","author":[{"propositions":[],"lastnames":["Adve"],"firstnames":["Sarita","V"],"suffixes":[]},{"propositions":[],"lastnames":["Adve"],"firstnames":["Vikram","S"],"suffixes":[]},{"propositions":[],"lastnames":["Zhou"],"firstnames":["Yuanyuan"],"suffixes":[]}],"year":"2008","pages":"70--79","bibtex":"@inproceedings{adve_using_2008,\n\ttitle = {Using {Likely} {Program} {Invariants} to {Detect} {Hardware} {Errors}},\n\turl = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.146.4976},\n\tbooktitle = {Proc. of the {IEEE} {Int}'l {Conf}. on {Dependable} {Systems} and {Networks}},\n\tauthor = {Adve, Sarita V and Adve, Vikram S and Zhou, Yuanyuan},\n\tyear = {2008},\n\tpages = {70--79}\n}\n","author_short":["Adve, S. V","Adve, V. S","Zhou, Y."],"key":"adve_using_2008","id":"adve_using_2008","bibbaseid":"adve-adve-zhou-usinglikelyprograminvariantstodetecthardwareerrors-2008","role":"author","urls":{"Paper":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.146.4976"},"downloads":0},"search_terms":["using","program","invariants","detect","hardware","errors","adve","adve","zhou"],"keywords":[],"authorIDs":[],"dataSources":["QiRZ7m7shEMvADZkd"]}