{"id":"https://openalex.org/W2898373684","doi":"https://doi.org/10.1145/3278122.3278131","title":"Meta-programming for cross-domain tensor optimizations","display_name":"Meta-programming for cross-domain tensor optimizations","publication_year":2018,"publication_date":"2018-10-24","ids":{"openalex":"https://openalex.org/W2898373684","doi":"https://doi.org/10.1145/3278122.3278131","mag":"2898373684"},"language":"en","primary_location":{"id":"doi:10.1145/3278122.3278131","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3278122.3278131","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 17th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences","raw_type":"proceedings-article"},"type":"preprint","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://minesparis-psl.hal.science/hal-01939656/document","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5089671590","display_name":"Adilla Susungi","orcid":"https://orcid.org/0000-0003-4104-8409"},"institutions":[{"id":"https://openalex.org/I190752583","display_name":"ParisTech","ror":"https://ror.org/05c2qg481","country_code":"FR","type":"education","lineage":["https://openalex.org/I190752583"]},{"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"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Adilla Susungi","raw_affiliation_strings":["MINES ParisTech, France / PSL Research University, France"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"MINES ParisTech, France / PSL Research University, France","institution_ids":["https://openalex.org/I2746051580","https://openalex.org/I190752583"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5042792053","display_name":"Norman A. Rink","orcid":null},"institutions":[{"id":"https://openalex.org/I78650965","display_name":"Technische Universit\u00e4t Dresden","ror":"https://ror.org/042aqky30","country_code":"DE","type":"education","lineage":["https://openalex.org/I78650965"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Norman A. Rink","raw_affiliation_strings":["TU Dresden, Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"TU Dresden, Germany","institution_ids":["https://openalex.org/I78650965"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5063162788","display_name":"Albert Cohen","orcid":"https://orcid.org/0000-0002-8866-5343"},"institutions":[{"id":"https://openalex.org/I1326498283","display_name":"Institut national de recherche en sciences et technologies du num\u00e9rique","ror":"https://ror.org/02kvxyf05","country_code":"FR","type":"government","lineage":["https://openalex.org/I1326498283"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Albert Cohen","raw_affiliation_strings":["Inria, France / ENS, France"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Inria, France / ENS, France","institution_ids":["https://openalex.org/I1326498283"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5030115692","display_name":"Jer\u00f3nimo Castrill\u00f3n","orcid":"https://orcid.org/0000-0002-5007-445X"},"institutions":[{"id":"https://openalex.org/I78650965","display_name":"Technische Universit\u00e4t Dresden","ror":"https://ror.org/042aqky30","country_code":"DE","type":"education","lineage":["https://openalex.org/I78650965"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Jeronimo Castrillon","raw_affiliation_strings":["TU Dresden, Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"TU Dresden, Germany","institution_ids":["https://openalex.org/I78650965"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5057912061","display_name":"Claude Tadonki","orcid":"https://orcid.org/0000-0003-1194-6400"},"institutions":[{"id":"https://openalex.org/I190752583","display_name":"ParisTech","ror":"https://ror.org/05c2qg481","country_code":"FR","type":"education","lineage":["https://openalex.org/I190752583"]},{"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"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Claude Tadonki","raw_affiliation_strings":["MINES ParisTech, France / PSL Research University, France"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"MINES ParisTech, France / PSL Research University, France","institution_ids":["https://openalex.org/I2746051580","https://openalex.org/I190752583"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":4,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":2.3051,"has_fulltext":true,"cited_by_count":17,"citation_normalized_percentile":{"value":0.89969715,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":98},"biblio":{"volume":null,"issue":null,"first_page":"79","last_page":"92"},"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.9994999766349792,"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.9994999766349792,"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/T13650","display_name":"Computational Physics and Python Applications","score":0.9347000122070312,"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/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9168000221252441,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7816437482833862},{"id":"https://openalex.org/keywords/principle-of-compositionality","display_name":"Principle of compositionality","score":0.7520406246185303},{"id":"https://openalex.org/keywords/tensor","display_name":"Tensor (intrinsic definition)","score":0.723366379737854},{"id":"https://openalex.org/keywords/domain","display_name":"Domain (mathematical analysis)","score":0.5849267840385437},{"id":"https://openalex.org/keywords/domain-specific-language","display_name":"Domain-specific language","score":0.5353221297264099},{"id":"https://openalex.org/keywords/computation","display_name":"Computation","score":0.47437745332717896},{"id":"https://openalex.org/keywords/tensor-algebra","display_name":"Tensor algebra","score":0.4712308645248413},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.46640434861183167},{"id":"https://openalex.org/keywords/flexibility","display_name":"Flexibility (engineering)","score":0.4521414041519165},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.44459232687950134},{"id":"https://openalex.org/keywords/optimization-problem","display_name":"Optimization problem","score":0.44408515095710754},{"id":"https://openalex.org/keywords/metaprogramming","display_name":"Metaprogramming","score":0.41302740573883057},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.28099507093429565},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.2164086103439331},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.16407087445259094},{"id":"https://openalex.org/keywords/algebra-over-a-field","display_name":"Algebra over a field","score":0.16139793395996094}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7816437482833862},{"id":"https://openalex.org/C121375916","wikidata":"https://www.wikidata.org/wiki/Q936559","display_name":"Principle of compositionality","level":2,"score":0.7520406246185303},{"id":"https://openalex.org/C155281189","wikidata":"https://www.wikidata.org/wiki/Q3518150","display_name":"Tensor (intrinsic definition)","level":2,"score":0.723366379737854},{"id":"https://openalex.org/C36503486","wikidata":"https://www.wikidata.org/wiki/Q11235244","display_name":"Domain (mathematical analysis)","level":2,"score":0.5849267840385437},{"id":"https://openalex.org/C135257023","wikidata":"https://www.wikidata.org/wiki/Q691358","display_name":"Domain-specific language","level":2,"score":0.5353221297264099},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.47437745332717896},{"id":"https://openalex.org/C1680195","wikidata":"https://www.wikidata.org/wiki/Q2296021","display_name":"Tensor algebra","level":5,"score":0.4712308645248413},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.46640434861183167},{"id":"https://openalex.org/C2780598303","wikidata":"https://www.wikidata.org/wiki/Q65921492","display_name":"Flexibility (engineering)","level":2,"score":0.4521414041519165},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.44459232687950134},{"id":"https://openalex.org/C137836250","wikidata":"https://www.wikidata.org/wiki/Q984063","display_name":"Optimization problem","level":2,"score":0.44408515095710754},{"id":"https://openalex.org/C35390924","wikidata":"https://www.wikidata.org/wiki/Q661075","display_name":"Metaprogramming","level":2,"score":0.41302740573883057},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.28099507093429565},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.2164086103439331},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.16407087445259094},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.16139793395996094},{"id":"https://openalex.org/C100376341","wikidata":"https://www.wikidata.org/wiki/Q649977","display_name":"Jordan algebra","level":4,"score":0.0},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"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/C81999800","wikidata":"https://www.wikidata.org/wiki/Q1454725","display_name":"Current algebra","level":3,"score":0.0},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1145/3278122.3278131","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3278122.3278131","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 17th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences","raw_type":"proceedings-article"},{"id":"pmh:oai:HAL:hal-01939656v1","is_oa":true,"landing_page_url":"https://minesparis-psl.hal.science/hal-01939656","pdf_url":"https://minesparis-psl.hal.science/hal-01939656/document","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":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"17th International Conference on Generative Programming: Concepts & Experiences (GPCE), Nov 2018, Boston, United States. pp.79-92","raw_type":"info:eu-repo/semantics/conferenceObject"},{"id":"pmh:oai:HAL:hal-01939535v1","is_oa":true,"landing_page_url":"https://minesparis-psl.hal.science/hal-01939535","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":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"conference on Systems, Programming, Languages and Applications: Software for Humanity (SPLASH)","raw_type":"info:eu-repo/semantics/conferenceObject"}],"best_oa_location":{"id":"pmh:oai:HAL:hal-01939656v1","is_oa":true,"landing_page_url":"https://minesparis-psl.hal.science/hal-01939656","pdf_url":"https://minesparis-psl.hal.science/hal-01939656/document","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":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"17th International Conference on Generative Programming: Concepts & Experiences (GPCE), Nov 2018, Boston, United States. pp.79-92","raw_type":"info:eu-repo/semantics/conferenceObject"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2898373684.pdf","grobid_xml":"https://content.openalex.org/works/W2898373684.grobid-xml"},"referenced_works_count":37,"referenced_works":["https://openalex.org/W1500721915","https://openalex.org/W1554251788","https://openalex.org/W1616824231","https://openalex.org/W1844404537","https://openalex.org/W1965092590","https://openalex.org/W1965742121","https://openalex.org/W1997978901","https://openalex.org/W2034761517","https://openalex.org/W2038646072","https://openalex.org/W2055312318","https://openalex.org/W2071110673","https://openalex.org/W2082352135","https://openalex.org/W2107979247","https://openalex.org/W2112502633","https://openalex.org/W2128344236","https://openalex.org/W2152175008","https://openalex.org/W2154175721","https://openalex.org/W2158094629","https://openalex.org/W2162569557","https://openalex.org/W2271840356","https://openalex.org/W2291192259","https://openalex.org/W2291372353","https://openalex.org/W2466677533","https://openalex.org/W2468576082","https://openalex.org/W2505380041","https://openalex.org/W2590246587","https://openalex.org/W2594730095","https://openalex.org/W2617890897","https://openalex.org/W2644985445","https://openalex.org/W2739718454","https://openalex.org/W2784620461","https://openalex.org/W2788818070","https://openalex.org/W2794066882","https://openalex.org/W2963743473","https://openalex.org/W3100990548","https://openalex.org/W3105115110","https://openalex.org/W4240313326"],"related_works":["https://openalex.org/W2914322253","https://openalex.org/W2767274246","https://openalex.org/W2590246587","https://openalex.org/W3160402525","https://openalex.org/W2048485245","https://openalex.org/W4387667068","https://openalex.org/W4309795463","https://openalex.org/W1973309125","https://openalex.org/W2050785904","https://openalex.org/W2467190317"],"abstract_inverted_index":{"Many":[0],"modern":[1],"application":[2],"domains":[3],"crucially":[4],"rely":[5],"on":[6,15],"tensor":[7,37,85,104,140],"operations.":[8],"The":[9],"optimization":[10,49,59,89,117,152,174],"of":[11,113],"programs":[12,156],"that":[13,19,136,147,176],"operate":[14],"tensors":[16],"poses":[17],"difficulties":[18],"are":[20],"not":[21],"adequately":[22],"addressed":[23],"by":[24,91,158],"existing":[25,65],"languages":[26,86],"and":[27,47,64,87,106,109,146],"tools.":[28],"Frameworks":[29],"such":[30,61],"as":[31,62,126,142,144,163,165],"TensorFlow":[32,145],"offer":[33,67],"good":[34],"abstractions":[35,75,101],"for":[36,76,102],"operations,":[38],"but":[39,73],"target":[40],"a":[41],"specific":[42],"domain,":[43],"i.e.":[44],"machine":[45],"learning,":[46],"their":[48],"strategies":[50],"cannot":[51],"easily":[52],"be":[53],"adjusted":[54],"to":[55],"other":[56],"domains.":[57],"General-purpose":[58],"tools":[60,90],"Pluto":[63,168],"meta-languages":[66],"more":[68],"flexibility":[69],"in":[70],"applying":[71],"optimizations":[72,95],"lack":[74],"tensors.":[77],"This":[78,119],"work":[79],"closes":[80],"the":[81,93,166],"gap":[82],"between":[83],"domain-specific":[84],"general-purpose":[88],"proposing":[92],"Tensor":[94],"Meta-Language":[96],"(TeML).":[97],"TeML":[98,137,159,172],"offers":[99],"high-level":[100],"both":[103],"operations":[105],"loop":[107],"transformations,":[108],"enables":[110,173],"flexible":[111],"composition":[112],"transformations":[114],"into":[115,123],"effective":[116],"paths.":[118,153],"compositionality":[120],"is":[121],"built":[122],"TeML's":[124],"design,":[125],"our":[127],"formal":[128],"language":[129],"specification":[130],"will":[131],"reveal.":[132],"We":[133],"also":[134],"show":[135],"can":[138,149],"express":[139],"computations":[141],"comfortably":[143],"it":[148],"reproduce":[150],"Pluto's":[151],"Thus,":[154],"optimized":[155],"generated":[157],"execute":[160],"at":[161],"least":[162],"fast":[164],"corresponding":[167],"programs.":[169],"In":[170],"addition,":[171],"paths":[175],"often":[177],"allow":[178],"outperforming":[179],"Pluto.":[180]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":3},{"year":2021,"cited_by_count":6},{"year":2020,"cited_by_count":2},{"year":2019,"cited_by_count":2}],"updated_date":"2026-07-02T09:51:11.867554","created_date":"2025-10-10T00:00:00"}