{"id":"https://openalex.org/W2000722076","doi":"https://doi.org/10.1145/319301.319348","title":"Partial redundancy elimination in SSA form","display_name":"Partial redundancy elimination in SSA form","publication_year":1999,"publication_date":"1999-05-01","ids":{"openalex":"https://openalex.org/W2000722076","doi":"https://doi.org/10.1145/319301.319348","mag":"2000722076"},"language":"en","primary_location":{"id":"doi:10.1145/319301.319348","doi":"https://doi.org/10.1145/319301.319348","is_oa":true,"landing_page_url":"https://doi.org/10.1145/319301.319348","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/319301.319348","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,"listed_in":["ccf-a","cwts-core","dongbi-a","jufo-3","norway-2","poland-140","russia-white-list-2"],"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"},"volume":null,"type":"article","is_traditional":true,"indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"bronze","oa_url":"https://dl.acm.org/doi/pdf/10.1145/319301.319348","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":null,"display_name":"Robert Kennedy","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Robert Kennedy","raw_affiliation_strings":["Silicon Graphics, Inc., Mountain View, CA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Silicon Graphics, Inc., Mountain View, CA","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5103361154","display_name":"Sun Chan","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Sun Chan","raw_affiliation_strings":["Silicon Graphics, Inc., Mountain View, CA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Silicon Graphics, Inc., Mountain View, CA","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5108194845","display_name":"Shin-Ming Liu","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Shin-Ming Liu","raw_affiliation_strings":["Silicon Graphics, Inc., Mountain View, CA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Silicon Graphics, Inc., Mountain View, CA","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5065899425","display_name":"Raymond Lo","orcid":"https://orcid.org/0000-0003-1680-5914","observed_orcids":["https://orcid.org/0000-0003-1680-5914"]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Raymond Lo","raw_affiliation_strings":["Silicon Graphics, Inc., Mountain View, CA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Silicon Graphics, Inc., Mountain View, CA","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5112101688","display_name":"Peng Tu","orcid":"https://orcid.org/0009-0009-1704-6738","observed_orcids":["https://orcid.org/0009-0009-1704-6738"]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Peng Tu","raw_affiliation_strings":["Silicon Graphics, Inc., Mountain View, CA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Silicon Graphics, Inc., Mountain View, CA","institution_ids":[]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5003788107","display_name":"Fred Chow","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Fred Chow","raw_affiliation_strings":["Silicon Graphics, Inc., Mountain View, CA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Silicon Graphics, Inc., Mountain View, CA","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":1.7575,"has_fulltext":true,"cited_by_count":97,"citation_normalized_percentile":{"value":0.87924528,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":88,"max":98},"biblio":{"volume":"21","issue":"3","first_page":"627","last_page":"676"},"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.8057000041007996,"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.8057000041007996,"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.1387999951839447,"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/T10260","display_name":"Software Engineering Research","score":0.007199999876320362,"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/partial-redundancy-elimination","display_name":"partial redundancy elimination","score":0.9990000128746033},{"id":"https://openalex.org/keywords/ssa-form","display_name":"SSA form","score":0.8799999952316284},{"id":"https://openalex.org/keywords/sparse-optimization","display_name":"sparse optimization","score":0.4339999854564667},{"id":"https://openalex.org/keywords/compiler-optimization","display_name":"compiler optimization","score":0.7009999752044678},{"id":"https://openalex.org/keywords/program-optimization","display_name":"program optimization","score":0.38600000739097595}],"concepts":[{"id":"https://openalex.org/C152124472","wikidata":"https://www.wikidata.org/wiki/Q1204361","display_name":"Redundancy (engineering)","level":2,"score":0.799940824508667},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.791090726852417},{"id":"https://openalex.org/C108710211","wikidata":"https://www.wikidata.org/wiki/Q11538","display_name":"Mathematical proof","level":2,"score":0.6354966163635254},{"id":"https://openalex.org/C185798385","wikidata":"https://www.wikidata.org/wiki/Q1161707","display_name":"Benchmark (surveying)","level":2,"score":0.5061551928520203},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.4342940151691437},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3907294273376465},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.3753699064254761},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.1496874988079071},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0},{"id":"https://openalex.org/C205649164","wikidata":"https://www.wikidata.org/wiki/Q1071","display_name":"Geography","level":0,"score":0.0},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.0},{"id":"https://openalex.org/C13280743","wikidata":"https://www.wikidata.org/wiki/Q131089","display_name":"Geodesy","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1145/319301.319348","doi":"https://doi.org/10.1145/319301.319348","is_oa":true,"landing_page_url":"https://doi.org/10.1145/319301.319348","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/319301.319348","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,"listed_in":["ccf-a","cwts-core","dongbi-a","jufo-3","norway-2","poland-140","russia-white-list-2"],"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"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.33.9783","doi":null,"is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.33.9783","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://reality.sgi.com/dehnert_engr/papers/KCLLTC99.ps","raw_type":"text"}],"best_oa_location":{"id":"doi:10.1145/319301.319348","doi":"https://doi.org/10.1145/319301.319348","is_oa":true,"landing_page_url":"https://doi.org/10.1145/319301.319348","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/319301.319348","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,"listed_in":["ccf-a","cwts-core","dongbi-a","jufo-3","norway-2","poland-140","russia-white-list-2"],"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":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2000722076.pdf","grobid_xml":"https://content.openalex.org/works/W2000722076.grobid-xml"},"referenced_works_count":45,"referenced_works":["https://openalex.org/W51701494","https://openalex.org/W112802207","https://openalex.org/W184768350","https://openalex.org/W1522286888","https://openalex.org/W1552117776","https://openalex.org/W1559984336","https://openalex.org/W1593156790","https://openalex.org/W1727650458","https://openalex.org/W1961794994","https://openalex.org/W1979242329","https://openalex.org/W1982205631","https://openalex.org/W1993402810","https://openalex.org/W1994334933","https://openalex.org/W2002427499","https://openalex.org/W2007845800","https://openalex.org/W2010452422","https://openalex.org/W2017351599","https://openalex.org/W2025317174","https://openalex.org/W2044895797","https://openalex.org/W2058360616","https://openalex.org/W2064617810","https://openalex.org/W2065826255","https://openalex.org/W2072910724","https://openalex.org/W2078314687","https://openalex.org/W2082141108","https://openalex.org/W2087086761","https://openalex.org/W2101811680","https://openalex.org/W2102088359","https://openalex.org/W2102890180","https://openalex.org/W2109027606","https://openalex.org/W2112482891","https://openalex.org/W2114067856","https://openalex.org/W2144984947","https://openalex.org/W2151174601","https://openalex.org/W2160313335","https://openalex.org/W2911733618","https://openalex.org/W3145380384","https://openalex.org/W4230287091","https://openalex.org/W4232640234","https://openalex.org/W4239519696","https://openalex.org/W4240398419","https://openalex.org/W4243441002","https://openalex.org/W4251329058","https://openalex.org/W4251667786","https://openalex.org/W4285719527"],"related_works":["https://openalex.org/W2002427499","https://openalex.org/W1974561451","https://openalex.org/W2098321250","https://openalex.org/W4312807198","https://openalex.org/W7096429828","https://openalex.org/W7098768129","https://openalex.org/W2188267191","https://openalex.org/W2091672792","https://openalex.org/W1588878641","https://openalex.org/W1981423943"],"abstract_inverted_index":{"The":[0,15,136],"SSAPRE":[1,90,128],"algorithm":[2,16,50,61],"for":[3,29,45],"performing":[4],"partial":[5,110,132,144],"redundancy":[6,27,111,133,145],"elimination":[7,134,146],"based":[8,19],"entirely":[9],"on":[10,20,43],"SSA":[11],"form":[12],"is":[13,17,96],"presented.":[14],"formulated":[18],"a":[21,86,114,130],"new":[22,153],"conceptual":[23],"framework,":[24],"the":[25,34,39,49,60,63,68,77,83,106,109,141,149],"factored":[26],"graph,":[28],"analyzing":[30],"redundancy,":[31],"and":[32,42,53,73,119,147],"representes":[33],"first":[35],"sparse":[36],"approach":[37],"to":[38,82],"classical":[40,131],"problem":[41,112],"methods":[44],"its":[46],"solution.":[47],"With":[48],"description,":[51],"theorems":[52],"their":[54],"proofs":[55],"are":[56,102],"given":[57],"showing":[58],"that":[59,91,104],"produces":[62],"best":[64],"possible":[65],"code":[66],"by":[67,124],"criteria":[69],"of":[70,76,89,108,116,127,143,151],"computational":[71],"optimality":[72,75],"lifetime":[74],"introduced":[78],"temporaries.":[79],"In":[80,98],"addition":[81],"base":[84],"algorithm,":[85],"practical":[87],"implementation":[88,126],"exhibits":[92],"additional":[93],"compile-time":[94],"efficiencies":[95],"described.":[97],"closing,":[99],"measurement":[100],"statistics":[101],"provided":[103],"characterize":[105],"instances":[107],"from":[113],"set":[115],"benchmark":[117],"programs":[118],"compare":[120],"optimization":[121],"time":[122],"spent":[123],"an":[125],"aganist":[129],"implementation.":[135],"data":[137],"lend":[138],"insight":[139],"into":[140],"nature":[142],"demonstrate":[148],"expediency":[150],"this":[152],"approach.":[154]},"counts_by_year":[{"year":2026,"cited_by_count":3},{"year":2025,"cited_by_count":6},{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":4},{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":3},{"year":2020,"cited_by_count":1},{"year":2019,"cited_by_count":2},{"year":2018,"cited_by_count":1},{"year":2017,"cited_by_count":1},{"year":2016,"cited_by_count":1},{"year":2015,"cited_by_count":2},{"year":2014,"cited_by_count":2},{"year":2013,"cited_by_count":4},{"year":2012,"cited_by_count":3}],"updated_date":"2026-11-07T11:25:07.637180","created_date":"2016-06-24T00:00:00"}