{"id":"https://openalex.org/W2255266452","doi":null,"title":"A unifying framework for optimizing transformations","display_name":"A unifying framework for optimizing transformations","publication_year":1992,"publication_date":"1992-01-01","ids":{"openalex":"https://openalex.org/W2255266452","mag":"2255266452"},"language":"en","primary_location":{"id":"mag:2255266452","doi":null,"is_oa":false,"landing_page_url":"http://dl.acm.org/citation.cfm?id=150908","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":null},"volume":null,"type":"article","is_traditional":true,"indexed_in":[],"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/A5073254321","display_name":"Deborah Whitfield","orcid":null,"observed_orcids":[]},"institutions":[{"id":"https://openalex.org/I170201317","display_name":"University of Pittsburgh","ror":"https://ror.org/01an3r305","country_code":"US","type":"education","lineage":["https://openalex.org/I170201317"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Deborah Whitfield","raw_affiliation_strings":["University Of Pittsburgh, Pittsburgh, PA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University Of Pittsburgh, Pittsburgh, PA","institution_ids":["https://openalex.org/I170201317"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5073254321"],"corresponding_institution_ids":["https://openalex.org/I170201317"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.0,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"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.913100004196167,"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.913100004196167,"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.07660000026226044,"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/T10904","display_name":"Embedded Systems Design Techniques","score":0.003000000026077032,"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/compiler-optimization","display_name":"compiler optimization","score":0.8880000114440918},{"id":"https://openalex.org/keywords/book-of-genesis","display_name":"Genesis","score":0.6330000162124634},{"id":"https://openalex.org/keywords/intermediate-representation","display_name":"intermediate representation","score":0.8700000047683716}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8717854619026184},{"id":"https://openalex.org/C169590947","wikidata":"https://www.wikidata.org/wiki/Q47506","display_name":"Compiler","level":2,"score":0.7189814448356628},{"id":"https://openalex.org/C133162039","wikidata":"https://www.wikidata.org/wiki/Q1061077","display_name":"Code generation","level":3,"score":0.6383164525032043},{"id":"https://openalex.org/C190902152","wikidata":"https://www.wikidata.org/wiki/Q1325106","display_name":"Optimizing compiler","level":3,"score":0.6349680423736572},{"id":"https://openalex.org/C2780992000","wikidata":"https://www.wikidata.org/wiki/Q17016113","display_name":"Generator (circuit theory)","level":3,"score":0.6310584545135498},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.5601170659065247},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5491398572921753},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.5460784435272217},{"id":"https://openalex.org/C139571649","wikidata":"https://www.wikidata.org/wiki/Q1156793","display_name":"Program optimization","level":3,"score":0.4644245207309723},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.45474740862846375},{"id":"https://openalex.org/C2776359362","wikidata":"https://www.wikidata.org/wiki/Q2145286","display_name":"Representation (politics)","level":3,"score":0.45121151208877563},{"id":"https://openalex.org/C26517878","wikidata":"https://www.wikidata.org/wiki/Q228039","display_name":"Key (lock)","level":2,"score":0.1570053994655609},{"id":"https://openalex.org/C163258240","wikidata":"https://www.wikidata.org/wiki/Q25342","display_name":"Power (physics)","level":2,"score":0.12355715036392212},{"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/C94625758","wikidata":"https://www.wikidata.org/wiki/Q7163","display_name":"Politics","level":2,"score":0.0},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","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/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","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":"mag:2255266452","doi":null,"is_oa":false,"landing_page_url":"http://dl.acm.org/citation.cfm?id=150908","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":null}],"best_oa_location":null,"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W7099789989","https://openalex.org/W2058866239","https://openalex.org/W4251732092","https://openalex.org/W4236014413","https://openalex.org/W7098091305","https://openalex.org/W2003014974","https://openalex.org/W3146450707","https://openalex.org/W1910659465","https://openalex.org/W2082352135","https://openalex.org/W7095879916"],"abstract_inverted_index":{"As":[0],"an":[1,76,117,148,262,275,304],"approach":[2],"to":[3,18,21,53,83,95,102,147,261,269,292],"understanding":[4],"the":[5,23,49,58,85,89,114,132,140,246,271,278,285,301,312,319,331],"properties":[6],"of":[7,25,47,88,116,152,187,201,237,245,273,287,303,321],"traditional":[8,180],"compiler":[9],"optimizations":[10,13,38,59,90,144,171,226,238,250,289,323],"and":[11,39,63,134,181,192,198,206,221,277,297],"parallelizing":[12,182],"that":[14,60,65,81,91,121,167,172,214,234,284,318],"are":[15,129,145,177,227,239],"frequently":[16],"applied":[17,94,146,253],"program":[19],"code":[20,135,243,256],"increase":[22],"degree":[24],"parallelism,":[26],"a":[27,44,96,104,153,255],"Unifying":[28],"Framework":[29],"for":[30,36,69,138,179,224,241],"Optimizing":[31],"Transformations":[32],"(UFOT)":[33],"was":[34,266,282,315],"developed":[35],"specifying":[37,311],"automatically":[40,122],"producing":[41],"optimizers.":[42],"For":[43],"selected":[45],"set":[46],"optimizations,":[48],"framework":[50,98],"is":[51,79,99,136,164,295],"used":[52,101],"determine":[54],"those":[55,64],"interactions":[56,217],"among":[57],"can":[61,66,92,169,306],"create":[62,103],"destroy":[67],"conditions":[68],"applying":[70,139,274],"other":[71],"optimizations.":[72,142,183],"From":[73],"these":[74],"interactions,":[75],"application":[77,222],"order":[78],"derived":[80],"attempts":[82],"maximize":[84],"potential":[86],"benefits":[87],"be":[93,252,307],"program.\r\nThe":[97],"also":[100,232,267,316],"General":[105],"Optimization":[106],"Specification":[107],"Language":[108],"(GOSpeL)":[109],"whose":[110],"implementation":[111,186],"culminates":[112],"in":[113,166,219,298],"development":[115],"optimizer":[118,332],"generator":[119],"(GENesis)":[120],"produces":[123],"optimizers":[124,194],"from":[125],"specifications.":[126],"The":[127,143,230],"specifications":[128],"input":[130],"into":[131],"generator,":[133],"produced":[137,197,329],"specified":[141],"extended":[149],"intermediate":[150],"representation":[151],"source":[154,160],"program,":[155],"thus":[156],"making":[157],"GENesis":[158,163,188],"generally":[159],"language":[161],"independent.":[162],"powerful":[165],"it":[168],"generate":[170],"require":[173],"global":[174],"conditions,":[175],"which":[176],"needed":[178,240],"A":[184],"prototype":[185],"has":[189],"been":[190,196,204,210],"constructed":[191],"numerous":[193,207],"have":[195,203,209],"verified.\r\nA":[199],"variety":[200],"experiments":[202,231],"performed":[205,268],"results":[208],"determined.":[211],"Experimentation":[212,265],"indicates":[213],"many":[215],"theoretical":[216],"occur":[218],"practice,":[220],"points":[223],"some":[225,288,299,322],"rarely":[228],"found.":[229],"indicate":[233],"different":[235,242,327],"orderings":[236],"segments":[244],"same":[247],"program.":[248,264],"Thus,":[249],"should":[251],"on":[254],"segment":[257],"basis":[258],"rather":[259],"than":[260],"entire":[263],"examine":[270],"cost":[272,286,302,320],"optimization":[276,305],"expected":[279],"benefit.":[280],"It":[281,314],"found":[283,317],"as":[290],"compared":[291],"their":[293],"benefit":[294],"prohibitive,":[296],"cases":[300],"reduced":[308],"by":[309,330],"carefully":[310],"optimization.":[313],"varies":[324],"significantly":[325],"with":[326],"implementations":[328],"generator.":[333]},"counts_by_year":[],"updated_date":"2025-11-06T04:12:42.849631","created_date":"2016-06-24T00:00:00"}