{"id":"https://openalex.org/W2921932275","doi":"https://doi.org/10.1109/cgo.2019.8661203","title":"Locus: A System and a Language for Program Optimization","display_name":"Locus: A System and a Language for Program Optimization","publication_year":2019,"publication_date":"2019-02-01","ids":{"openalex":"https://openalex.org/W2921932275","doi":"https://doi.org/10.1109/cgo.2019.8661203","mag":"2921932275"},"language":"en","primary_location":{"id":"doi:10.1109/cgo.2019.8661203","is_oa":false,"landing_page_url":"https://doi.org/10.1109/cgo.2019.8661203","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2019 IEEE/ACM International Symposium on Code Generation and Optimization (CGO)","raw_type":"proceedings-article"},"type":"conference-paper","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/A5075888201","display_name":"Thiago Teixeira","orcid":"https://orcid.org/0000-0002-8031-0652"},"institutions":[{"id":"https://openalex.org/I157725225","display_name":"University of Illinois Urbana-Champaign","ror":"https://ror.org/047426m28","country_code":"US","type":"education","lineage":["https://openalex.org/I157725225"]},{"id":"https://openalex.org/I183874917","display_name":"Urbana University","ror":"https://ror.org/04kp3hw27","country_code":"US","type":"education","lineage":["https://openalex.org/I183874917"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"S. F. X. Thiago Teixeira","raw_affiliation_strings":["Department of Computer Science, University of Illinois at Urbana-Champaign, USA","Department. of Computer Science [Illinois]","University of Illinois at Urbana-Champaign [Urbana]"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science, University of Illinois at Urbana-Champaign, USA","institution_ids":["https://openalex.org/I157725225"]},{"raw_affiliation_string":"Department. of Computer Science [Illinois]","institution_ids":["https://openalex.org/I183874917"]},{"raw_affiliation_string":"University of Illinois at Urbana-Champaign [Urbana]","institution_ids":["https://openalex.org/I157725225"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5046711644","display_name":"Corinne Ancourt","orcid":"https://orcid.org/0000-0002-3310-7651"},"institutions":[{"id":"https://openalex.org/I2746051580","display_name":"Universit\u00e9 Paris Sciences et Lettres","ror":"https://ror.org/013cjyk83","country_code":"FR","type":"education","lineage":["https://openalex.org/I2746051580"]},{"id":"https://openalex.org/I4210115519","display_name":"Centre de Recherche en Informatique","ror":"https://ror.org/020cdve92","country_code":"FR","type":"facility","lineage":["https://openalex.org/I190752583","https://openalex.org/I2746051580","https://openalex.org/I4210091621","https://openalex.org/I4210115519","https://openalex.org/I70768539"]},{"id":"https://openalex.org/I70768539","display_name":"\u00c9cole Nationale Sup\u00e9rieure des Mines de Paris","ror":"https://ror.org/04y8cs423","country_code":"FR","type":"education","lineage":["https://openalex.org/I190752583","https://openalex.org/I2746051580","https://openalex.org/I70768539"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Corinne Ancourt","raw_affiliation_strings":["MINES ParisTech, PSL University, France","Centre de Recherche en Informatique","Mines Paris - PSL (\u00c9cole nationale sup\u00e9rieure des mines de Paris)"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"MINES ParisTech, PSL University, France","institution_ids":["https://openalex.org/I70768539","https://openalex.org/I2746051580"]},{"raw_affiliation_string":"Centre de Recherche en Informatique","institution_ids":["https://openalex.org/I4210115519"]},{"raw_affiliation_string":"Mines Paris - PSL (\u00c9cole nationale sup\u00e9rieure des mines de Paris)","institution_ids":["https://openalex.org/I70768539"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5109071293","display_name":"David Padua","orcid":null},"institutions":[{"id":"https://openalex.org/I157725225","display_name":"University of Illinois Urbana-Champaign","ror":"https://ror.org/047426m28","country_code":"US","type":"education","lineage":["https://openalex.org/I157725225"]},{"id":"https://openalex.org/I183874917","display_name":"Urbana University","ror":"https://ror.org/04kp3hw27","country_code":"US","type":"education","lineage":["https://openalex.org/I183874917"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"David Padua","raw_affiliation_strings":["Department of Computer Science, University of Illinois at Urbana-Champaign, USA","Department. of Computer Science [Illinois]","University of Illinois at Urbana-Champaign [Urbana]"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science, University of Illinois at Urbana-Champaign, USA","institution_ids":["https://openalex.org/I157725225"]},{"raw_affiliation_string":"Department. of Computer Science [Illinois]","institution_ids":["https://openalex.org/I183874917"]},{"raw_affiliation_string":"University of Illinois at Urbana-Champaign [Urbana]","institution_ids":["https://openalex.org/I157725225"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5017241944","display_name":"William Gropp","orcid":"https://orcid.org/0000-0003-2905-3029"},"institutions":[{"id":"https://openalex.org/I157725225","display_name":"University of Illinois Urbana-Champaign","ror":"https://ror.org/047426m28","country_code":"US","type":"education","lineage":["https://openalex.org/I157725225"]},{"id":"https://openalex.org/I183874917","display_name":"Urbana University","ror":"https://ror.org/04kp3hw27","country_code":"US","type":"education","lineage":["https://openalex.org/I183874917"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"William Gropp","raw_affiliation_strings":["Department of Computer Science, University of Illinois at Urbana-Champaign, USA","Mathematics and Computer Science Division [ANL]","University of Illinois at Urbana-Champaign [Urbana]","Department. of Computer Science [Illinois]"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science, University of Illinois at Urbana-Champaign, USA","institution_ids":["https://openalex.org/I157725225"]},{"raw_affiliation_string":"Mathematics and Computer Science Division [ANL]","institution_ids":[]},{"raw_affiliation_string":"University of Illinois at Urbana-Champaign [Urbana]","institution_ids":["https://openalex.org/I157725225"]},{"raw_affiliation_string":"Department. of Computer Science [Illinois]","institution_ids":["https://openalex.org/I183874917"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":5,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":9,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"217","last_page":"228"},"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.9998999834060669,"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.9998999834060669,"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.995199978351593,"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.9940000176429749,"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.8415746688842773},{"id":"https://openalex.org/keywords/compiler","display_name":"Compiler","score":0.7538699507713318},{"id":"https://openalex.org/keywords/programmer","display_name":"Programmer","score":0.736199676990509},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.7279608845710754},{"id":"https://openalex.org/keywords/program-optimization","display_name":"Program optimization","score":0.6457624435424805},{"id":"https://openalex.org/keywords/program-transformation","display_name":"Program transformation","score":0.6136189699172974},{"id":"https://openalex.org/keywords/heuristics","display_name":"Heuristics","score":0.5837123394012451},{"id":"https://openalex.org/keywords/optimizing-compiler","display_name":"Optimizing compiler","score":0.5450575351715088},{"id":"https://openalex.org/keywords/tree-traversal","display_name":"Tree traversal","score":0.41997504234313965},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.412114679813385},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.09584221243858337}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8415746688842773},{"id":"https://openalex.org/C169590947","wikidata":"https://www.wikidata.org/wiki/Q47506","display_name":"Compiler","level":2,"score":0.7538699507713318},{"id":"https://openalex.org/C2778514511","wikidata":"https://www.wikidata.org/wiki/Q1374194","display_name":"Programmer","level":2,"score":0.736199676990509},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.7279608845710754},{"id":"https://openalex.org/C139571649","wikidata":"https://www.wikidata.org/wiki/Q1156793","display_name":"Program optimization","level":3,"score":0.6457624435424805},{"id":"https://openalex.org/C2778361913","wikidata":"https://www.wikidata.org/wiki/Q7248437","display_name":"Program transformation","level":2,"score":0.6136189699172974},{"id":"https://openalex.org/C127705205","wikidata":"https://www.wikidata.org/wiki/Q5748245","display_name":"Heuristics","level":2,"score":0.5837123394012451},{"id":"https://openalex.org/C190902152","wikidata":"https://www.wikidata.org/wiki/Q1325106","display_name":"Optimizing compiler","level":3,"score":0.5450575351715088},{"id":"https://openalex.org/C140745168","wikidata":"https://www.wikidata.org/wiki/Q1210082","display_name":"Tree traversal","level":2,"score":0.41997504234313965},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.412114679813385},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.09584221243858337}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1109/cgo.2019.8661203","is_oa":false,"landing_page_url":"https://doi.org/10.1109/cgo.2019.8661203","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2019 IEEE/ACM International Symposium on Code Generation and Optimization (CGO)","raw_type":"proceedings-article"},{"id":"pmh:oai:HAL:hal-02135657v1","is_oa":false,"landing_page_url":"https://minesparis-psl.hal.science/hal-02135657","pdf_url":null,"source":{"id":"https://openalex.org/S4306402512","display_name":"HAL (Le Centre pour la Communication Scientifique Directe)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1294671590","host_organization_name":"Centre National de la Recherche Scientifique","host_organization_lineage":["https://openalex.org/I1294671590"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"2019 IEEE/ACM International Symposium on Code Generation and Optimization (CGO), Feb 2019, Washington, France. pp.Pages 217-228","raw_type":"info:eu-repo/semantics/conferenceObject"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":46,"referenced_works":["https://openalex.org/W1494930385","https://openalex.org/W1844404537","https://openalex.org/W1983545421","https://openalex.org/W1988888548","https://openalex.org/W1997126580","https://openalex.org/W1997978901","https://openalex.org/W2000873501","https://openalex.org/W2013156670","https://openalex.org/W2019557157","https://openalex.org/W2034761517","https://openalex.org/W2036853599","https://openalex.org/W2049487370","https://openalex.org/W2050510749","https://openalex.org/W2071110673","https://openalex.org/W2079615295","https://openalex.org/W2085118703","https://openalex.org/W2099625934","https://openalex.org/W2100218206","https://openalex.org/W2105680229","https://openalex.org/W2112502633","https://openalex.org/W2113207845","https://openalex.org/W2119609467","https://openalex.org/W2121546953","https://openalex.org/W2127669603","https://openalex.org/W2134131177","https://openalex.org/W2135653967","https://openalex.org/W2136952590","https://openalex.org/W2139102480","https://openalex.org/W2160401437","https://openalex.org/W2164197394","https://openalex.org/W2291192259","https://openalex.org/W2515012086","https://openalex.org/W2521879359","https://openalex.org/W2594730095","https://openalex.org/W2734383650","https://openalex.org/W2772752644","https://openalex.org/W2898537641","https://openalex.org/W3136479147","https://openalex.org/W3145506805","https://openalex.org/W4238109388","https://openalex.org/W4240382083","https://openalex.org/W4243796884","https://openalex.org/W6677088747","https://openalex.org/W6680007323","https://openalex.org/W6680028775","https://openalex.org/W6725674284"],"related_works":["https://openalex.org/W1580128549","https://openalex.org/W2056351581","https://openalex.org/W2162766176","https://openalex.org/W1960276179","https://openalex.org/W2143517091","https://openalex.org/W4302391323","https://openalex.org/W1996886894","https://openalex.org/W1751159063","https://openalex.org/W2140529677","https://openalex.org/W1564036969"],"abstract_inverted_index":{"We":[0],"discuss":[1],"the":[2,5,16,26,34,55,61,103,128,143,147,159,181,186,190,196,202],"design":[3],"and":[4,11,25,72,74,84,183],"implementation":[6],"of":[7,18,23,29,57,77,94,118,146,149,185,193,204],"Locus,":[8],"a":[9,12,46,113],"system":[10,131],"language":[13,107],"to":[14,39,52,98,110,123,155,169,179,208],"orchestrate":[15],"optimization":[17,48,134,160],"applications.":[19],"The":[20,106,130],"increasing":[21],"complexity":[22],"machines":[24],"large":[27],"space":[28,56,148,203],"program":[30,58,95,150],"variants,":[31],"produced":[32,214],"by":[33,127,215],"many":[35],"transformations":[36,78,119],"available,":[37],"conspire":[38],"make":[40],"compilers":[41],"deliver":[42],"unsatisfactory":[43],"performance.":[44],"As":[45],"result,":[47],"experts":[49,157],"must":[50],"intervene":[51],"manually":[53],"explore":[54],"variants":[59,205],"seeking":[60],"best":[62],"version":[63],"for":[64,163],"each":[65],"target":[66],"machine.":[67],"This":[68],"intervention":[69],"is":[70,90,108,153],"unproductive,":[71],"maintaining":[73],"managing":[75],"sequences":[76,97],"as":[79,136,138],"new":[80,85],"architectures":[81],"are":[82,88,121,168,177,220],"adopted":[83],"application":[86,104],"features":[87],"incorporated":[89],"challenging.Locus":[91],"allows":[92],"collections":[93,117],"transformation":[96],"be":[99,170],"specified":[100],"separately":[101],"from":[102],"code.":[105],"able":[109],"represent":[111],"in":[112,158],"clear":[114],"notation":[115],"complex":[116],"that":[120,141,167,200,219],"applied":[122],"code":[124],"regions":[125],"selected":[126],"programmer.":[129],"integrates":[132],"multiple":[133],"modules":[135,140],"well":[137],"search":[139],"facilitate":[142],"efficient":[144],"traversal":[145],"variants.":[151],"Locus":[152],"intended":[154],"help":[156],"process,":[161],"specially":[162],"complex,":[164],"long-lived":[165],"applications":[166],"executed":[171],"on":[172,222],"different":[173],"environments.":[174],"Four":[175],"examples":[176,197],"presented":[178],"illustrate":[180],"power":[182],"simplicity":[184],"language.":[187],"Although":[188],"not":[189],"primary":[191],"focus":[192],"this":[194],"paper,":[195],"also":[198],"show":[199],"exploring":[201],"typically":[206],"leads":[207],"better":[209],"performing":[210],"codes":[211],"than":[212],"those":[213],"conventional":[216],"compiler":[217],"optimizations":[218],"based":[221],"heuristics.":[223]},"counts_by_year":[{"year":2021,"cited_by_count":2},{"year":2020,"cited_by_count":4},{"year":2019,"cited_by_count":3}],"updated_date":"2026-07-14T23:27:15.235271","created_date":"2025-10-10T00:00:00"}