{"id":"https://openalex.org/W2053434709","doi":"https://doi.org/10.1145/1552309.1552312","title":"Self-stabilization preserving compiler","display_name":"Self-stabilization preserving compiler","publication_year":2009,"publication_date":"2009-08-01","ids":{"openalex":"https://openalex.org/W2053434709","doi":"https://doi.org/10.1145/1552309.1552312","mag":"2053434709"},"language":"en","primary_location":{"id":"doi:10.1145/1552309.1552312","is_oa":true,"landing_page_url":"https://doi.org/10.1145/1552309.1552312","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/1552309.1552312","source":{"id":"https://openalex.org/S41449414","display_name":"ACM Transactions on Programming Languages and Systems","issn_l":"0164-0925","issn":["0164-0925","1558-4593"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Programming Languages and Systems","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"bronze","oa_url":"https://dl.acm.org/doi/pdf/10.1145/1552309.1552312","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5060182415","display_name":"Shlomi Dolev","orcid":"https://orcid.org/0000-0001-5418-6670"},"institutions":[{"id":"https://openalex.org/I124227911","display_name":"Ben-Gurion University of the Negev","ror":"https://ror.org/05tkyf982","country_code":"IL","type":"education","lineage":["https://openalex.org/I124227911"]}],"countries":["IL"],"is_corresponding":true,"raw_author_name":"Shlomi Dolev","raw_affiliation_strings":["Ben-Gurion University, Beer-Sheva, Israel"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Ben-Gurion University, Beer-Sheva, Israel","institution_ids":["https://openalex.org/I124227911"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5070881595","display_name":"Yinnon Haviv","orcid":null},"institutions":[{"id":"https://openalex.org/I124227911","display_name":"Ben-Gurion University of the Negev","ror":"https://ror.org/05tkyf982","country_code":"IL","type":"education","lineage":["https://openalex.org/I124227911"]}],"countries":["IL"],"is_corresponding":false,"raw_author_name":"Yinnon Haviv","raw_affiliation_strings":["Ben-Gurion University, Beer-Sheva, Israel"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Ben-Gurion University, Beer-Sheva, Israel","institution_ids":["https://openalex.org/I124227911"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5002512849","display_name":"Mooly Sagiv","orcid":null},"institutions":[{"id":"https://openalex.org/I16391192","display_name":"Tel Aviv University","ror":"https://ror.org/04mhzgx49","country_code":"IL","type":"education","lineage":["https://openalex.org/I16391192"]}],"countries":["IL"],"is_corresponding":false,"raw_author_name":"Mooly Sagiv","raw_affiliation_strings":["Tel-Aviv University, Tel-Aviv, Israel","Tel Aviv University, Tel Aviv, Israel,"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Tel-Aviv University, Tel-Aviv, Israel","institution_ids":["https://openalex.org/I16391192"]},{"raw_affiliation_string":"Tel Aviv University, Tel Aviv, Israel,","institution_ids":["https://openalex.org/I16391192"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5060182415"],"corresponding_institution_ids":["https://openalex.org/I124227911"],"apc_list":null,"apc_paid":null,"fwci":1.0883,"has_fulltext":true,"cited_by_count":9,"citation_normalized_percentile":{"value":0.79074301,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":97},"biblio":{"volume":"31","issue":"6","first_page":"1","last_page":"42"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10772","display_name":"Distributed systems and fault tolerance","score":0.9998999834060669,"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"}},"topics":[{"id":"https://openalex.org/T10772","display_name":"Distributed systems and fault tolerance","score":0.9998999834060669,"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/T10933","display_name":"Real-Time Systems Scheduling","score":0.9943000078201294,"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"}},{"id":"https://openalex.org/T10715","display_name":"Distributed and Parallel Computing Systems","score":0.992900013923645,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.9231423139572144},{"id":"https://openalex.org/keywords/compiler","display_name":"Compiler","score":0.8956576585769653},{"id":"https://openalex.org/keywords/microprocessor","display_name":"Microprocessor","score":0.6833971738815308},{"id":"https://openalex.org/keywords/security-token","display_name":"Security token","score":0.6011207699775696},{"id":"https://openalex.org/keywords/machine-code","display_name":"Machine code","score":0.5883898735046387},{"id":"https://openalex.org/keywords/state","display_name":"State (computer science)","score":0.5210717916488647},{"id":"https://openalex.org/keywords/realization","display_name":"Realization (probability)","score":0.4787551760673523},{"id":"https://openalex.org/keywords/self-stabilization","display_name":"Self-stabilization","score":0.4732392728328705},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.45078200101852417},{"id":"https://openalex.org/keywords/compiler-construction","display_name":"Compiler construction","score":0.44273626804351807},{"id":"https://openalex.org/keywords/fault-tolerance","display_name":"Fault tolerance","score":0.42974579334259033},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.3332529067993164},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.30846258997917175},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.29307442903518677},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.24876990914344788}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.9231423139572144},{"id":"https://openalex.org/C169590947","wikidata":"https://www.wikidata.org/wiki/Q47506","display_name":"Compiler","level":2,"score":0.8956576585769653},{"id":"https://openalex.org/C2780728072","wikidata":"https://www.wikidata.org/wiki/Q5297","display_name":"Microprocessor","level":2,"score":0.6833971738815308},{"id":"https://openalex.org/C48145219","wikidata":"https://www.wikidata.org/wiki/Q1335365","display_name":"Security token","level":2,"score":0.6011207699775696},{"id":"https://openalex.org/C115168132","wikidata":"https://www.wikidata.org/wiki/Q55813","display_name":"Machine code","level":3,"score":0.5883898735046387},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.5210717916488647},{"id":"https://openalex.org/C2781089630","wikidata":"https://www.wikidata.org/wiki/Q21856745","display_name":"Realization (probability)","level":2,"score":0.4787551760673523},{"id":"https://openalex.org/C71112949","wikidata":"https://www.wikidata.org/wiki/Q2873036","display_name":"Self-stabilization","level":3,"score":0.4732392728328705},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.45078200101852417},{"id":"https://openalex.org/C9957790","wikidata":"https://www.wikidata.org/wiki/Q47506","display_name":"Compiler construction","level":3,"score":0.44273626804351807},{"id":"https://openalex.org/C63540848","wikidata":"https://www.wikidata.org/wiki/Q3140932","display_name":"Fault tolerance","level":2,"score":0.42974579334259033},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.3332529067993164},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.30846258997917175},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.29307442903518677},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.24876990914344788},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.0},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/1552309.1552312","is_oa":true,"landing_page_url":"https://doi.org/10.1145/1552309.1552312","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/1552309.1552312","source":{"id":"https://openalex.org/S41449414","display_name":"ACM Transactions on Programming Languages and Systems","issn_l":"0164-0925","issn":["0164-0925","1558-4593"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Programming Languages and Systems","raw_type":"journal-article"}],"best_oa_location":{"id":"doi:10.1145/1552309.1552312","is_oa":true,"landing_page_url":"https://doi.org/10.1145/1552309.1552312","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/1552309.1552312","source":{"id":"https://openalex.org/S41449414","display_name":"ACM Transactions on Programming Languages and Systems","issn_l":"0164-0925","issn":["0164-0925","1558-4593"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Programming Languages and Systems","raw_type":"journal-article"},"sustainable_development_goals":[{"display_name":"Industry, innovation and infrastructure","score":0.6499999761581421,"id":"https://metadata.un.org/sdg/9"}],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2053434709.pdf","grobid_xml":"https://content.openalex.org/works/W2053434709.grobid-xml"},"referenced_works_count":42,"referenced_works":["https://openalex.org/W15096891","https://openalex.org/W144170181","https://openalex.org/W1485097800","https://openalex.org/W1495759803","https://openalex.org/W1501584870","https://openalex.org/W1531062132","https://openalex.org/W1557638496","https://openalex.org/W1574117976","https://openalex.org/W1585716122","https://openalex.org/W1715248483","https://openalex.org/W1853368733","https://openalex.org/W1923061064","https://openalex.org/W1969402593","https://openalex.org/W1970745521","https://openalex.org/W1973501242","https://openalex.org/W1983804562","https://openalex.org/W1990911977","https://openalex.org/W2041934190","https://openalex.org/W2043801088","https://openalex.org/W2102907001","https://openalex.org/W2111132249","https://openalex.org/W2118229393","https://openalex.org/W2120510885","https://openalex.org/W2135985056","https://openalex.org/W2142724976","https://openalex.org/W2143455630","https://openalex.org/W2169213530","https://openalex.org/W2291503297","https://openalex.org/W2294415147","https://openalex.org/W2296752404","https://openalex.org/W2340995113","https://openalex.org/W2394680403","https://openalex.org/W2581048081","https://openalex.org/W2611515161","https://openalex.org/W2796341672","https://openalex.org/W3137220996","https://openalex.org/W4254970788","https://openalex.org/W4285719527","https://openalex.org/W4376598654","https://openalex.org/W6642345746","https://openalex.org/W6677551240","https://openalex.org/W7056210342"],"related_works":["https://openalex.org/W2369288331","https://openalex.org/W2192862863","https://openalex.org/W2004605222","https://openalex.org/W2522590477","https://openalex.org/W2467097043","https://openalex.org/W2017260672","https://openalex.org/W2481541078","https://openalex.org/W1497385637","https://openalex.org/W1495759803","https://openalex.org/W2053434709"],"abstract_inverted_index":{"Self-stabilization":[0],"is":[1,12],"an":[2],"elegant":[3],"approach":[4],"for":[5,30,76,103],"designing":[6],"fault":[7],"tolerant":[8],"systems.":[9],"A":[10],"system":[11,75],"considered":[13],"self-stabilizing":[14,69,73],"if,":[15],"starting":[16],"in":[17,117],"any":[18],"state,":[19],"it":[20],"converges":[21],"to":[22,87,121],"the":[23,60,80,84,94,122,130,134],"desired":[24],"behavior.":[25],"Self-stabilizing":[26],"algorithms":[27,46,58,85],"were":[28,47],"designed":[29,111],"solving":[31],"fundamental":[32],"distributed":[33],"tasks,":[34],"such":[35,66],"as":[36,67],"leader":[37],"election,":[38],"token":[39],"circulation":[40],"and":[41,71,112],"communication":[42],"network":[43],"protocols.":[44],"The":[45,54,108,127],"expressed":[48],"using":[49],"guarded":[50],"commands":[51],"or":[52],"pseudo-code.":[53],"realization":[55],"of":[56,62,83,93,133],"these":[57],"requires":[59],"existence":[61],"a":[63,68,72,104,118],"(self-stabilizing)":[64],"infrastructure":[65],"microprocessor":[70],"operating":[74],"their":[77],"execution.":[78],"Moreover,":[79],"high-level":[81],"description":[82],"needs":[86],"be":[88],"converted":[89],"into":[90],"machine":[91,125],"language":[92,119],"microprocessor.":[95],"In":[96],"this":[97],"article,":[98],"we":[99,110],"present":[100],"our":[101],"design":[102],"self-stabilization":[105],"preserving":[106],"compiler.":[107],"compiler":[109,128],"implemented":[113],"transforms":[114],"programs":[115],"written":[116],"similar":[120],"abstract":[123],"state":[124],"(ASM).":[126],"preserves":[129],"stabilization":[131],"property":[132],"high":[135],"level":[136],"program.":[137]},"counts_by_year":[{"year":2019,"cited_by_count":1},{"year":2016,"cited_by_count":3},{"year":2014,"cited_by_count":1},{"year":2013,"cited_by_count":1},{"year":2012,"cited_by_count":3}],"updated_date":"2026-05-21T06:26:12.895304","created_date":"2025-10-10T00:00:00"}