{"id":"https://openalex.org/W2037023397","doi":"https://doi.org/10.1145/301618.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/W2037023397","doi":"https://doi.org/10.1145/301618.301667","mag":"2037023397"},"language":"en","primary_location":{"id":"doi:10.1145/301618.301667","doi":"https://doi.org/10.1145/301618.301667","is_oa":true,"landing_page_url":"https://doi.org/10.1145/301618.301667","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/301631.301667","source":{"id":"https://openalex.org/S4393917474","display_name":"ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)","issn_l":"1531-7102","issn":["1531-7102"],"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the ACM SIGPLAN 1999 conference on Programming language design and implementation","raw_type":"proceedings-article"},"volume":null,"type":"conference-paper","is_traditional":true,"indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"bronze","oa_url":"https://dl.acm.org/doi/pdf/10.1145/301631.301667","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","New York University, 251 Mercer St., New York, NY#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"New York University, 251 Mercer St., New York, NY","institution_ids":["https://openalex.org/I57206974"]},{"raw_affiliation_string":"New York University, 251 Mercer St., New York, NY#TAB#","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.3905,"has_fulltext":true,"cited_by_count":31,"citation_normalized_percentile":{"value":0.49596367,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":87,"max":97},"biblio":{"volume":null,"issue":null,"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.7060999870300293,"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.7060999870300293,"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.2531999945640564,"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.011099999770522118,"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.921999990940094},{"id":"https://openalex.org/keywords/machine-code","display_name":"machine code","score":0.8180000185966492},{"id":"https://openalex.org/keywords/intermediate-representation","display_name":"intermediate representation","score":0.6819999814033508},{"id":"https://openalex.org/keywords/register-renaming","display_name":"register renaming","score":0.5329999923706055},{"id":"https://openalex.org/keywords/calling-conventions","display_name":"calling conventions","score":0.5389999747276306},{"id":"https://openalex.org/keywords/runtime-systems","display_name":"runtime systems","score":0.43700000643730164}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8671995401382446},{"id":"https://openalex.org/C115168132","wikidata":"https://www.wikidata.org/wiki/Q55813","display_name":"Machine code","level":3,"score":0.7505707740783691},{"id":"https://openalex.org/C169590947","wikidata":"https://www.wikidata.org/wiki/Q47506","display_name":"Compiler","level":2,"score":0.742903470993042},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.7049851417541504},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5479112863540649},{"id":"https://openalex.org/C77618280","wikidata":"https://www.wikidata.org/wiki/Q1155772","display_name":"Scheme (mathematics)","level":2,"score":0.5465152859687805},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.49020916223526},{"id":"https://openalex.org/C2776359362","wikidata":"https://www.wikidata.org/wiki/Q2145286","display_name":"Representation (politics)","level":3,"score":0.47473201155662537},{"id":"https://openalex.org/C47434764","wikidata":"https://www.wikidata.org/wiki/Q1770035","display_name":"Dead code","level":5,"score":0.46364155411720276},{"id":"https://openalex.org/C128916667","wikidata":"https://www.wikidata.org/wiki/Q1343660","display_name":"Register allocation","level":3,"score":0.45063748955726624},{"id":"https://openalex.org/C151578736","wikidata":"https://www.wikidata.org/wiki/Q1251793","display_name":"Redundant code","level":4,"score":0.4443286061286926},{"id":"https://openalex.org/C88977235","wikidata":"https://www.wikidata.org/wiki/Q787114","display_name":"Abstract machine","level":2,"score":0.43958431482315063},{"id":"https://openalex.org/C2780023022","wikidata":"https://www.wikidata.org/wiki/Q1338171","display_name":"Compensation (psychology)","level":2,"score":0.4358525276184082},{"id":"https://openalex.org/C133162039","wikidata":"https://www.wikidata.org/wiki/Q1061077","display_name":"Code generation","level":3,"score":0.41141244769096375},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.1630343198776245},{"id":"https://openalex.org/C94625758","wikidata":"https://www.wikidata.org/wiki/Q7163","display_name":"Politics","level":2,"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/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},{"id":"https://openalex.org/C11171543","wikidata":"https://www.wikidata.org/wiki/Q41630","display_name":"Psychoanalysis","level":1,"score":0.0},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"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/C15744967","wikidata":"https://www.wikidata.org/wiki/Q9418","display_name":"Psychology","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}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/301618.301667","doi":"https://doi.org/10.1145/301618.301667","is_oa":true,"landing_page_url":"https://doi.org/10.1145/301618.301667","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/301631.301667","source":{"id":"https://openalex.org/S4393917474","display_name":"ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)","issn_l":"1531-7102","issn":["1531-7102"],"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the ACM SIGPLAN 1999 conference on Programming language design and implementation","raw_type":"proceedings-article"}],"best_oa_location":{"id":"doi:10.1145/301618.301667","doi":"https://doi.org/10.1145/301618.301667","is_oa":true,"landing_page_url":"https://doi.org/10.1145/301618.301667","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/301631.301667","source":{"id":"https://openalex.org/S4393917474","display_name":"ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)","issn_l":"1531-7102","issn":["1531-7102"],"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the ACM SIGPLAN 1999 conference on Programming language design and implementation","raw_type":"proceedings-article"},"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2037023397.pdf","grobid_xml":"https://content.openalex.org/works/W2037023397.grobid-xml"},"referenced_works_count":22,"referenced_works":["https://openalex.org/W1580664042","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/W2112482891","https://openalex.org/W2140503880","https://openalex.org/W2142550124","https://openalex.org/W2788557412","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/W1227352821","https://openalex.org/W7096915964","https://openalex.org/W2338232887","https://openalex.org/W7097432456","https://openalex.org/W7099732059"],"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":2021,"cited_by_count":1},{"year":2020,"cited_by_count":3},{"year":2014,"cited_by_count":1},{"year":2012,"cited_by_count":3}],"updated_date":"2026-11-10T11:39:43.021295","created_date":"2016-06-24T00:00:00"}