{"id":"https://openalex.org/W2912840372","doi":"https://doi.org/10.1134/s0361768819070107","title":"Next-Generation Intermediate Representations for Binary Code Analysis","display_name":"Next-Generation Intermediate Representations for Binary Code Analysis","publication_year":2019,"publication_date":"2019-12-01","ids":{"openalex":"https://openalex.org/W2912840372","doi":"https://doi.org/10.1134/s0361768819070107","mag":"2912840372"},"language":"en","primary_location":{"id":"doi:10.1134/s0361768819070107","doi":"https://doi.org/10.1134/s0361768819070107","is_oa":false,"landing_page_url":"https://doi.org/10.1134/s0361768819070107","pdf_url":null,"source":{"id":"https://openalex.org/S150218641","display_name":"Programming and Computer Software","issn_l":"0361-7688","issn":["0361-7688","1608-3261","3034-5847"],"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":["dongbi-d","jufo-1","norway-1","poland-40","russia-white-list-2"],"host_organization":"https://openalex.org/P4310320267","host_organization_name":"Pleiades Publishing","host_organization_lineage":["https://openalex.org/P4310320267","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Pleiades Publishing","Springer Nature"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Programming and Computer Software","raw_type":"journal-article"},"volume":null,"type":"article","is_traditional":true,"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/A5103282375","display_name":"Mikhail Aleksandrovich Solovev","orcid":"https://orcid.org/0000-0002-0530-6442","observed_orcids":["https://orcid.org/0000-0002-0530-6442"]},"institutions":[{"id":"https://openalex.org/I1313323035","display_name":"Russian Academy of Sciences","ror":"https://ror.org/05qrfxd25","country_code":"RU","type":"government","lineage":["https://openalex.org/I1313323035"]},{"id":"https://openalex.org/I19880235","display_name":"Lomonosov Moscow State University","ror":"https://ror.org/010pmpe69","country_code":"RU","type":"education","lineage":["https://openalex.org/I19880235"]},{"id":"https://openalex.org/I4210101868","display_name":"Institute for System Programming","ror":"https://ror.org/017ef8252","country_code":"RU","type":"facility","lineage":["https://openalex.org/I1313323035","https://openalex.org/I4210101868","https://openalex.org/I4210124601"]}],"countries":["RU"],"is_corresponding":true,"raw_author_name":"M. A. Solovev","raw_affiliation_strings":["Ivannikov Institute for System Programming, Russian Academy of Sciences,  ul. Solzhenitsyna 25, 109004, Moscow, Russia","Moscow State University, 119991, Moscow, Russia","Ivannikov Institute for System Programming, Russian Academy of Sciences, Moscow, Russia","Moscow State University, Moscow, Russia"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Ivannikov Institute for System Programming, Russian Academy of Sciences,  ul. Solzhenitsyna 25, 109004, Moscow, Russia","institution_ids":["https://openalex.org/I1313323035","https://openalex.org/I4210101868"]},{"raw_affiliation_string":"Moscow State University, 119991, Moscow, Russia","institution_ids":["https://openalex.org/I19880235"]},{"raw_affiliation_string":"Ivannikov Institute for System Programming, Russian Academy of Sciences, Moscow, Russia","institution_ids":["https://openalex.org/I1313323035","https://openalex.org/I4210101868"]},{"raw_affiliation_string":"Moscow State University, Moscow, Russia","institution_ids":["https://openalex.org/I19880235"]}]},{"author_position":"middle","author":{"id":null,"display_name":"M. G. Bakulin","orcid":null,"observed_orcids":[]},"institutions":[{"id":"https://openalex.org/I1313323035","display_name":"Russian Academy of Sciences","ror":"https://ror.org/05qrfxd25","country_code":"RU","type":"government","lineage":["https://openalex.org/I1313323035"]},{"id":"https://openalex.org/I4210101868","display_name":"Institute for System Programming","ror":"https://ror.org/017ef8252","country_code":"RU","type":"facility","lineage":["https://openalex.org/I1313323035","https://openalex.org/I4210101868","https://openalex.org/I4210124601"]}],"countries":["RU"],"is_corresponding":true,"raw_author_name":"M. G. Bakulin","raw_affiliation_strings":["Ivannikov Institute for System Programming, Russian Academy of Sciences,  ul. Solzhenitsyna 25, 109004, Moscow, Russia","Ivannikov Institute for System Programming, Russian Academy of Sciences, Moscow, Russia"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Ivannikov Institute for System Programming, Russian Academy of Sciences,  ul. Solzhenitsyna 25, 109004, Moscow, Russia","institution_ids":["https://openalex.org/I1313323035","https://openalex.org/I4210101868"]},{"raw_affiliation_string":"Ivannikov Institute for System Programming, Russian Academy of Sciences, Moscow, Russia","institution_ids":["https://openalex.org/I1313323035","https://openalex.org/I4210101868"]}]},{"author_position":"middle","author":{"id":null,"display_name":"M. S. Gorbachev","orcid":null,"observed_orcids":[]},"institutions":[{"id":"https://openalex.org/I1313323035","display_name":"Russian Academy of Sciences","ror":"https://ror.org/05qrfxd25","country_code":"RU","type":"government","lineage":["https://openalex.org/I1313323035"]},{"id":"https://openalex.org/I4210101868","display_name":"Institute for System Programming","ror":"https://ror.org/017ef8252","country_code":"RU","type":"facility","lineage":["https://openalex.org/I1313323035","https://openalex.org/I4210101868","https://openalex.org/I4210124601"]}],"countries":["RU"],"is_corresponding":true,"raw_author_name":"M. S. Gorbachev","raw_affiliation_strings":["Ivannikov Institute for System Programming, Russian Academy of Sciences,  ul. Solzhenitsyna 25, 109004, Moscow, Russia","Ivannikov Institute for System Programming, Russian Academy of Sciences, Moscow, Russia"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Ivannikov Institute for System Programming, Russian Academy of Sciences,  ul. Solzhenitsyna 25, 109004, Moscow, Russia","institution_ids":["https://openalex.org/I1313323035","https://openalex.org/I4210101868"]},{"raw_affiliation_string":"Ivannikov Institute for System Programming, Russian Academy of Sciences, Moscow, Russia","institution_ids":["https://openalex.org/I1313323035","https://openalex.org/I4210101868"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5086399452","display_name":"\u0414\u043c\u0438\u0442\u0440\u0438\u0439 \u0412\u0430\u043b\u0435\u0440\u044c\u0435\u0432\u0438\u0447 \u041c\u0430\u043d\u0443\u0448\u0438\u043d","orcid":null,"observed_orcids":[]},"institutions":[{"id":"https://openalex.org/I1313323035","display_name":"Russian Academy of Sciences","ror":"https://ror.org/05qrfxd25","country_code":"RU","type":"government","lineage":["https://openalex.org/I1313323035"]},{"id":"https://openalex.org/I19880235","display_name":"Lomonosov Moscow State University","ror":"https://ror.org/010pmpe69","country_code":"RU","type":"education","lineage":["https://openalex.org/I19880235"]},{"id":"https://openalex.org/I4210101868","display_name":"Institute for System Programming","ror":"https://ror.org/017ef8252","country_code":"RU","type":"facility","lineage":["https://openalex.org/I1313323035","https://openalex.org/I4210101868","https://openalex.org/I4210124601"]}],"countries":["RU"],"is_corresponding":true,"raw_author_name":"D. V. Manushin","raw_affiliation_strings":["Ivannikov Institute for System Programming, Russian Academy of Sciences,  ul. Solzhenitsyna 25, 109004, Moscow, Russia","Moscow State University, 119991, Moscow, Russia","Ivannikov Institute for System Programming, Russian Academy of Sciences, Moscow, Russia","Moscow State University, Moscow, Russia"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Ivannikov Institute for System Programming, Russian Academy of Sciences,  ul. Solzhenitsyna 25, 109004, Moscow, Russia","institution_ids":["https://openalex.org/I1313323035","https://openalex.org/I4210101868"]},{"raw_affiliation_string":"Moscow State University, 119991, Moscow, Russia","institution_ids":["https://openalex.org/I19880235"]},{"raw_affiliation_string":"Ivannikov Institute for System Programming, Russian Academy of Sciences, Moscow, Russia","institution_ids":["https://openalex.org/I1313323035","https://openalex.org/I4210101868"]},{"raw_affiliation_string":"Moscow State University, Moscow, Russia","institution_ids":["https://openalex.org/I19880235"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5083854955","display_name":"Vartan Andronikovich Padaryan","orcid":"https://orcid.org/0000-0001-7962-9677","observed_orcids":["https://orcid.org/0000-0001-7962-9677"]},"institutions":[{"id":"https://openalex.org/I1313323035","display_name":"Russian Academy of Sciences","ror":"https://ror.org/05qrfxd25","country_code":"RU","type":"government","lineage":["https://openalex.org/I1313323035"]},{"id":"https://openalex.org/I19880235","display_name":"Lomonosov Moscow State University","ror":"https://ror.org/010pmpe69","country_code":"RU","type":"education","lineage":["https://openalex.org/I19880235"]},{"id":"https://openalex.org/I4210101868","display_name":"Institute for System Programming","ror":"https://ror.org/017ef8252","country_code":"RU","type":"facility","lineage":["https://openalex.org/I1313323035","https://openalex.org/I4210101868","https://openalex.org/I4210124601"]}],"countries":["RU"],"is_corresponding":true,"raw_author_name":"V. A. Padaryan","raw_affiliation_strings":["Ivannikov Institute for System Programming, Russian Academy of Sciences,  ul. Solzhenitsyna 25, 109004, Moscow, Russia","Moscow State University, 119991, Moscow, Russia","Ivannikov Institute for System Programming, Russian Academy of Sciences, Moscow, Russia","Moscow State University, Moscow, Russia"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Ivannikov Institute for System Programming, Russian Academy of Sciences,  ul. Solzhenitsyna 25, 109004, Moscow, Russia","institution_ids":["https://openalex.org/I1313323035","https://openalex.org/I4210101868"]},{"raw_affiliation_string":"Moscow State University, 119991, Moscow, Russia","institution_ids":["https://openalex.org/I19880235"]},{"raw_affiliation_string":"Ivannikov Institute for System Programming, Russian Academy of Sciences, Moscow, Russia","institution_ids":["https://openalex.org/I1313323035","https://openalex.org/I4210101868"]},{"raw_affiliation_string":"Moscow State University, Moscow, Russia","institution_ids":["https://openalex.org/I19880235"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5060469215","display_name":"S.S. Panasenko","orcid":null,"observed_orcids":[]},"institutions":[{"id":"https://openalex.org/I1313323035","display_name":"Russian Academy of Sciences","ror":"https://ror.org/05qrfxd25","country_code":"RU","type":"government","lineage":["https://openalex.org/I1313323035"]},{"id":"https://openalex.org/I4210101868","display_name":"Institute for System Programming","ror":"https://ror.org/017ef8252","country_code":"RU","type":"facility","lineage":["https://openalex.org/I1313323035","https://openalex.org/I4210101868","https://openalex.org/I4210124601"]}],"countries":["RU"],"is_corresponding":true,"raw_author_name":"S. S. Panasenko","raw_affiliation_strings":["Ivannikov Institute for System Programming, Russian Academy of Sciences,  ul. Solzhenitsyna 25, 109004, Moscow, Russia","Ivannikov Institute for System Programming, Russian Academy of Sciences, Moscow, Russia"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Ivannikov Institute for System Programming, Russian Academy of Sciences,  ul. Solzhenitsyna 25, 109004, Moscow, Russia","institution_ids":["https://openalex.org/I1313323035","https://openalex.org/I4210101868"]},{"raw_affiliation_string":"Ivannikov Institute for System Programming, Russian Academy of Sciences, Moscow, Russia","institution_ids":["https://openalex.org/I1313323035","https://openalex.org/I4210101868"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5060469215","https://openalex.org/A5083854955","https://openalex.org/A5086399452","https://openalex.org/A5103282375"],"corresponding_institution_ids":["https://openalex.org/I1313323035","https://openalex.org/I19880235","https://openalex.org/I4210101868"],"apc_list":null,"apc_paid":null,"fwci":0.7,"has_fulltext":false,"cited_by_count":4,"citation_normalized_percentile":{"value":0.70532319,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":88,"max":95},"biblio":{"volume":"45","issue":"7","first_page":"424","last_page":"437"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11424","display_name":"Security and Verification in Computing","score":0.8866999745368958,"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"}},"topics":[{"id":"https://openalex.org/T11424","display_name":"Security and Verification in Computing","score":0.8866999745368958,"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/T10126","display_name":"Logic, programming, and type systems","score":0.048500001430511475,"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/T10260","display_name":"Software Engineering Research","score":0.024399999529123306,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"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/binary-code-analysis","display_name":"binary analysis","score":0.9020000100135803},{"id":"https://openalex.org/keywords/intermediate-representation","display_name":"intermediate representation","score":0.8899999856948853},{"id":"https://openalex.org/keywords/adverse-effects","display_name":"adverse effects","score":0.7009999752044678},{"id":"https://openalex.org/keywords/phi-functions","display_name":"phi-functions","score":0.8510000109672546},{"id":"https://openalex.org/keywords/abstract-interpretation","display_name":"abstract interpretation","score":0.9869999885559082},{"id":"https://openalex.org/keywords/microcontroller","display_name":"microcontroller","score":0.6299999952316284}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8531938791275024},{"id":"https://openalex.org/C169590947","wikidata":"https://www.wikidata.org/wiki/Q47506","display_name":"Compiler","level":2,"score":0.5760904550552368},{"id":"https://openalex.org/C48372109","wikidata":"https://www.wikidata.org/wiki/Q3913","display_name":"Binary number","level":2,"score":0.5698659420013428},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.515072762966156},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.5049262642860413},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.4779398739337921},{"id":"https://openalex.org/C63435697","wikidata":"https://www.wikidata.org/wiki/Q864135","display_name":"Binary code","level":3,"score":0.4606897830963135},{"id":"https://openalex.org/C202491316","wikidata":"https://www.wikidata.org/wiki/Q272683","display_name":"Instruction set","level":2,"score":0.45970234274864197},{"id":"https://openalex.org/C57273362","wikidata":"https://www.wikidata.org/wiki/Q576722","display_name":"Decoding methods","level":2,"score":0.4495491087436676},{"id":"https://openalex.org/C168167062","wikidata":"https://www.wikidata.org/wiki/Q1117970","display_name":"Component (thermodynamics)","level":2,"score":0.44937849044799805},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.4424419403076172},{"id":"https://openalex.org/C77660490","wikidata":"https://www.wikidata.org/wiki/Q244916","display_name":"Intermediate language","level":3,"score":0.4232906401157379},{"id":"https://openalex.org/C133162039","wikidata":"https://www.wikidata.org/wiki/Q1061077","display_name":"Code generation","level":3,"score":0.4194505512714386},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3963191509246826},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.3779345154762268},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.24504688382148743},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.2056472897529602},{"id":"https://openalex.org/C94375191","wikidata":"https://www.wikidata.org/wiki/Q11205","display_name":"Arithmetic","level":1,"score":0.18541467189788818},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.0},{"id":"https://openalex.org/C26517878","wikidata":"https://www.wikidata.org/wiki/Q228039","display_name":"Key (lock)","level":2,"score":0.0},{"id":"https://openalex.org/C97355855","wikidata":"https://www.wikidata.org/wiki/Q11473","display_name":"Thermodynamics","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1134/s0361768819070107","doi":"https://doi.org/10.1134/s0361768819070107","is_oa":false,"landing_page_url":"https://doi.org/10.1134/s0361768819070107","pdf_url":null,"source":{"id":"https://openalex.org/S150218641","display_name":"Programming and Computer Software","issn_l":"0361-7688","issn":["0361-7688","1608-3261","3034-5847"],"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":["dongbi-d","jufo-1","norway-1","poland-40","russia-white-list-2"],"host_organization":"https://openalex.org/P4310320267","host_organization_name":"Pleiades Publishing","host_organization_lineage":["https://openalex.org/P4310320267","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Pleiades Publishing","Springer Nature"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Programming and Computer Software","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":26,"referenced_works":["https://openalex.org/W17195072","https://openalex.org/W1522250664","https://openalex.org/W1582456956","https://openalex.org/W1987099882","https://openalex.org/W1994367926","https://openalex.org/W2014714034","https://openalex.org/W2030530199","https://openalex.org/W2043100293","https://openalex.org/W2103742248","https://openalex.org/W2109004311","https://openalex.org/W2112537029","https://openalex.org/W2113864883","https://openalex.org/W2114067856","https://openalex.org/W2119251836","https://openalex.org/W2128345666","https://openalex.org/W2134633067","https://openalex.org/W2137530017","https://openalex.org/W2153185479","https://openalex.org/W2155943969","https://openalex.org/W2156858199","https://openalex.org/W2166304444","https://openalex.org/W2235853928","https://openalex.org/W2531090983","https://openalex.org/W4234669735","https://openalex.org/W4239035626","https://openalex.org/W4246166885"],"related_works":["https://openalex.org/W3005633438","https://openalex.org/W3006023850","https://openalex.org/W3126406993","https://openalex.org/W2949286123","https://openalex.org/W7166837905","https://openalex.org/W2944023121","https://openalex.org/W7167699122","https://openalex.org/W2946130184","https://openalex.org/W7100899235","https://openalex.org/W4288057809"],"abstract_inverted_index":{"Abstract":[0],"Many":[1],"binary":[2,14,29,57,251],"code":[3,30,252],"analysis":[4,31,58,159,253],"tools":[5],"rely":[6],"on":[7,140,258],"intermediate":[8],"representation":[9],"(IR)":[10],"derived":[11],"from":[12,35,113,187],"a":[13,39,55,68,116,135,141,234],"code,":[15],"instead":[16],"of":[17,41,99,118,134,157,199,249,260,271,285,317],"working":[18],"directly":[19],"with":[20],"machine":[21,189],"instructions.":[22],"In":[23,166],"this":[24,167],"paper,":[25,168],"we":[26,169,232],"first":[27,65],"consider":[28],"problems":[32,50],"that":[33,43,72,114,146,179,225,274],"benefit":[34],"IR":[36,45,178,221,242],"and":[37,85,112,130,173,212,240,293,296],"compile":[38,115],"list":[40,117],"requirements":[42,119],"the":[44,100,121,148,158,162,218,238,241,250,261,318],"suitable":[46],"for":[47,92,120],"solving":[48],"these":[49],"should":[51],"meet.":[52],"Generally":[53],"speaking,":[54],"universal":[56,152],"platform":[59,160],"requires":[60],"two":[61],"principal":[62],"components.":[63],"The":[64,154,196,263],"component":[66,156],"is":[67,161,180],"retargetable":[69,122],"instruction":[70,79,94,103],"decoder":[71,239],"utilizes":[73],"external":[74],"specifications":[75,82],"to":[76,88,183,194,210,236,244,247,310],"describe":[77,170],"target":[78,272],"sets.":[80,95],"External":[81],"facilitate":[83],"maintenance":[84],"allow":[86],"one":[87],"quickly":[89],"implement":[90],"support":[91],"new":[93],"We":[96,124],"analyze":[97],"some":[98],"most":[101,248],"popular":[102],"set":[104,216],"architectures":[105,273],"(ISAs),":[106],"including":[107,281],"those":[108],"used":[109],"in":[110,151,277,301],"microcontrollers,":[111],"decoder.":[123],"then":[125],"overview":[126],"existing":[127],"multi-ISA":[128],"decoders":[129],"propose":[131,174,233],"our":[132],"vision":[133],"more":[136],"generic":[137,297],"approach,":[138],"based":[139],"multi-layer":[142],"directed":[143],"acyclic":[144],"graph":[145],"describes":[147],"decoding":[149],"process":[150],"terms.":[153],"second":[155],"actual":[163],"architecture-neutral":[164],"IR.":[165,262],"such":[171],"IRs":[172],"Pivot":[175,200],"2,":[176],"an":[177],"low-level":[181],"enough":[182],"be":[184],"easily":[185],"constructed":[186],"decoded":[188],"instructions,":[190],"also":[191,222],"being":[192],"easy":[193],"analyze.":[195],"main":[197],"features":[198],"2":[201],"are":[202,275],"explicit":[203],"side":[204,307],"effects,":[205],"SSA":[206],"variables,":[207],"simpler":[208],"alternative":[209],"phi-functions,":[211],"extensible":[213],"elementary":[214],"operation":[215],"at":[217],"core.":[219],"This":[220],"supports":[223],"machines":[224],"have":[226,305],"multiple":[227],"memory":[228,319],"address":[229,298],"spaces.":[230],"Finally,":[231],"way":[235],"tie":[237],"together":[243],"fit":[245],"them":[246],"tasks":[254],"through":[255],"abstract":[256],"interpretation":[257],"top":[259],"proposed":[264],"scheme":[265],"takes":[266],"into":[267],"account":[268],"various":[269],"aspects":[270],"overlooked":[276],"many":[278],"other":[279,314],"works,":[280],"pipeline":[282],"specifics":[283],"(handling":[284],"delay":[286],"slots,":[287],"hardware":[288],"loop":[289],"support,":[290],"etc.),":[291],"exception":[292],"interrupt":[294],"management,":[295],"space":[299],"model,":[300],"which":[302],"accesses":[303],"may":[304],"arbitrary":[306],"effects":[308],"due":[309],"memory-mapped":[311],"devices":[312],"or":[313],"non-trivial":[315],"behavior":[316],"system.":[320]},"counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2021,"cited_by_count":2},{"year":2019,"cited_by_count":1}],"updated_date":"2026-11-10T11:39:43.021295","created_date":"2019-02-21T00:00:00"}