{"id":"https://openalex.org/W4318328335","doi":"https://doi.org/10.1145/3559009.3569664","title":"Optimizing Regular Expressions via Rewrite-Guided Synthesis","display_name":"Optimizing Regular Expressions via Rewrite-Guided Synthesis","publication_year":2022,"publication_date":"2022-10-08","ids":{"openalex":"https://openalex.org/W4318328335","doi":"https://doi.org/10.1145/3559009.3569664"},"language":"en","primary_location":{"id":"doi:10.1145/3559009.3569664","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3559009.3569664","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3559009.3569664","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the International Conference on Parallel Architectures and Compilation Techniques","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://dl.acm.org/doi/pdf/10.1145/3559009.3569664","any_repository_has_fulltext":null},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5035476830","display_name":"Jedidiah McClurg","orcid":"https://orcid.org/0000-0002-0598-8199"},"institutions":[{"id":"https://openalex.org/I92446798","display_name":"Colorado State University","ror":"https://ror.org/03k1gpj17","country_code":"US","type":"education","lineage":["https://openalex.org/I92446798"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Jedidiah McClurg","raw_affiliation_strings":["Colorado State University"],"affiliations":[{"raw_affiliation_string":"Colorado State University","institution_ids":["https://openalex.org/I92446798"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5010380296","display_name":"Miles Claver","orcid":null},"institutions":[{"id":"https://openalex.org/I167576493","display_name":"Colorado School of Mines","ror":"https://ror.org/04raf6v53","country_code":"US","type":"education","lineage":["https://openalex.org/I167576493"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Miles Claver","raw_affiliation_strings":["Colorado School of Mines"],"affiliations":[{"raw_affiliation_string":"Colorado School of Mines","institution_ids":["https://openalex.org/I167576493"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5063102597","display_name":"Jackson Garner","orcid":null},"institutions":[{"id":"https://openalex.org/I167576493","display_name":"Colorado School of Mines","ror":"https://ror.org/04raf6v53","country_code":"US","type":"education","lineage":["https://openalex.org/I167576493"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Jackson Garner","raw_affiliation_strings":["Colorado School of Mines"],"affiliations":[{"raw_affiliation_string":"Colorado School of Mines","institution_ids":["https://openalex.org/I167576493"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5057274561","display_name":"Jake Vossen","orcid":null},"institutions":[{"id":"https://openalex.org/I167576493","display_name":"Colorado School of Mines","ror":"https://ror.org/04raf6v53","country_code":"US","type":"education","lineage":["https://openalex.org/I167576493"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Jake Vossen","raw_affiliation_strings":["Colorado School of Mines"],"affiliations":[{"raw_affiliation_string":"Colorado School of Mines","institution_ids":["https://openalex.org/I167576493"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5009080534","display_name":"Jordan Schmerge","orcid":null},"institutions":[{"id":"https://openalex.org/I167576493","display_name":"Colorado School of Mines","ror":"https://ror.org/04raf6v53","country_code":"US","type":"education","lineage":["https://openalex.org/I167576493"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Jordan Schmerge","raw_affiliation_strings":["Colorado School of Mines"],"affiliations":[{"raw_affiliation_string":"Colorado School of Mines","institution_ids":["https://openalex.org/I167576493"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5080092881","display_name":"Mehmet E. Belviranl\u0131","orcid":"https://orcid.org/0000-0001-9434-9833"},"institutions":[{"id":"https://openalex.org/I167576493","display_name":"Colorado School of Mines","ror":"https://ror.org/04raf6v53","country_code":"US","type":"education","lineage":["https://openalex.org/I167576493"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Mehmet E. Belviranli","raw_affiliation_strings":["Colorado School of Mines"],"affiliations":[{"raw_affiliation_string":"Colorado School of Mines","institution_ids":["https://openalex.org/I167576493"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":6,"corresponding_author_ids":["https://openalex.org/A5035476830"],"corresponding_institution_ids":["https://openalex.org/I92446798"],"apc_list":null,"apc_paid":null,"fwci":1.167,"has_fulltext":true,"cited_by_count":5,"citation_normalized_percentile":{"value":0.78110971,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":98},"biblio":{"volume":null,"issue":null,"first_page":"426","last_page":"438"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12326","display_name":"Network Packet Processing and Optimization","score":0.9976000189781189,"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/T12326","display_name":"Network Packet Processing and Optimization","score":0.9976000189781189,"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/T11241","display_name":"Advanced Malware Detection Techniques","score":0.9961000084877014,"subfield":{"id":"https://openalex.org/subfields/1711","display_name":"Signal Processing"},"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.9940999746322632,"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/regular-expression","display_name":"Regular expression","score":0.903709888458252},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7214393615722656},{"id":"https://openalex.org/keywords/equivalence","display_name":"Equivalence (formal languages)","score":0.6644127368927002},{"id":"https://openalex.org/keywords/expression","display_name":"Expression (computer science)","score":0.6152129173278809},{"id":"https://openalex.org/keywords/rewriting","display_name":"Rewriting","score":0.5783835053443909},{"id":"https://openalex.org/keywords/compiler","display_name":"Compiler","score":0.5577660202980042},{"id":"https://openalex.org/keywords/syntax","display_name":"Syntax","score":0.4332490861415863},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.42705997824668884},{"id":"https://openalex.org/keywords/scalability","display_name":"Scalability","score":0.41943150758743286},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.3497370481491089},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.191802978515625},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.15235289931297302},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.09489092230796814}],"concepts":[{"id":"https://openalex.org/C121329065","wikidata":"https://www.wikidata.org/wiki/Q185612","display_name":"Regular expression","level":2,"score":0.903709888458252},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7214393615722656},{"id":"https://openalex.org/C2780069185","wikidata":"https://www.wikidata.org/wiki/Q7977945","display_name":"Equivalence (formal languages)","level":2,"score":0.6644127368927002},{"id":"https://openalex.org/C90559484","wikidata":"https://www.wikidata.org/wiki/Q778379","display_name":"Expression (computer science)","level":2,"score":0.6152129173278809},{"id":"https://openalex.org/C154690210","wikidata":"https://www.wikidata.org/wiki/Q1668499","display_name":"Rewriting","level":2,"score":0.5783835053443909},{"id":"https://openalex.org/C169590947","wikidata":"https://www.wikidata.org/wiki/Q47506","display_name":"Compiler","level":2,"score":0.5577660202980042},{"id":"https://openalex.org/C60048249","wikidata":"https://www.wikidata.org/wiki/Q37437","display_name":"Syntax","level":2,"score":0.4332490861415863},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.42705997824668884},{"id":"https://openalex.org/C48044578","wikidata":"https://www.wikidata.org/wiki/Q727490","display_name":"Scalability","level":2,"score":0.41943150758743286},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.3497370481491089},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.191802978515625},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.15235289931297302},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.09489092230796814},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3559009.3569664","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3559009.3569664","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3559009.3569664","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the International Conference on Parallel Architectures and Compilation Techniques","raw_type":"proceedings-article"}],"best_oa_location":{"id":"doi:10.1145/3559009.3569664","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3559009.3569664","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3559009.3569664","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the International Conference on Parallel Architectures and Compilation Techniques","raw_type":"proceedings-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G5967755965","display_name":"Collaborative Research: FMitF: Track I: Game Theoretic Updates for Network and Cloud Functions","funder_award_id":"2018910","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G6565858726","display_name":"FMitF: Track I: Robust Enforcement of Customizable Resource Constraints in Heterogeneous Embedded Systems","funder_award_id":"2124010","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G8383251394","display_name":null,"funder_award_id":"2018910, 2124010","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G848032724","display_name":null,"funder_award_id":"Science","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":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4318328335.pdf","grobid_xml":"https://content.openalex.org/works/W4318328335.grobid-xml"},"referenced_works_count":59,"referenced_works":["https://openalex.org/W801472226","https://openalex.org/W993487908","https://openalex.org/W1480909796","https://openalex.org/W1499479569","https://openalex.org/W1563402047","https://openalex.org/W1813069714","https://openalex.org/W1935259232","https://openalex.org/W1990473086","https://openalex.org/W2007281030","https://openalex.org/W2022846948","https://openalex.org/W2028237749","https://openalex.org/W2057747677","https://openalex.org/W2059811116","https://openalex.org/W2072607050","https://openalex.org/W2083826366","https://openalex.org/W2105956753","https://openalex.org/W2154774499","https://openalex.org/W2163152086","https://openalex.org/W2399923814","https://openalex.org/W2417132441","https://openalex.org/W2506796853","https://openalex.org/W2552689336","https://openalex.org/W2603401210","https://openalex.org/W2603456259","https://openalex.org/W2735699069","https://openalex.org/W2766070042","https://openalex.org/W2806253293","https://openalex.org/W2888047193","https://openalex.org/W2899462170","https://openalex.org/W2944956154","https://openalex.org/W2953973768","https://openalex.org/W2968966662","https://openalex.org/W3033316151","https://openalex.org/W3033423882","https://openalex.org/W3033581399","https://openalex.org/W3083991646","https://openalex.org/W3099525000","https://openalex.org/W3117137355","https://openalex.org/W3146384180","https://openalex.org/W3146438627","https://openalex.org/W3148361189","https://openalex.org/W3185574054","https://openalex.org/W3200051020","https://openalex.org/W4234221848","https://openalex.org/W4238194115","https://openalex.org/W4243435342","https://openalex.org/W4281667938","https://openalex.org/W4299301436","https://openalex.org/W6644714155","https://openalex.org/W6657548313","https://openalex.org/W6674236629","https://openalex.org/W6697252425","https://openalex.org/W6697544457","https://openalex.org/W6712637741","https://openalex.org/W6741146038","https://openalex.org/W6750269703","https://openalex.org/W6758235706","https://openalex.org/W6763501908","https://openalex.org/W6766527973"],"related_works":["https://openalex.org/W2120204135","https://openalex.org/W1796293478","https://openalex.org/W174435416","https://openalex.org/W2168276503","https://openalex.org/W2139396251","https://openalex.org/W1577544887","https://openalex.org/W1573537275","https://openalex.org/W1537864410","https://openalex.org/W2166281503","https://openalex.org/W2366889814"],"abstract_inverted_index":{"Regular":[0],"expressions":[1,10,34,49,100],"are":[2,11,19],"pervasive":[3],"in":[4,65,147,164],"modern":[5],"systems.":[6],"Many":[7],"real-world":[8],"regular":[9,33,37,48],"inefficient,":[12],"sometimes":[13],"to":[14,21,50,57,159],"the":[15,41,126],"extent":[16],"that":[17],"they":[18],"vulnerable":[20],"complexity-based":[22],"attacks,":[23],"and":[24,115,154],"while":[25],"much":[26],"research":[27],"has":[28],"focused":[29],"on":[30],"detecting":[31],"inefficient":[32],"or":[35],"accelerating":[36],"expression":[38,59,118,170],"matching":[39],"at":[40],"hardware":[42],"level,":[43],"we":[44],"investigate":[45],"automatically":[46],"transforming":[47],"remove":[51],"inefficiencies.":[52],"We":[53,138],"reduce":[54],"this":[55,89],"problem":[56],"general":[58],"optimization,":[60],"an":[61,108,165],"important":[62],"task":[63],"necessary":[64],"a":[66,82,95,140,149],"variety":[67],"of":[68,98,117],"domains":[69],"even":[70],"beyond":[71],"compilers,":[72],"e.g.,":[73],"digital":[74],"logic":[75],"design,":[76],"etc.":[77],"Syntax-guided":[78],"synthesis":[79,145],"(SyGuS)":[80],"with":[81],"cost":[83],"function":[84],"can":[85,101],"be":[86,102,136],"used":[87],"for":[88,169],"purpose,":[90],"but":[91,125],"ordered":[92],"enumeration":[93],"through":[94],"large":[96],"space":[97],"candidate":[99],"prohibitively":[103],"expensive.":[104],"Equality":[105],"saturation":[106],"is":[107],"alternative":[109],"approach":[110,142],"which":[111,148],"allows":[112],"efficient":[113],"construction":[114],"maintenance":[116],"equivalence":[119],"classes":[120],"generated":[121],"by":[122],"rewrite":[123],"rules,":[124],"procedure":[127],"may":[128],"not":[129],"reach":[130],"saturation,":[131],"meaning":[132],"global":[133],"minimality":[134],"cannot":[135],"confirmed.":[137],"present":[139],"new":[141],"called":[143],"rewrite-guided":[144],"(ReGiS),":[146],"unique":[150],"interplay":[151],"between":[152],"SyGuS":[153],"equality":[155],"saturation-based":[156],"rewriting":[157],"helps":[158],"overcome":[160],"these":[161],"problems,":[162],"resulting":[163],"efficient,":[166],"scalable":[167],"framework":[168],"optimization.":[171]},"counts_by_year":[{"year":2024,"cited_by_count":4},{"year":2023,"cited_by_count":1}],"updated_date":"2026-04-10T15:06:20.359241","created_date":"2025-10-10T00:00:00"}