{"id":"https://openalex.org/W4327911854","doi":"https://doi.org/10.1145/3582016.3582036","title":"CaT: A Solver-Aided Compiler for Packet-Processing Pipelines","display_name":"CaT: A Solver-Aided Compiler for Packet-Processing Pipelines","publication_year":2023,"publication_date":"2023-03-20","ids":{"openalex":"https://openalex.org/W4327911854","doi":"https://doi.org/10.1145/3582016.3582036"},"language":"en","primary_location":{"id":"doi:10.1145/3582016.3582036","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3582016.3582036","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 28th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 3","raw_type":"proceedings-article"},"type":"article","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/A5101486243","display_name":"Xiangyu Gao","orcid":"https://orcid.org/0000-0002-1038-6539"},"institutions":[{"id":"https://openalex.org/I57206974","display_name":"New York University","ror":"https://ror.org/0190ak572","country_code":"US","type":"education","lineage":["https://openalex.org/I57206974"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Xiangyu Gao","raw_affiliation_strings":["New York University, USA"],"affiliations":[{"raw_affiliation_string":"New York University, USA","institution_ids":["https://openalex.org/I57206974"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5035587669","display_name":"Divya Raghunathan","orcid":"https://orcid.org/0000-0003-0231-2086"},"institutions":[{"id":"https://openalex.org/I20089843","display_name":"Princeton University","ror":"https://ror.org/00hx57361","country_code":"US","type":"education","lineage":["https://openalex.org/I20089843"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Divya Raghunathan","raw_affiliation_strings":["Princeton University, USA"],"affiliations":[{"raw_affiliation_string":"Princeton University, USA","institution_ids":["https://openalex.org/I20089843"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5047932223","display_name":"Ruijie Fang","orcid":"https://orcid.org/0000-0003-3853-8909"},"institutions":[{"id":"https://openalex.org/I20089843","display_name":"Princeton University","ror":"https://ror.org/00hx57361","country_code":"US","type":"education","lineage":["https://openalex.org/I20089843"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Ruijie Fang","raw_affiliation_strings":["Princeton University, USA"],"affiliations":[{"raw_affiliation_string":"Princeton University, USA","institution_ids":["https://openalex.org/I20089843"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100453403","display_name":"Tao Wang","orcid":"https://orcid.org/0000-0001-7044-4377"},"institutions":[{"id":"https://openalex.org/I57206974","display_name":"New York University","ror":"https://ror.org/0190ak572","country_code":"US","type":"education","lineage":["https://openalex.org/I57206974"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Tao Wang","raw_affiliation_strings":["New York University, USA"],"affiliations":[{"raw_affiliation_string":"New York University, USA","institution_ids":["https://openalex.org/I57206974"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5014634082","display_name":"Xiaotong Zhu","orcid":null},"institutions":[{"id":"https://openalex.org/I57206974","display_name":"New York University","ror":"https://ror.org/0190ak572","country_code":"US","type":"education","lineage":["https://openalex.org/I57206974"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Xiaotong Zhu","raw_affiliation_strings":["New York University, USA"],"affiliations":[{"raw_affiliation_string":"New York University, USA","institution_ids":["https://openalex.org/I57206974"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5008674902","display_name":"Anirudh Sivaraman","orcid":"https://orcid.org/0000-0001-5025-4234"},"institutions":[{"id":"https://openalex.org/I57206974","display_name":"New York University","ror":"https://ror.org/0190ak572","country_code":"US","type":"education","lineage":["https://openalex.org/I57206974"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Anirudh Sivaraman","raw_affiliation_strings":["New York University, USA"],"affiliations":[{"raw_affiliation_string":"New York University, USA","institution_ids":["https://openalex.org/I57206974"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5035861133","display_name":"Srinivas Narayana","orcid":"https://orcid.org/0000-0002-1128-477X"},"institutions":[{"id":"https://openalex.org/I102322142","display_name":"Rutgers, The State University of New Jersey","ror":"https://ror.org/05vt9qd57","country_code":"US","type":"education","lineage":["https://openalex.org/I102322142"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Srinivas Narayana","raw_affiliation_strings":["Rutgers University, USA"],"affiliations":[{"raw_affiliation_string":"Rutgers University, USA","institution_ids":["https://openalex.org/I102322142"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5041231710","display_name":"Aarti Gupta","orcid":"https://orcid.org/0000-0001-6676-9400"},"institutions":[{"id":"https://openalex.org/I20089843","display_name":"Princeton University","ror":"https://ror.org/00hx57361","country_code":"US","type":"education","lineage":["https://openalex.org/I20089843"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Aarti Gupta","raw_affiliation_strings":["Princeton University, USA"],"affiliations":[{"raw_affiliation_string":"Princeton University, USA","institution_ids":["https://openalex.org/I20089843"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":8,"corresponding_author_ids":["https://openalex.org/A5101486243"],"corresponding_institution_ids":["https://openalex.org/I57206974"],"apc_list":null,"apc_paid":null,"fwci":1.4418,"has_fulltext":false,"cited_by_count":7,"citation_normalized_percentile":{"value":0.81661728,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":91,"max":98},"biblio":{"volume":null,"issue":null,"first_page":"72","last_page":"88"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10772","display_name":"Distributed systems and fault tolerance","score":0.9984999895095825,"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"}},"topics":[{"id":"https://openalex.org/T10772","display_name":"Distributed systems and fault tolerance","score":0.9984999895095825,"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"}},{"id":"https://openalex.org/T10829","display_name":"Interconnection Networks and Systems","score":0.9944999814033508,"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"}},{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9925000071525574,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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.8621937036514282},{"id":"https://openalex.org/keywords/compiler","display_name":"Compiler","score":0.8514350652694702},{"id":"https://openalex.org/keywords/pipeline","display_name":"Pipeline (software)","score":0.747913122177124},{"id":"https://openalex.org/keywords/pipeline-transport","display_name":"Pipeline transport","score":0.6860766410827637},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.5946022868156433},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.5489252209663391},{"id":"https://openalex.org/keywords/solver","display_name":"Solver","score":0.49822378158569336},{"id":"https://openalex.org/keywords/compile-time","display_name":"Compile time","score":0.4948708415031433},{"id":"https://openalex.org/keywords/program-transformation","display_name":"Program transformation","score":0.4229796230792999},{"id":"https://openalex.org/keywords/transformation","display_name":"Transformation (genetics)","score":0.4127539098262787},{"id":"https://openalex.org/keywords/computer-architecture","display_name":"Computer architecture","score":0.35400354862213135}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8621937036514282},{"id":"https://openalex.org/C169590947","wikidata":"https://www.wikidata.org/wiki/Q47506","display_name":"Compiler","level":2,"score":0.8514350652694702},{"id":"https://openalex.org/C43521106","wikidata":"https://www.wikidata.org/wiki/Q2165493","display_name":"Pipeline (software)","level":2,"score":0.747913122177124},{"id":"https://openalex.org/C175309249","wikidata":"https://www.wikidata.org/wiki/Q725864","display_name":"Pipeline transport","level":2,"score":0.6860766410827637},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.5946022868156433},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5489252209663391},{"id":"https://openalex.org/C2778770139","wikidata":"https://www.wikidata.org/wiki/Q1966904","display_name":"Solver","level":2,"score":0.49822378158569336},{"id":"https://openalex.org/C200833197","wikidata":"https://www.wikidata.org/wiki/Q333707","display_name":"Compile time","level":3,"score":0.4948708415031433},{"id":"https://openalex.org/C2778361913","wikidata":"https://www.wikidata.org/wiki/Q7248437","display_name":"Program transformation","level":2,"score":0.4229796230792999},{"id":"https://openalex.org/C204241405","wikidata":"https://www.wikidata.org/wiki/Q461499","display_name":"Transformation (genetics)","level":3,"score":0.4127539098262787},{"id":"https://openalex.org/C118524514","wikidata":"https://www.wikidata.org/wiki/Q173212","display_name":"Computer architecture","level":1,"score":0.35400354862213135},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.0},{"id":"https://openalex.org/C55493867","wikidata":"https://www.wikidata.org/wiki/Q7094","display_name":"Biochemistry","level":1,"score":0.0},{"id":"https://openalex.org/C87717796","wikidata":"https://www.wikidata.org/wiki/Q146326","display_name":"Environmental engineering","level":1,"score":0.0},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.0},{"id":"https://openalex.org/C104317684","wikidata":"https://www.wikidata.org/wiki/Q7187","display_name":"Gene","level":2,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3582016.3582036","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3582016.3582036","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 28th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 3","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.49000000953674316,"display_name":"Industry, innovation and infrastructure","id":"https://metadata.un.org/sdg/9"}],"awards":[{"id":"https://openalex.org/G2023886076","display_name":null,"funder_award_id":"2008048,1837030,2107138,2019302,1910796","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"}],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":35,"referenced_works":["https://openalex.org/W1435603161","https://openalex.org/W1505590927","https://openalex.org/W1954903228","https://openalex.org/W1982205631","https://openalex.org/W2100892891","https://openalex.org/W2101512909","https://openalex.org/W2105715355","https://openalex.org/W2117027487","https://openalex.org/W2134519279","https://openalex.org/W2153185479","https://openalex.org/W2155981613","https://openalex.org/W2157990152","https://openalex.org/W2171318521","https://openalex.org/W2256352919","https://openalex.org/W2283556750","https://openalex.org/W2545078974","https://openalex.org/W2743093301","https://openalex.org/W2744693751","https://openalex.org/W2761338514","https://openalex.org/W2769986458","https://openalex.org/W2889276663","https://openalex.org/W2912640545","https://openalex.org/W3041958430","https://openalex.org/W3046227456","https://openalex.org/W3046486172","https://openalex.org/W3046697300","https://openalex.org/W3143608323","https://openalex.org/W3154932866","https://openalex.org/W3160872819","https://openalex.org/W3196201577","https://openalex.org/W4386243246","https://openalex.org/W6629683075","https://openalex.org/W6751621596","https://openalex.org/W6931703423","https://openalex.org/W6963407891"],"related_works":["https://openalex.org/W2371266106","https://openalex.org/W2117382851","https://openalex.org/W3006505070","https://openalex.org/W2382449560","https://openalex.org/W2767298477","https://openalex.org/W2110432562","https://openalex.org/W2025344","https://openalex.org/W2117864619","https://openalex.org/W2090337950","https://openalex.org/W2104121286"],"abstract_inverted_index":{"Compiling":[0],"high-level":[1,27],"programs":[2,100,166],"to":[3,20,56,69,91,101,128],"high-speed":[4],"packet-processing":[5],"pipelines":[6,76,174],"is":[7],"a":[8,67,138,152,156],"challenging":[9],"combinatorial":[10],"optimization":[11],"problem.":[12,51],"The":[13],"compiler":[14],"must":[15],"configure":[16],"the":[17,22,25,33,37,43,71,93,123,129,144,160,183],"pipeline\u2019s":[18,38,130],"resources":[19],"match":[21],"semantics":[23],"of":[24,32,42,49,82,95,117,155,159],"program\u2019s":[26,34,124],"specification,":[28],"while":[29],"packing":[30],"all":[31],"computation":[35],"into":[36,77,115],"limited":[39],"resources.":[40,132,189],"State":[41],"art":[44],"approaches":[45],"tackle":[46],"individual":[47],"aspects":[48],"this":[50],"Yet,":[52],"they":[53],"miss":[54],"opportunities":[55],"produce":[57],"globally":[58],"high-quality":[59],"outcomes":[60],"within":[61],"reasonable":[62],"compilation":[63,72],"times.":[64],"We":[65,133],"develop":[66],"framework":[68],"decompose":[70],"problem":[73],"for":[74],"such":[75],"three":[78],"phases\u2014making":[79],"extensive":[80],"use":[81,102],"solver":[83],"engines":[84],"(e.g.,":[85],"ILP,":[86],"SMT,":[87],"and":[88,126,149,175],"program":[89],"synthesis)":[90],"simplify":[92],"development":[94],"these":[96,135],"phases.":[97],"Transformation":[98],"rewrites":[99],"more":[103],"abundant":[104],"pipeline":[105,148,188],"resources,":[106],"avoiding":[107],"scarce":[108],"ones.":[109],"Synthesis":[110],"breaks":[111],"complex":[112],"transactional":[113],"code":[114,177,185],"configurations":[116],"pipelined":[118],"compute":[119,125],"units.":[120],"Allocation":[121],"maps":[122],"memory":[127],"hardware":[131],"prototype":[134],"ideas":[136],"in":[137],"compiler,":[139],"CaT,":[140],"which":[141],"targets":[142],"(1)":[143],"Tofino":[145],"programmable":[146],"switch":[147],"(2)":[150],"Menshen,":[151],"cycle-accurate":[153],"simulator":[154],"Verilog":[157],"description":[158],"RMT":[161],"pipeline.":[162],"CaT":[163],"can":[164],"handle":[165],"that":[167],"existing":[168,180],"compilers":[169],"cannot":[170],"currently":[171],"run":[172],"on":[173],"generates":[176],"faster":[178],"than":[179],"compilers,":[181],"where":[182],"generated":[184],"uses":[186],"fewer":[187]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":4},{"year":2023,"cited_by_count":2}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}