{"id":"https://openalex.org/W2003740940","doi":"https://doi.org/10.1145/2228360.2228485","title":"Reliable computing with ultra-reduced instruction set co-processors","display_name":"Reliable computing with ultra-reduced instruction set co-processors","publication_year":2012,"publication_date":"2012-05-31","ids":{"openalex":"https://openalex.org/W2003740940","doi":"https://doi.org/10.1145/2228360.2228485","mag":"2003740940"},"language":"en","primary_location":{"id":"doi:10.1145/2228360.2228485","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2228360.2228485","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 49th Annual Design Automation Conference","raw_type":"proceedings-article"},"type":"conference-paper","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5008807490","display_name":"Aravindkumar Rajendiran","orcid":null},"institutions":[{"id":"https://openalex.org/I151746483","display_name":"University of Waterloo","ror":"https://ror.org/01aff2v68","country_code":"CA","type":"education","lineage":["https://openalex.org/I151746483"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"Aravindkumar Rajendiran","raw_affiliation_strings":["University of Waterloo","(University of Waterloo)"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Waterloo","institution_ids":["https://openalex.org/I151746483"]},{"raw_affiliation_string":"(University of Waterloo)","institution_ids":["https://openalex.org/I151746483"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5031778534","display_name":"Sundaram Ananthanarayanan","orcid":null},"institutions":[{"id":"https://openalex.org/I151746483","display_name":"University of Waterloo","ror":"https://ror.org/01aff2v68","country_code":"CA","type":"education","lineage":["https://openalex.org/I151746483"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"Sundaram Ananthanarayanan","raw_affiliation_strings":["University of Waterloo","(University of Waterloo)"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Waterloo","institution_ids":["https://openalex.org/I151746483"]},{"raw_affiliation_string":"(University of Waterloo)","institution_ids":["https://openalex.org/I151746483"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5074065388","display_name":"Hiren Patel","orcid":"https://orcid.org/0000-0003-2750-4471"},"institutions":[{"id":"https://openalex.org/I151746483","display_name":"University of Waterloo","ror":"https://ror.org/01aff2v68","country_code":"CA","type":"education","lineage":["https://openalex.org/I151746483"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"Hiren D. Patel","raw_affiliation_strings":["University of Waterloo","(University of Waterloo)"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Waterloo","institution_ids":["https://openalex.org/I151746483"]},{"raw_affiliation_string":"(University of Waterloo)","institution_ids":["https://openalex.org/I151746483"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5081788400","display_name":"Mahesh Tripunitara","orcid":"https://orcid.org/0000-0002-3615-9393"},"institutions":[{"id":"https://openalex.org/I151746483","display_name":"University of Waterloo","ror":"https://ror.org/01aff2v68","country_code":"CA","type":"education","lineage":["https://openalex.org/I151746483"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"Mahesh V. Tripunitara","raw_affiliation_strings":["University of Waterloo","(University of Waterloo)"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Waterloo","institution_ids":["https://openalex.org/I151746483"]},{"raw_affiliation_string":"(University of Waterloo)","institution_ids":["https://openalex.org/I151746483"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5010950688","display_name":"Siddharth Garg","orcid":"https://orcid.org/0000-0002-6158-9512"},"institutions":[{"id":"https://openalex.org/I151746483","display_name":"University of Waterloo","ror":"https://ror.org/01aff2v68","country_code":"CA","type":"education","lineage":["https://openalex.org/I151746483"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"Siddharth Garg","raw_affiliation_strings":["University of Waterloo","(University of Waterloo)"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Waterloo","institution_ids":["https://openalex.org/I151746483"]},{"raw_affiliation_string":"(University of Waterloo)","institution_ids":["https://openalex.org/I151746483"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I151746483"],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":17,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"697","last_page":"702"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11005","display_name":"Radiation Effects in Electronics","score":0.9998000264167786,"subfield":{"id":"https://openalex.org/subfields/2208","display_name":"Electrical and Electronic Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T11005","display_name":"Radiation Effects in Electronics","score":0.9998000264167786,"subfield":{"id":"https://openalex.org/subfields/2208","display_name":"Electrical and Electronic Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10772","display_name":"Distributed systems and fault tolerance","score":0.996999979019165,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10502","display_name":"Advanced Memory and Neural Computing","score":0.9962999820709229,"subfield":{"id":"https://openalex.org/subfields/2208","display_name":"Electrical and Electronic Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.892462968826294},{"id":"https://openalex.org/keywords/compiler","display_name":"Compiler","score":0.747175931930542},{"id":"https://openalex.org/keywords/instruction-set","display_name":"Instruction set","score":0.6923007965087891},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.5953330993652344},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.519615113735199},{"id":"https://openalex.org/keywords/field-programmable-gate-array","display_name":"Field-programmable gate array","score":0.4559105634689331},{"id":"https://openalex.org/keywords/computation","display_name":"Computation","score":0.43481212854385376},{"id":"https://openalex.org/keywords/fault-tolerance","display_name":"Fault tolerance","score":0.434640109539032},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.4283193349838257},{"id":"https://openalex.org/keywords/computer-architecture","display_name":"Computer architecture","score":0.3756527900695801},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.35600751638412476},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.31260114908218384},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.18104350566864014}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.892462968826294},{"id":"https://openalex.org/C169590947","wikidata":"https://www.wikidata.org/wiki/Q47506","display_name":"Compiler","level":2,"score":0.747175931930542},{"id":"https://openalex.org/C202491316","wikidata":"https://www.wikidata.org/wiki/Q272683","display_name":"Instruction set","level":2,"score":0.6923007965087891},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.5953330993652344},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.519615113735199},{"id":"https://openalex.org/C42935608","wikidata":"https://www.wikidata.org/wiki/Q190411","display_name":"Field-programmable gate array","level":2,"score":0.4559105634689331},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.43481212854385376},{"id":"https://openalex.org/C63540848","wikidata":"https://www.wikidata.org/wiki/Q3140932","display_name":"Fault tolerance","level":2,"score":0.434640109539032},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.4283193349838257},{"id":"https://openalex.org/C118524514","wikidata":"https://www.wikidata.org/wiki/Q173212","display_name":"Computer architecture","level":1,"score":0.3756527900695801},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.35600751638412476},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.31260114908218384},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.18104350566864014}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/2228360.2228485","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2228360.2228485","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 49th Annual Design Automation Conference","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Quality Education","score":0.4300000071525574,"id":"https://metadata.un.org/sdg/4"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":11,"referenced_works":["https://openalex.org/W1991406672","https://openalex.org/W2083004950","https://openalex.org/W2086311869","https://openalex.org/W2099828501","https://openalex.org/W2116059696","https://openalex.org/W2117141734","https://openalex.org/W2128941141","https://openalex.org/W2151113616","https://openalex.org/W2151845324","https://openalex.org/W2336615066","https://openalex.org/W4230692490"],"related_works":["https://openalex.org/W4240253816","https://openalex.org/W3096456556","https://openalex.org/W2169584677","https://openalex.org/W2979513934","https://openalex.org/W4232954277","https://openalex.org/W2020341030","https://openalex.org/W2749133591","https://openalex.org/W2367473450","https://openalex.org/W23346600","https://openalex.org/W2460280200"],"abstract_inverted_index":{"This":[0],"work":[1],"presents":[2],"a":[3,34,71,92,96],"method":[4,27],"to":[5,85,114,123],"reliably":[6],"perform":[7],"computations":[8],"in":[9,60,78,135],"the":[10,40,50,61,66,107,112,124,133,136,139,163,169,172],"presence":[11],"of":[12,42,117,138,171],"hard":[13],"faults":[14],"arising":[15],"from":[16,23],"aggressive":[17],"technology":[18],"scaling,":[19],"and":[20,77,131,154,165,168],"design":[21],"defects":[22],"human":[24],"error.":[25],"Our":[26,160],"is":[28,49,74],"based":[29],"on":[30,156],"an":[31,157],"observation":[32],"that":[33,65,105,119],"single":[35],"Turing-complete":[36,72],"instruction":[37,48,73,100],"can":[38],"mirror":[39],"semantics":[41],"any":[43],"other":[44],"instruction.":[45,109],"One":[46],"such":[47,70],"subleq":[51,108,118],"instruction,":[52],"which":[53,151],"has":[54],"been":[55],"used":[56],"for":[57,68,145],"instructional":[58],"purposes":[59],"past.":[62],"We":[63,110,127,142],"find":[64],"scope":[67],"using":[69],"far":[75],"greater,":[76],"this":[79],"paper,":[80],"we":[81,90,152],"present":[82],"its":[83],"applicability":[84],"fault":[86],"tolerance.":[87],"In":[88],"particular,":[89],"extend":[91],"MIPS":[93],"processor":[94],"with":[95],"co-processor":[97,102],"(called":[98],"ultra-reduced":[99],"set":[101],"--":[103],"URISC)":[104],"implements":[106],"use":[111],"URISC":[113],"execute":[115,155],"sequences":[116],"are":[120],"semantically":[121],"equivalent":[122],"faulty":[125],"instructions.":[126],"formally":[128],"prove":[129],"this,":[130],"implement":[132],"translations":[134],"back-end":[137],"LLVM":[140],"compiler.":[141],"generate":[143],"binaries":[144],"our":[146],"hardware":[147],"prototype":[148],"called":[149],"MIPS-URISC,":[150],"synthesize":[153],"Altera":[158],"FPGA.":[159],"experiments":[161],"indicate":[162],"performance":[164],"area":[166],"overheads,":[167],"efficacy":[170],"proposed":[173],"approach.":[174]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":1},{"year":2022,"cited_by_count":2},{"year":2017,"cited_by_count":1},{"year":2016,"cited_by_count":2},{"year":2015,"cited_by_count":3},{"year":2013,"cited_by_count":7}],"updated_date":"2026-07-14T23:27:15.235271","created_date":"2025-10-10T00:00:00"}