{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,18]],"date-time":"2025-11-18T12:11:35Z","timestamp":1763467895187,"version":"3.44.0"},"reference-count":33,"publisher":"IEEE","license":[{"start":{"date-parts":[[2008,6,1]],"date-time":"2008-06-01T00:00:00Z","timestamp":1212278400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2008,6,1]],"date-time":"2008-06-01T00:00:00Z","timestamp":1212278400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008,6]]},"DOI":"10.1109\/dsn.2008.4630072","type":"proceedings-article","created":{"date-parts":[[2008,9,26]],"date-time":"2008-09-26T11:10:29Z","timestamp":1222427429000},"page":"70-79","source":"Crossref","is-referenced-by-count":75,"title":["Using likely program invariants to detect hardware errors"],"prefix":"10.1109","author":[{"given":"Swarup Kumar","family":"Sahoo","sequence":"first","affiliation":[{"name":"Department of Computer Science, University of Illinois at Urbana-Champaign, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Man-Lap","family":"Li","sequence":"additional","affiliation":[{"name":"Department of Computer Science, University of Illinois at Urbana-Champaign, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Pradeep","family":"Ramachandran","sequence":"additional","affiliation":[{"name":"Department of Computer Science, University of Illinois at Urbana-Champaign, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sarita V.","family":"Adve","sequence":"additional","affiliation":[{"name":"Department of Computer Science, University of Illinois at Urbana-Champaign, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Vikram S.","family":"Adve","sequence":"additional","affiliation":[{"name":"Department of Computer Science, University of Illinois at Urbana-Champaign, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"family":"Yuanyuan Zhou","sequence":"additional","affiliation":[{"name":"Department of Computer Science, University of Illinois at Urbana-Champaign, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"19","article-title":"an architectural framework for detecting process hangs\/crashes","author":"nakka","year":"2005","journal-title":"European Dependable Computing Conference (EDCC)"},{"key":"17","doi-asserted-by":"publisher","DOI":"10.1109\/PACT.2007.4336204"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1109\/HPCA.2006.1598129"},{"key":"33","article-title":"accmon: automatically detecting memory-related bugs via program counter-based invariants","author":"zhou","year":"2004","journal-title":"Proc of the ACM\/IEEE international symposium on Microarchitecture"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1145\/511399.511349"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1109\/MICRO.2007.18"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1109\/MM.2007.5"},{"key":"14","doi-asserted-by":"crossref","DOI":"10.1145\/1105734.1105747","article-title":"multifacet's general execution-driven multiprocessor simulator (gems) toolset","volume":"33","author":"martin","year":"2005","journal-title":"SIGArch Computer Architecture News"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1145\/781147.781148"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1145\/1065010.1065014"},{"key":"21","doi-asserted-by":"publisher","DOI":"10.1109\/24.994926"},{"key":"20","doi-asserted-by":"publisher","DOI":"10.1145\/566210.566213"},{"key":"22","doi-asserted-by":"publisher","DOI":"10.1109\/EDCC.2006.9"},{"key":"23","doi-asserted-by":"crossref","DOI":"10.1145\/545214.545228","article-title":"revive: cost-effective architectural support for rollback recovery in shared-memory multiprocessors","author":"prvulovic","year":"2002","journal-title":"Int Symp Computer Architecture (ISCA)"},{"key":"24","doi-asserted-by":"publisher","DOI":"10.1109\/HPCA.2007.346195"},{"key":"25","doi-asserted-by":"publisher","DOI":"10.1109\/ICCD.2006.4380842"},{"key":"26","doi-asserted-by":"publisher","DOI":"10.1145\/1113841.1113843"},{"key":"27","doi-asserted-by":"publisher","DOI":"10.1109\/FTCS.1999.781037"},{"key":"28","doi-asserted-by":"crossref","DOI":"10.1145\/545214.545229","article-title":"safetynet: improving the availability of shared memory multiprocessors with global checkpoint\/recovery","author":"sorin","year":"2002","journal-title":"Int Symp Computer Architecture (ISCA)"},{"key":"29","doi-asserted-by":"publisher","DOI":"10.1109\/IOLTS.2006.14"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1109\/PACT.2007.4336201"},{"key":"2","doi-asserted-by":"crossref","DOI":"10.1109\/MM.2005.110","article-title":"designing reliable systems from unreliable components: the challenges of transistor variability and degradation","volume":"25","author":"borkar","year":"2005","journal-title":"IEEE Micro"},{"key":"10","article-title":"trace based diagnosis of permanent hardware faults","author":"li","year":"2008","journal-title":"International Conference on Dependable Systems and Networks"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1145\/1127577.1127582"},{"key":"30","doi-asserted-by":"publisher","DOI":"10.1109\/OLT.2003.1214380"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1109\/ICSM.2001.972794"},{"key":"6","article-title":"tracking down software bugs using automatic anomaly detection","author":"hangal","year":"2002","journal-title":"Proceedings of the International Conference on Software Engineering"},{"key":"32","doi-asserted-by":"publisher","DOI":"10.1109\/TDSC.2006.40"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1109\/DFTVS.2003.1250158"},{"year":"0","key":"31"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1145\/302405.302467"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1145\/1346281.1346315"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1109\/CGO.2004.1281665"}],"event":{"name":"2008 IEEE International Conference on Dependable Systems & Networks With FTCS and DCC (DSN)","start":{"date-parts":[[2008,6,24]]},"location":"Anchorage, AK, USA","end":{"date-parts":[[2008,6,27]]}},"container-title":["2008 IEEE International Conference on Dependable Systems and Networks With FTCS and DCC (DSN)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/4610267\/4630050\/04630072.pdf?arnumber=4630072","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,28]],"date-time":"2025-08-28T18:03:14Z","timestamp":1756404194000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/4630072\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,6]]},"references-count":33,"URL":"https:\/\/doi.org\/10.1109\/dsn.2008.4630072","relation":{},"subject":[],"published":{"date-parts":[[2008,6]]}}}