{"id":"https://openalex.org/W4214613759","doi":"https://doi.org/10.1145/3503222.3507714","title":"Vector instruction selection for digital signal processors using program synthesis","display_name":"Vector instruction selection for digital signal processors using program synthesis","publication_year":2022,"publication_date":"2022-02-22","ids":{"openalex":"https://openalex.org/W4214613759","doi":"https://doi.org/10.1145/3503222.3507714"},"language":"en","primary_location":{"id":"doi:10.1145/3503222.3507714","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3503222.3507714","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3503222.3507714","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 27th ACM International Conference on Architectural Support for Programming Languages and Operating Systems","raw_type":"proceedings-article"},"type":"conference-paper","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://dl.acm.org/doi/pdf/10.1145/3503222.3507714","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5041364880","display_name":"M Ahmad","orcid":"https://orcid.org/0000-0002-8113-7580"},"institutions":[{"id":"https://openalex.org/I1306409833","display_name":"Adobe Systems (United States)","ror":"https://ror.org/059tvcg64","country_code":"US","type":"company","lineage":["https://openalex.org/I1306409833"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Maaz Bin Safeer Ahmad","raw_affiliation_strings":["Adobe, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Adobe, USA","institution_ids":["https://openalex.org/I1306409833"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5034921995","display_name":"Alexander J Root","orcid":"https://orcid.org/0000-0001-6221-1389"},"institutions":[{"id":"https://openalex.org/I63966007","display_name":"Massachusetts Institute of Technology","ror":"https://ror.org/042nb2s44","country_code":"US","type":"education","lineage":["https://openalex.org/I63966007"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Alexander J. Root","raw_affiliation_strings":["Massachusetts Institute of Technology, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Massachusetts Institute of Technology, USA","institution_ids":["https://openalex.org/I63966007"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5082293572","display_name":"Andrew Adams","orcid":"https://orcid.org/0000-0001-8925-9956"},"institutions":[{"id":"https://openalex.org/I1306409833","display_name":"Adobe Systems (United States)","ror":"https://ror.org/059tvcg64","country_code":"US","type":"company","lineage":["https://openalex.org/I1306409833"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Andrew Adams","raw_affiliation_strings":["Adobe, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Adobe, USA","institution_ids":["https://openalex.org/I1306409833"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5039453861","display_name":"Shoaib Kamil","orcid":"https://orcid.org/0000-0001-5965-3717"},"institutions":[{"id":"https://openalex.org/I1306409833","display_name":"Adobe Systems (United States)","ror":"https://ror.org/059tvcg64","country_code":"US","type":"company","lineage":["https://openalex.org/I1306409833"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Shoaib Kamil","raw_affiliation_strings":["Adobe, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Adobe, USA","institution_ids":["https://openalex.org/I1306409833"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5059427197","display_name":"Alvin Cheung","orcid":"https://orcid.org/0000-0001-6261-6263"},"institutions":[{"id":"https://openalex.org/I95457486","display_name":"University of California, Berkeley","ror":"https://ror.org/01an7q238","country_code":"US","type":"education","lineage":["https://openalex.org/I95457486"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Alvin Cheung","raw_affiliation_strings":["University of California at Berkeley, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of California at Berkeley, USA","institution_ids":["https://openalex.org/I95457486"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":true,"cited_by_count":12,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"1004","last_page":"1016"},"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/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9991000294685364,"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.9990000128746033,"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/computer-science","display_name":"Computer science","score":0.8742803335189819},{"id":"https://openalex.org/keywords/compiler","display_name":"Compiler","score":0.7384225130081177},{"id":"https://openalex.org/keywords/executable","display_name":"Executable","score":0.6903725862503052},{"id":"https://openalex.org/keywords/scalability","display_name":"Scalability","score":0.5638970136642456},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.5276255011558533},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.482565313577652},{"id":"https://openalex.org/keywords/selection","display_name":"Selection (genetic algorithm)","score":0.4538203775882721},{"id":"https://openalex.org/keywords/code","display_name":"Code (set theory)","score":0.44429540634155273},{"id":"https://openalex.org/keywords/intermediate-language","display_name":"Intermediate language","score":0.4330355226993561},{"id":"https://openalex.org/keywords/code-generation","display_name":"Code generation","score":0.41768455505371094},{"id":"https://openalex.org/keywords/computer-architecture","display_name":"Computer architecture","score":0.3944234848022461},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.17891454696655273},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.15087440609931946}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8742803335189819},{"id":"https://openalex.org/C169590947","wikidata":"https://www.wikidata.org/wiki/Q47506","display_name":"Compiler","level":2,"score":0.7384225130081177},{"id":"https://openalex.org/C160145156","wikidata":"https://www.wikidata.org/wiki/Q778586","display_name":"Executable","level":2,"score":0.6903725862503052},{"id":"https://openalex.org/C48044578","wikidata":"https://www.wikidata.org/wiki/Q727490","display_name":"Scalability","level":2,"score":0.5638970136642456},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5276255011558533},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.482565313577652},{"id":"https://openalex.org/C81917197","wikidata":"https://www.wikidata.org/wiki/Q628760","display_name":"Selection (genetic algorithm)","level":2,"score":0.4538203775882721},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.44429540634155273},{"id":"https://openalex.org/C77660490","wikidata":"https://www.wikidata.org/wiki/Q244916","display_name":"Intermediate language","level":3,"score":0.4330355226993561},{"id":"https://openalex.org/C133162039","wikidata":"https://www.wikidata.org/wiki/Q1061077","display_name":"Code generation","level":3,"score":0.41768455505371094},{"id":"https://openalex.org/C118524514","wikidata":"https://www.wikidata.org/wiki/Q173212","display_name":"Computer architecture","level":1,"score":0.3944234848022461},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.17891454696655273},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.15087440609931946},{"id":"https://openalex.org/C26517878","wikidata":"https://www.wikidata.org/wiki/Q228039","display_name":"Key (lock)","level":2,"score":0.0},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1145/3503222.3507714","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3503222.3507714","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3503222.3507714","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 27th ACM International Conference on Architectural Support for Programming Languages and Operating Systems","raw_type":"proceedings-article"},{"id":"pmh:oai:dspace.mit.edu:1721.1/146414","is_oa":true,"landing_page_url":"https://hdl.handle.net/1721.1/146414","pdf_url":null,"source":{"id":"https://openalex.org/S4306400425","display_name":"DSpace@MIT (Massachusetts Institute of Technology)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I63966007","host_organization_name":"Massachusetts Institute of Technology","host_organization_lineage":["https://openalex.org/I63966007"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-nc","license_id":"https://openalex.org/licenses/cc-by-nc","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"ACM|27th ACM International Conference on Architectural Support for Programming Languages and Operating Systems","raw_type":"http://purl.org/eprint/type/ConferencePaper"}],"best_oa_location":{"id":"doi:10.1145/3503222.3507714","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3503222.3507714","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3503222.3507714","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 27th ACM International Conference on Architectural Support for Programming Languages and Operating Systems","raw_type":"proceedings-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G1474590793","display_name":null,"funder_award_id":"IIS-1546083, IIS-1955488, IIS-2027575, CCF-1723352","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G1562478397","display_name":"III: Medium: Collaborative Research: Reasoning about Optimizers for Data-Intensive Systems","funder_award_id":"1955488","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G2712957708","display_name":"CAREER: Generating Application-Specific Database Management Systems","funder_award_id":"2027575","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G2859789661","display_name":null,"funder_award_id":"N00014-21-1-2724","funder_id":"https://openalex.org/F4320337345","funder_display_name":"Office of Naval Research"},{"id":"https://openalex.org/G4451656","display_name":"BIGDATA: Collaborative Research: F: Holistic Optimization of Data-Driven Applications","funder_award_id":"1546083","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G5944197847","display_name":null,"funder_award_id":"W911NF2110339","funder_id":"https://openalex.org/F4320338281","funder_display_name":"Army Research Office"},{"id":"https://openalex.org/G5974677782","display_name":null,"funder_award_id":"DE-SC0016260","funder_id":"https://openalex.org/F4320306084","funder_display_name":"U.S. Department of Energy"},{"id":"https://openalex.org/G731481035","display_name":"CAPA: Collaborative Research: ARION: Taming Heterogeneity with DSLs, Approximation, and Synthesis","funder_award_id":"1723352","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G8876996369","display_name":null,"funder_award_id":"N00014","funder_id":"https://openalex.org/F4320337345","funder_display_name":"Office of Naval Research"}],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"},{"id":"https://openalex.org/F4320306084","display_name":"U.S. Department of Energy","ror":"https://ror.org/01bj3aw27"},{"id":"https://openalex.org/F4320307786","display_name":"Adobe Systems","ror":"https://ror.org/059tvcg64"},{"id":"https://openalex.org/F4320308737","display_name":"Facebook","ror":"https://ror.org/01zbnvs85"},{"id":"https://openalex.org/F4320309327","display_name":"Google","ror":"https://ror.org/00njsd438"},{"id":"https://openalex.org/F4320316785","display_name":"VMware","ror":null},{"id":"https://openalex.org/F4320337345","display_name":"Office of Naval Research","ror":"https://ror.org/00rk2pe57"},{"id":"https://openalex.org/F4320338281","display_name":"Army Research Office","ror":"https://ror.org/05epdh915"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4214613759.pdf","grobid_xml":"https://content.openalex.org/works/W4214613759.grobid-xml"},"referenced_works_count":28,"referenced_works":["https://openalex.org/W364774736","https://openalex.org/W1480909796","https://openalex.org/W1970165929","https://openalex.org/W1973831620","https://openalex.org/W1975458495","https://openalex.org/W2014406284","https://openalex.org/W2055312318","https://openalex.org/W2080932040","https://openalex.org/W2094878426","https://openalex.org/W2149236697","https://openalex.org/W2163671349","https://openalex.org/W2250787296","https://openalex.org/W2412440871","https://openalex.org/W2780077279","https://openalex.org/W2785559831","https://openalex.org/W2914500262","https://openalex.org/W2988261654","https://openalex.org/W3098585900","https://openalex.org/W3152824079","https://openalex.org/W3153044352","https://openalex.org/W4211105367","https://openalex.org/W4229517606","https://openalex.org/W4229675450","https://openalex.org/W4244730588","https://openalex.org/W4246166885","https://openalex.org/W4246873936","https://openalex.org/W4253920039","https://openalex.org/W4301666354"],"related_works":["https://openalex.org/W2357088637","https://openalex.org/W2759596553","https://openalex.org/W650988184","https://openalex.org/W3083197299","https://openalex.org/W2162410319","https://openalex.org/W4285152467","https://openalex.org/W2137356287","https://openalex.org/W2255990315","https://openalex.org/W4321184925","https://openalex.org/W60915090"],"abstract_inverted_index":{"Instruction":[0],"selection,":[1],"whereby":[2],"input":[3,87],"code":[4,88,128,137],"represented":[5],"in":[6,25],"an":[7],"intermediate":[8],"representation":[9],"is":[10,19,34,83],"translated":[11],"into":[12,67,90],"executable":[13],"instructions":[14,66,76],"from":[15,77,100],"the":[16,21,49,63,78,126,145],"target":[17,64,79],"platform,":[18],"often":[20],"most":[22],"target-dependent":[23],"component":[24],"optimizing":[26,142],"compilers.":[27],"Current":[28],"approaches":[29],"include":[30],"pattern":[31],"matching,":[32],"which":[33,43],"brittle":[35],"and":[36,96],"tedious":[37],"to":[38,85,98,102,131,136],"design,":[39],"or":[40],"search-based":[41],"methods,":[42],"are":[44],"limited":[45],"by":[46,139],"scalability":[47],"of":[48,94],"search":[50],"algorithm.":[51],"In":[52],"this":[53],"paper,":[54],"we":[55,109],"propose":[56],"a":[57,122,140],"new":[58],"algorithm":[59,116],"that":[60,111],"first":[61],"abstracts":[62],"platform":[65],"high-level":[68],"uber-instructions,":[69],"with":[70,125],"each":[71],"uber-instruction":[72],"unifying":[73],"multiple":[74],"concrete":[75],"platform.":[80,147],"Program":[81],"synthesis":[82],"used":[84],"lift":[86],"sequences":[89,93,120],"semantically":[91],"equivalent":[92],"uber-instructions":[95,101],"then":[97],"lower":[99],"machine":[103],"code.":[104],"Using":[105],"21":[106],"real-world":[107],"benchmarks,":[108],"show":[110],"our":[112],"synthesis-based":[113],"instruction":[114,119],"selection":[115],"can":[117],"generate":[118],"for":[121,144],"hardware":[123],"target,":[124],"synthesized":[127],"performing":[129],"up":[130],"2.1x":[132],"faster":[133],"as":[134],"compared":[135],"generated":[138],"professionally-developed":[141],"compiler":[143],"same":[146]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":3},{"year":2024,"cited_by_count":5},{"year":2023,"cited_by_count":2},{"year":2022,"cited_by_count":1}],"updated_date":"2026-07-14T23:27:15.235271","created_date":"2025-10-10T00:00:00"}