{"id":"https://openalex.org/W3000483662","doi":"https://doi.org/10.1145/301631.301667","title":"Static single assignment form for machine code","display_name":"Static single assignment form for machine code","publication_year":1999,"publication_date":"1999-05-01","ids":{"openalex":"https://openalex.org/W3000483662","doi":"https://doi.org/10.1145/301631.301667","mag":"3000483662"},"language":"en","primary_location":{"id":"doi:10.1145/301631.301667","doi":"https://doi.org/10.1145/301631.301667","is_oa":false,"landing_page_url":"https://doi.org/10.1145/301631.301667","pdf_url":null,"source":{"id":"https://openalex.org/S148324379","display_name":"ACM SIGPLAN Notices","issn_l":"0362-1340","issn":["0362-1340","1558-1160"],"is_oa":false,"is_in_doaj":false,"is_core":true,"listed_in":["cwts-core"],"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 SIGPLAN Notices","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/A5112055430","display_name":"Allen Leung","orcid":null,"observed_orcids":[]},"institutions":[{"id":"https://openalex.org/I57206974","display_name":"New York University","ror":"https://ror.org/0190ak572","country_code":"US","type":"education","lineage":["https://openalex.org/I57206974"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Allen Leung","raw_affiliation_strings":["New York University, 251 Mercer St., New York, NY"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"New York University, 251 Mercer St., New York, NY","institution_ids":["https://openalex.org/I57206974"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5073541118","display_name":"Lal George","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Lal George","raw_affiliation_strings":["Bell Laboratories, 600-700 Mountain Ave., Murray Hill, NJ"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Bell Laboratories, 600-700 Mountain Ave., Murray Hill, NJ","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.5172,"has_fulltext":true,"cited_by_count":7,"citation_normalized_percentile":{"value":0.71247068,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":87,"max":95},"biblio":{"volume":"34","issue":"5","first_page":"204","last_page":"214"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.7523999810218811,"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/T10126","display_name":"Logic, programming, and type systems","score":0.7523999810218811,"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/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.2087000012397766,"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/T10904","display_name":"Embedded Systems Design Techniques","score":0.009800000116229057,"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/static-single-assignment-form","display_name":"static single assignment","score":0.8949999809265137},{"id":"https://openalex.org/keywords/machine-code","display_name":"machine code","score":0.8130000233650208},{"id":"https://openalex.org/keywords/intermediate-representation","display_name":"intermediate representation","score":0.6880000233650208},{"id":"https://openalex.org/keywords/calling-conventions","display_name":"calling conventions","score":0.4519999921321869}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.9207725524902344},{"id":"https://openalex.org/C115168132","wikidata":"https://www.wikidata.org/wiki/Q55813","display_name":"Machine code","level":3,"score":0.7667102813720703},{"id":"https://openalex.org/C169590947","wikidata":"https://www.wikidata.org/wiki/Q47506","display_name":"Compiler","level":2,"score":0.7194666266441345},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.6804086565971375},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5656167268753052},{"id":"https://openalex.org/C77618280","wikidata":"https://www.wikidata.org/wiki/Q1155772","display_name":"Scheme (mathematics)","level":2,"score":0.5416077375411987},{"id":"https://openalex.org/C88977235","wikidata":"https://www.wikidata.org/wiki/Q787114","display_name":"Abstract machine","level":2,"score":0.5255687832832336},{"id":"https://openalex.org/C47434764","wikidata":"https://www.wikidata.org/wiki/Q1770035","display_name":"Dead code","level":5,"score":0.45847633481025696},{"id":"https://openalex.org/C2776359362","wikidata":"https://www.wikidata.org/wiki/Q2145286","display_name":"Representation (politics)","level":3,"score":0.4498049318790436},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.4421626925468445},{"id":"https://openalex.org/C128916667","wikidata":"https://www.wikidata.org/wiki/Q1343660","display_name":"Register allocation","level":3,"score":0.4342455267906189},{"id":"https://openalex.org/C133162039","wikidata":"https://www.wikidata.org/wiki/Q1061077","display_name":"Code generation","level":3,"score":0.4127148389816284},{"id":"https://openalex.org/C2780023022","wikidata":"https://www.wikidata.org/wiki/Q1338171","display_name":"Compensation (psychology)","level":2,"score":0.4101668894290924},{"id":"https://openalex.org/C151578736","wikidata":"https://www.wikidata.org/wiki/Q1251793","display_name":"Redundant code","level":4,"score":0.3864741921424866},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.1869528591632843},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.09433093667030334},{"id":"https://openalex.org/C26517878","wikidata":"https://www.wikidata.org/wiki/Q228039","display_name":"Key (lock)","level":2,"score":0.08160707354545593},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.0},{"id":"https://openalex.org/C94625758","wikidata":"https://www.wikidata.org/wiki/Q7163","display_name":"Politics","level":2,"score":0.0},{"id":"https://openalex.org/C15744967","wikidata":"https://www.wikidata.org/wiki/Q9418","display_name":"Psychology","level":0,"score":0.0},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0},{"id":"https://openalex.org/C11171543","wikidata":"https://www.wikidata.org/wiki/Q41630","display_name":"Psychoanalysis","level":1,"score":0.0},{"id":"https://openalex.org/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","level":1,"score":0.0},{"id":"https://openalex.org/C17744445","wikidata":"https://www.wikidata.org/wiki/Q36442","display_name":"Political science","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/301631.301667","doi":"https://doi.org/10.1145/301631.301667","is_oa":false,"landing_page_url":"https://doi.org/10.1145/301631.301667","pdf_url":null,"source":{"id":"https://openalex.org/S148324379","display_name":"ACM SIGPLAN Notices","issn_l":"0362-1340","issn":["0362-1340","1558-1160"],"is_oa":false,"is_in_doaj":false,"is_core":true,"listed_in":["cwts-core"],"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 SIGPLAN Notices","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":18,"referenced_works":["https://openalex.org/W1584951182","https://openalex.org/W1727650458","https://openalex.org/W1969012464","https://openalex.org/W1971388424","https://openalex.org/W1991073679","https://openalex.org/W2002427499","https://openalex.org/W2010452422","https://openalex.org/W2017351599","https://openalex.org/W2064617810","https://openalex.org/W2064820590","https://openalex.org/W2065826255","https://openalex.org/W2068219251","https://openalex.org/W2076090418","https://openalex.org/W2102890180","https://openalex.org/W2142550124","https://openalex.org/W2996811965","https://openalex.org/W2999496892","https://openalex.org/W3004313105"],"related_works":["https://openalex.org/W32753533","https://openalex.org/W4312582323","https://openalex.org/W2064820590","https://openalex.org/W7071439437","https://openalex.org/W1534459555","https://openalex.org/W7097432456","https://openalex.org/W7096915964","https://openalex.org/W2126559931","https://openalex.org/W1227352821","https://openalex.org/W2338232887"],"abstract_inverted_index":{"Static":[0],"Single":[1],"Assignment":[2],"(SSA)":[3],"is":[4,89],"an":[5],"effective":[6],"intermediate":[7],"representation":[8],"in":[9,57,61,70,90,116],"optimizing":[10],"compilers.":[11],"However,":[12],"traditional":[13],"SSA":[14,91,125],"form":[15],"and":[16,41,60,80],"optimizations":[17],"are":[18,73,120],"not":[19],"applicable":[20],"to":[21,66,122,128],"programs":[22,56],"represented":[23],"as":[24],"native":[25],"machine":[26,58,71,98,130],"instructions":[27],"because":[28],"the":[29,38,113],"use":[30],"of":[31],"dedicated":[32,67],"registers":[33,69,85],"imposed":[34,82],"by":[35,83],"calling":[36],"conventions,":[37],"runtime":[39],"system,":[40],"target":[42],"architecture":[43],"must":[44],"be":[45],"made":[46],"explicit.":[47],"We":[48],"present":[49],"a":[50,87],"simple":[51],"scheme":[52,76],"for":[53],"converting":[54],"between":[55,112],"code":[59,72,96,99,131],"SSA,":[62],"such":[63],"that":[64],"references":[65],"physical":[68,84],"preserved.":[74],"Our":[75],"ignores":[77],"all":[78,110],"output-":[79],"anti-dependences":[81],"while":[86],"program":[88],"form,":[92],"but":[93],"inserts":[94],"compensation":[95],"during":[97],"reconstruction":[100],"if":[101],"any":[102],"naming":[103],"requirements":[104],"have":[105],"been":[106],"violated.":[107],"By":[108],"resolving":[109],"mismatches":[111],"two":[114],"representations":[115],"separate":[117],"phases,":[118],"we":[119],"able":[121],"utilize":[123],"existing":[124],"algorithms":[126],"unaltered":[127],"perform":[129],"optimizations.":[132]},"counts_by_year":[{"year":2024,"cited_by_count":2},{"year":2023,"cited_by_count":1},{"year":2014,"cited_by_count":1},{"year":2012,"cited_by_count":1}],"updated_date":"2026-11-07T11:25:07.637180","created_date":"2020-01-23T00:00:00"}