{"id":"https://openalex.org/W2064820590","doi":"https://doi.org/10.1002/(sici)1097-024x(19980710)28:8<859::aid-spe188>3.0.co;2-8","title":"Practical improvements to the construction and destruction of static single assignment form","display_name":"Practical improvements to the construction and destruction of static single assignment form","publication_year":1998,"publication_date":"1998-07-10","ids":{"openalex":"https://openalex.org/W2064820590","doi":"https://doi.org/10.1002/(sici)1097-024x(19980710)28:8<859::aid-spe188>3.0.co;2-8","mag":"2064820590"},"language":"en","primary_location":{"id":"doi:10.1002/(sici)1097-024x(19980710)28:8<859::aid-spe188>3.0.co;2-8","is_oa":false,"landing_page_url":"https://doi.org/10.1002/(sici)1097-024x(19980710)28:8<859::aid-spe188>3.0.co;2-8","pdf_url":null,"source":{"id":"https://openalex.org/S122199241","display_name":"Software Practice and Experience","issn_l":"0038-0644","issn":["0038-0644","1097-024X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320595","host_organization_name":"Wiley","host_organization_lineage":["https://openalex.org/P4310320595"],"host_organization_lineage_names":["Wiley"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Software: Practice and Experience","raw_type":"journal-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/A5048046553","display_name":"Preston Briggs","orcid":"https://orcid.org/0000-0001-7217-3793"},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Preston Briggs","raw_affiliation_strings":["Tera Computer Company, 2815 Eastlake Ave. East, Seattle, WA 98102, USA"],"affiliations":[{"raw_affiliation_string":"Tera Computer Company, 2815 Eastlake Ave. East, Seattle, WA 98102, USA","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5073381111","display_name":"Keith D. Cooper","orcid":"https://orcid.org/0000-0003-4288-4847"},"institutions":[{"id":"https://openalex.org/I74775410","display_name":"Rice University","ror":"https://ror.org/008zs3103","country_code":"US","type":"education","lineage":["https://openalex.org/I74775410"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Keith D. Cooper","raw_affiliation_strings":["Department of Computer Science, Rice University, 6100 S. Main - MS 132, Houston, TX 77005, USA"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science, Rice University, 6100 S. Main - MS 132, Houston, TX 77005, USA","institution_ids":["https://openalex.org/I74775410"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5076377812","display_name":"Timothy J. Harvey","orcid":null},"institutions":[{"id":"https://openalex.org/I74775410","display_name":"Rice University","ror":"https://ror.org/008zs3103","country_code":"US","type":"education","lineage":["https://openalex.org/I74775410"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Timothy J. Harvey","raw_affiliation_strings":["Department of Computer Science, Rice University, 6100 S. Main - MS 132, Houston, TX 77005, USA"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science, Rice University, 6100 S. Main - MS 132, Houston, TX 77005, USA","institution_ids":["https://openalex.org/I74775410"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5055271883","display_name":"L. Taylor Simpson","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"L. Taylor Simpson","raw_affiliation_strings":["Trilogy Development Group, 6034 W. Courtyard Dr., Austin, TX 78730, USA"],"affiliations":[{"raw_affiliation_string":"Trilogy Development Group, 6034 W. Courtyard Dr., Austin, TX 78730, USA","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5048046553"],"corresponding_institution_ids":[],"apc_list":{"value":4220,"currency":"USD","value_usd":4220},"apc_paid":null,"fwci":5.6824,"has_fulltext":false,"cited_by_count":122,"citation_normalized_percentile":{"value":0.95689882,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":90,"max":99},"biblio":{"volume":"28","issue":"8","first_page":"859","last_page":"881"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.9997000098228455,"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/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.9997000098228455,"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.9988999962806702,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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/T10772","display_name":"Distributed systems and fault tolerance","score":0.9973000288009644,"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.8186632394790649},{"id":"https://openalex.org/keywords/compiler","display_name":"Compiler","score":0.7310390472412109},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.6029482483863831},{"id":"https://openalex.org/keywords/executable","display_name":"Executable","score":0.5997429490089417},{"id":"https://openalex.org/keywords/optimizing-compiler","display_name":"Optimizing compiler","score":0.554701566696167},{"id":"https://openalex.org/keywords/variation","display_name":"Variation (astronomy)","score":0.5084185004234314},{"id":"https://openalex.org/keywords/register-allocation","display_name":"Register allocation","score":0.49111077189445496},{"id":"https://openalex.org/keywords/compile-time","display_name":"Compile time","score":0.4625363349914551},{"id":"https://openalex.org/keywords/code","display_name":"Code (set theory)","score":0.4605277180671692},{"id":"https://openalex.org/keywords/scheduling","display_name":"Scheduling (production processes)","score":0.45301228761672974},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.41951417922973633},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.38461530208587646},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.11947140097618103},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.10536569356918335},{"id":"https://openalex.org/keywords/mathematical-optimization","display_name":"Mathematical optimization","score":0.09687027335166931}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8186632394790649},{"id":"https://openalex.org/C169590947","wikidata":"https://www.wikidata.org/wiki/Q47506","display_name":"Compiler","level":2,"score":0.7310390472412109},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.6029482483863831},{"id":"https://openalex.org/C160145156","wikidata":"https://www.wikidata.org/wiki/Q778586","display_name":"Executable","level":2,"score":0.5997429490089417},{"id":"https://openalex.org/C190902152","wikidata":"https://www.wikidata.org/wiki/Q1325106","display_name":"Optimizing compiler","level":3,"score":0.554701566696167},{"id":"https://openalex.org/C2778334786","wikidata":"https://www.wikidata.org/wiki/Q1586270","display_name":"Variation (astronomy)","level":2,"score":0.5084185004234314},{"id":"https://openalex.org/C128916667","wikidata":"https://www.wikidata.org/wiki/Q1343660","display_name":"Register allocation","level":3,"score":0.49111077189445496},{"id":"https://openalex.org/C200833197","wikidata":"https://www.wikidata.org/wiki/Q333707","display_name":"Compile time","level":3,"score":0.4625363349914551},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.4605277180671692},{"id":"https://openalex.org/C206729178","wikidata":"https://www.wikidata.org/wiki/Q2271896","display_name":"Scheduling (production processes)","level":2,"score":0.45301228761672974},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.41951417922973633},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.38461530208587646},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.11947140097618103},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.10536569356918335},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.09687027335166931},{"id":"https://openalex.org/C44870925","wikidata":"https://www.wikidata.org/wiki/Q37547","display_name":"Astrophysics","level":1,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1002/(sici)1097-024x(19980710)28:8<859::aid-spe188>3.0.co;2-8","is_oa":false,"landing_page_url":"https://doi.org/10.1002/(sici)1097-024x(19980710)28:8<859::aid-spe188>3.0.co;2-8","pdf_url":null,"source":{"id":"https://openalex.org/S122199241","display_name":"Software Practice and Experience","issn_l":"0038-0644","issn":["0038-0644","1097-024X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320595","host_organization_name":"Wiley","host_organization_lineage":["https://openalex.org/P4310320595"],"host_organization_lineage_names":["Wiley"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Software: Practice and Experience","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[{"id":"https://openalex.org/F4320310133","display_name":"Rice University","ror":"https://ror.org/008zs3103"},{"id":"https://openalex.org/F4320332180","display_name":"Defense Advanced Research Projects Agency","ror":"https://ror.org/02caytj08"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":16,"referenced_works":["https://openalex.org/W51701494","https://openalex.org/W1498962072","https://openalex.org/W1974662185","https://openalex.org/W1982205631","https://openalex.org/W1993402810","https://openalex.org/W2003804316","https://openalex.org/W2006084860","https://openalex.org/W2010459485","https://openalex.org/W2014311072","https://openalex.org/W2043626706","https://openalex.org/W2044636417","https://openalex.org/W2064617810","https://openalex.org/W2065826255","https://openalex.org/W2101811680","https://openalex.org/W2102890180","https://openalex.org/W2116098983"],"related_works":["https://openalex.org/W1601646354","https://openalex.org/W1497385637","https://openalex.org/W2389852039","https://openalex.org/W4253417586","https://openalex.org/W2051379795","https://openalex.org/W2155380397","https://openalex.org/W2078700326","https://openalex.org/W2008876287","https://openalex.org/W1782169904","https://openalex.org/W42780062"],"abstract_inverted_index":{"Static":[0],"Single":[1],"Assignment":[2],"(SSA)":[3],"form":[4,55,133],"is":[5,10,50],"a":[6,51,206,263],"program":[7,95],"representation":[8,265],"that":[9,25,56,124,145,191,220,234,261],"becoming":[11],"increasingly":[12],"popular":[13],"for":[14,159,209],"compiler-based":[15],"code":[16,130],"optimization.":[17],"In":[18],"this":[19],"paper,":[20],"we":[21,57,221],"address":[22],"three":[23],"problems":[24,219],"have":[26,222],"arisen":[27],"in":[28,86,116,131,165,169,186,253],"our":[29],"use":[30,142,262],"of":[31,53,69,82,103,113,189,200,238,248,266],"SSA":[32,39,54,77,132,249],"form.":[33],"Two":[34],"are":[35],"variations":[36],"to":[37,74,118,181,213],"the":[38,67,79,94,101,111,122,139,175,187,194,218,225,236,239,246,254,267],"construction":[40,247],"algorithms":[41],"presented":[42],"by":[43,98,155,257],"Cytron":[44,156],"et":[45,157],"al.1":[46],"The":[47,89,152],"first":[48,240],"variation":[49,91],"version":[52],"call":[58],"\u2018semi-pruned\u2019":[59],"SSA.":[60,88],"It":[61,216],"offers":[62],"an":[63,136,143],"attractive":[64],"trade-off":[65],"between":[66],"cost":[68],"global":[70,201],"data-flow":[71],"analysis":[72],"required":[73],"build":[75],"\u2018pruned\u2019":[76],"and":[78,185],"large":[80],"number":[81,112],"unused":[83],"\u03d5-functions":[84,147],"found":[85],"minimal":[87],"second":[90],"speeds":[92],"up":[93],"renaming":[96],"process":[97],"efficiently":[99,120],"manipulating":[100],"stacks":[102,123],"names":[104],"used":[105],"during":[106,245],"renaming.":[107],"Our":[108],"improvement":[109],"reduces":[110],"pushes":[114],"performed,":[115],"addition":[117],"more":[119],"locating":[121],"should":[125],"be":[126,179],"popped.":[127],"To":[128],"convert":[129],"back":[134],"into":[135],"executable":[137],"form,":[138,250],"compiler":[140,176],"must":[141],"algorithm":[144,153,208],"replaces":[146],"with":[148,224],"appropriately-placed":[149],"copy":[150,211,227],"instructions.":[151],"given":[154],"al.":[158],"inserting":[160,210],"copies":[161],"produces":[162],"incorrect":[163],"results":[164,233],"some":[166,198],"situations;":[167],"particularly":[168],"cases":[170],"like":[171,197],"instruction":[172],"scheduling,":[173],"where":[174],"may":[177],"not":[178,243],"able":[180],"split":[182],"\u2018critical":[183],"edges\u2019,":[184],"aftermath":[188],"optimizations":[190],"aggressively":[192],"rewrite":[193],"name":[195],"space,":[196],"forms":[199],"value":[202],"numbering.2":[203],"We":[204,230],"present":[205,231],"new":[207],"instructions":[212],"replace":[214],"\u03d5-functions.":[215],"fixes":[217],"encountered":[223],"original":[226],"insertion":[228],"algorithm.":[229],"experimental":[232],"demonstrate":[235],"effectiveness":[237],"two":[241],"improvements":[242],"only":[244],"but":[251],"also":[252],"time":[255],"saved":[256],"subsequent":[258],"optimization":[259],"passes":[260],"smaller":[264],"program.":[268],"\u00a9":[269],"1998":[270],"John":[271],"Wiley":[272],"&":[273],"Sons,":[274],"Ltd.":[275]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2023,"cited_by_count":3},{"year":2022,"cited_by_count":4},{"year":2021,"cited_by_count":4},{"year":2020,"cited_by_count":2},{"year":2019,"cited_by_count":3},{"year":2018,"cited_by_count":1},{"year":2016,"cited_by_count":1},{"year":2015,"cited_by_count":4},{"year":2014,"cited_by_count":2},{"year":2013,"cited_by_count":2},{"year":2012,"cited_by_count":9}],"updated_date":"2026-01-15T23:16:33.117629","created_date":"2025-10-10T00:00:00"}