{"id":"https://openalex.org/W2125076295","doi":"https://doi.org/10.1145/1024393.1024410","title":"HOIST","display_name":"HOIST","publication_year":2004,"publication_date":"2004-10-07","ids":{"openalex":"https://openalex.org/W2125076295","doi":"https://doi.org/10.1145/1024393.1024410","mag":"2125076295"},"language":"en","primary_location":{"id":"doi:10.1145/1024393.1024410","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1024393.1024410","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 11th international conference on Architectural support for programming languages and operating systems","raw_type":"proceedings-article"},"type":"article","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/A5066046345","display_name":"John Regehr","orcid":"https://orcid.org/0000-0001-7025-4610"},"institutions":[{"id":"https://openalex.org/I223532165","display_name":"University of Utah","ror":"https://ror.org/03r0ha626","country_code":"US","type":"education","lineage":["https://openalex.org/I223532165"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"John Regehr","raw_affiliation_strings":["University of Utah","University of Utah,"],"affiliations":[{"raw_affiliation_string":"University of Utah","institution_ids":["https://openalex.org/I223532165"]},{"raw_affiliation_string":"University of Utah,","institution_ids":["https://openalex.org/I223532165"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5000183647","display_name":"Alastair Reid","orcid":"https://orcid.org/0000-0003-4695-6668"},"institutions":[{"id":"https://openalex.org/I223532165","display_name":"University of Utah","ror":"https://ror.org/03r0ha626","country_code":"US","type":"education","lineage":["https://openalex.org/I223532165"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Alastair Reid","raw_affiliation_strings":["University of Utah","University of Utah,"],"affiliations":[{"raw_affiliation_string":"University of Utah","institution_ids":["https://openalex.org/I223532165"]},{"raw_affiliation_string":"University of Utah,","institution_ids":["https://openalex.org/I223532165"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5066046345"],"corresponding_institution_ids":["https://openalex.org/I223532165"],"apc_list":null,"apc_paid":null,"fwci":3.8348,"has_fulltext":false,"cited_by_count":45,"citation_normalized_percentile":{"value":0.92850334,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":99},"biblio":{"volume":null,"issue":null,"first_page":"133","last_page":"143"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9997000098228455,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9997000098228455,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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/T10142","display_name":"Formal Methods in Verification","score":0.9991000294685364,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.9983999729156494,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/hoist","display_name":"Hoist (device)","score":0.6328362822532654},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.49185800552368164},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.18497571349143982},{"id":"https://openalex.org/keywords/structural-engineering","display_name":"Structural engineering","score":0.10756108164787292}],"concepts":[{"id":"https://openalex.org/C149499870","wikidata":"https://www.wikidata.org/wiki/Q1411613","display_name":"Hoist (device)","level":2,"score":0.6328362822532654},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.49185800552368164},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.18497571349143982},{"id":"https://openalex.org/C66938386","wikidata":"https://www.wikidata.org/wiki/Q633538","display_name":"Structural engineering","level":1,"score":0.10756108164787292}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/1024393.1024410","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1024393.1024410","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 11th international conference on Architectural support for programming languages and operating systems","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":39,"referenced_works":["https://openalex.org/W19219339","https://openalex.org/W195955250","https://openalex.org/W1485813213","https://openalex.org/W1500085611","https://openalex.org/W1544837488","https://openalex.org/W1567887689","https://openalex.org/W1575079504","https://openalex.org/W1582456956","https://openalex.org/W1583904488","https://openalex.org/W1639923106","https://openalex.org/W1762252016","https://openalex.org/W1907234304","https://openalex.org/W1965864973","https://openalex.org/W1994163368","https://openalex.org/W1994660988","https://openalex.org/W2004633100","https://openalex.org/W2035216234","https://openalex.org/W2039572288","https://openalex.org/W2043100293","https://openalex.org/W2048936605","https://openalex.org/W2050587118","https://openalex.org/W2079029390","https://openalex.org/W2080267935","https://openalex.org/W2088224512","https://openalex.org/W2088514859","https://openalex.org/W2104532741","https://openalex.org/W2110423393","https://openalex.org/W2113033572","https://openalex.org/W2114012357","https://openalex.org/W2132661148","https://openalex.org/W2140839406","https://openalex.org/W2142481893","https://openalex.org/W2148911285","https://openalex.org/W2160255280","https://openalex.org/W2166462894","https://openalex.org/W2987077139","https://openalex.org/W4243443630","https://openalex.org/W4301666354","https://openalex.org/W6607904770"],"related_works":["https://openalex.org/W2899084033","https://openalex.org/W2748952813","https://openalex.org/W2992836200","https://openalex.org/W2392092551","https://openalex.org/W2120901800","https://openalex.org/W2360096175","https://openalex.org/W2222823831","https://openalex.org/W2383583959","https://openalex.org/W2374665137","https://openalex.org/W2380957415"],"abstract_inverted_index":{"Embedded":[0],"software":[1,168],"must":[2],"meet":[3,24],"conflicting":[4],"requirements":[5],"such":[6],"as":[7,88],"be-ing":[8],"highly":[9],"reliable,":[10],"running":[11,169],"on":[12,170,187],"resource-constrained":[13],"platforms,":[14],"and":[15,65,132,177,182],"being":[16,185],"developed":[17,69],"rapidly.":[18],"Static":[19],"program":[20],"analysis":[21],"can":[22],"help":[23],"all":[25],"of":[26,44,103,156],"these":[27,76,171],"goals.":[28],"People":[29],"developing":[30],"analyzers":[31],"for":[32],"embedded":[33,181],"object":[34],"code":[35],"face":[36],"a":[37,71,84,97,101],"difficult":[38],"problem:":[39],"writing":[40],"an":[41,113],"abstract":[42,59,81,114,121,139],"version":[43],"each":[45],"instruction":[46],"in":[47,58,152],"the":[48,153,157],"target":[49,158],"architecture(s).":[50],"This":[51],"is":[52,142,161],"currently":[53,143],"done":[54],"by":[55,78],"hand,":[56],"resulting":[57],"operations":[60,82,122],"that":[61,74,106,118,123],"are":[62,107,124,175],"both":[63],"buggy":[64],"im-precise.":[66],"We":[67,116],"have":[68],"Hoist:":[70],"novel":[72],"system":[73],"solves":[75],"problems":[77],"automatically":[79],"constructing":[80],"using":[83],"microprocessor":[85],"(or":[86],"simulator)":[87],"its":[89],"own":[90],"specification.":[91],"With":[92],"almost":[93],"no":[94],"input":[95],"from":[96],"human,":[98],"Hoist":[99,119,141],"generates":[100,120],"collection":[102],"C":[104],"func-tions":[105],"ready":[108],"to":[109,145,149,163,166],"be":[110,164],"linked":[111],"into":[112],"interpreter.":[115],"demonstrate":[117],"cor-rect,":[125],"having":[126],"been":[127],"extensively":[128],"tested,":[129],"sufficiently":[130],"fast,":[131],"substan-tially":[133],"more":[134],"precise":[135],"than":[136],"manually":[137],"written":[138],"operations.":[140],"limited":[144],"eight-bit":[146],"machines":[147],"due":[148],"costs":[150],"exponential":[151],"word":[154],"size":[155],"architecture.":[159],"It":[160],"essential":[162],"able":[165],"analyze":[167],"small":[172],"processors:":[173],"they":[174],"important":[176],"ubiquitous,":[178],"with":[179],"many":[180],"safety-critical":[183],"systems":[184],"based":[186],"them.":[188]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":1},{"year":2021,"cited_by_count":1},{"year":2017,"cited_by_count":1},{"year":2016,"cited_by_count":2},{"year":2015,"cited_by_count":2},{"year":2014,"cited_by_count":1},{"year":2013,"cited_by_count":4},{"year":2012,"cited_by_count":8}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2016-06-24T00:00:00"}