{"id":"https://openalex.org/W2929427024","doi":"https://doi.org/10.1145/3297858.3304066","title":"Debugging Support for Pattern-Matching Languages and Accelerators","display_name":"Debugging Support for Pattern-Matching Languages and Accelerators","publication_year":2019,"publication_date":"2019-04-04","ids":{"openalex":"https://openalex.org/W2929427024","doi":"https://doi.org/10.1145/3297858.3304066","mag":"2929427024"},"language":"en","primary_location":{"id":"doi:10.1145/3297858.3304066","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3297858.3304066","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3297858.3304066","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the Twenty-Fourth International Conference on Architectural Support for Programming Languages and Operating Systems","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/3297858.3304066","any_repository_has_fulltext":null},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5037151612","display_name":"Matthew Casias","orcid":null},"institutions":[{"id":"https://openalex.org/I51556381","display_name":"University of Virginia","ror":"https://ror.org/0153tk833","country_code":"US","type":"education","lineage":["https://openalex.org/I51556381"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Matthew Casias","raw_affiliation_strings":["University of Virginia, Charlottesville, VA, USA"],"affiliations":[{"raw_affiliation_string":"University of Virginia, Charlottesville, VA, USA","institution_ids":["https://openalex.org/I51556381"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5043289411","display_name":"Kevin Angstadt","orcid":"https://orcid.org/0000-0002-0104-5257"},"institutions":[{"id":"https://openalex.org/I27837315","display_name":"University of Michigan\u2013Ann Arbor","ror":"https://ror.org/00jmfr291","country_code":"US","type":"education","lineage":["https://openalex.org/I27837315"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Kevin Angstadt","raw_affiliation_strings":["University of Michigan, Ann Arbor, MI, USA"],"affiliations":[{"raw_affiliation_string":"University of Michigan, Ann Arbor, MI, USA","institution_ids":["https://openalex.org/I27837315"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5068125417","display_name":"Tommy Tracy","orcid":"https://orcid.org/0000-0002-9872-0246"},"institutions":[{"id":"https://openalex.org/I51556381","display_name":"University of Virginia","ror":"https://ror.org/0153tk833","country_code":"US","type":"education","lineage":["https://openalex.org/I51556381"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Tommy Tracy II","raw_affiliation_strings":["University of Virginia, Charlottesville, VA, USA"],"affiliations":[{"raw_affiliation_string":"University of Virginia, Charlottesville, VA, USA","institution_ids":["https://openalex.org/I51556381"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5074818897","display_name":"Kevin Skadron","orcid":"https://orcid.org/0000-0002-8091-9302"},"institutions":[{"id":"https://openalex.org/I51556381","display_name":"University of Virginia","ror":"https://ror.org/0153tk833","country_code":"US","type":"education","lineage":["https://openalex.org/I51556381"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Kevin Skadron","raw_affiliation_strings":["University of Virginia, Charlottesville, VA, USA"],"affiliations":[{"raw_affiliation_string":"University of Virginia, Charlottesville, VA, USA","institution_ids":["https://openalex.org/I51556381"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5083601969","display_name":"Westley Weimer","orcid":"https://orcid.org/0000-0001-6749-2204"},"institutions":[{"id":"https://openalex.org/I27837315","display_name":"University of Michigan\u2013Ann Arbor","ror":"https://ror.org/00jmfr291","country_code":"US","type":"education","lineage":["https://openalex.org/I27837315"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Westley Weimer","raw_affiliation_strings":["University of Michigan, Ann Arbor , MI, USA"],"affiliations":[{"raw_affiliation_string":"University of Michigan, Ann Arbor , MI, USA","institution_ids":["https://openalex.org/I27837315"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5037151612"],"corresponding_institution_ids":["https://openalex.org/I51556381"],"apc_list":null,"apc_paid":null,"fwci":2.3062,"has_fulltext":true,"cited_by_count":11,"citation_normalized_percentile":{"value":0.8802521,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":96},"biblio":{"volume":null,"issue":null,"first_page":"1073","last_page":"1086"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9994000196456909,"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"}},"topics":[{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9994000196456909,"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/T11241","display_name":"Advanced Malware Detection Techniques","score":0.9937999844551086,"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/T10260","display_name":"Software Engineering Research","score":0.9937000274658203,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"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/debugging","display_name":"Debugging","score":0.9069712162017822},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8417486548423767},{"id":"https://openalex.org/keywords/benchmark","display_name":"Benchmark (surveying)","score":0.6480934023857117},{"id":"https://openalex.org/keywords/field-programmable-gate-array","display_name":"Field-programmable gate array","score":0.5102345943450928},{"id":"https://openalex.org/keywords/focus","display_name":"Focus (optics)","score":0.4880727529525757},{"id":"https://openalex.org/keywords/automaton","display_name":"Automaton","score":0.4821878969669342},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.4576110243797302},{"id":"https://openalex.org/keywords/algorithmic-program-debugging","display_name":"Algorithmic program debugging","score":0.44946932792663574},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.44625407457351685},{"id":"https://openalex.org/keywords/background-debug-mode-interface","display_name":"Background debug mode interface","score":0.41103559732437134},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.4028157591819763},{"id":"https://openalex.org/keywords/computer-architecture","display_name":"Computer architecture","score":0.35881567001342773},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.20283859968185425}],"concepts":[{"id":"https://openalex.org/C168065819","wikidata":"https://www.wikidata.org/wiki/Q845566","display_name":"Debugging","level":2,"score":0.9069712162017822},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8417486548423767},{"id":"https://openalex.org/C185798385","wikidata":"https://www.wikidata.org/wiki/Q1161707","display_name":"Benchmark (surveying)","level":2,"score":0.6480934023857117},{"id":"https://openalex.org/C42935608","wikidata":"https://www.wikidata.org/wiki/Q190411","display_name":"Field-programmable gate array","level":2,"score":0.5102345943450928},{"id":"https://openalex.org/C192209626","wikidata":"https://www.wikidata.org/wiki/Q190909","display_name":"Focus (optics)","level":2,"score":0.4880727529525757},{"id":"https://openalex.org/C112505250","wikidata":"https://www.wikidata.org/wiki/Q787116","display_name":"Automaton","level":2,"score":0.4821878969669342},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.4576110243797302},{"id":"https://openalex.org/C136388014","wikidata":"https://www.wikidata.org/wiki/Q17084976","display_name":"Algorithmic program debugging","level":3,"score":0.44946932792663574},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.44625407457351685},{"id":"https://openalex.org/C124774103","wikidata":"https://www.wikidata.org/wiki/Q4839640","display_name":"Background debug mode interface","level":3,"score":0.41103559732437134},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.4028157591819763},{"id":"https://openalex.org/C118524514","wikidata":"https://www.wikidata.org/wiki/Q173212","display_name":"Computer architecture","level":1,"score":0.35881567001342773},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.20283859968185425},{"id":"https://openalex.org/C13280743","wikidata":"https://www.wikidata.org/wiki/Q131089","display_name":"Geodesy","level":1,"score":0.0},{"id":"https://openalex.org/C205649164","wikidata":"https://www.wikidata.org/wiki/Q1071","display_name":"Geography","level":0,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C120665830","wikidata":"https://www.wikidata.org/wiki/Q14620","display_name":"Optics","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3297858.3304066","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3297858.3304066","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3297858.3304066","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the Twenty-Fourth International Conference on Architectural Support for Programming Languages and Operating Systems","raw_type":"proceedings-article"}],"best_oa_location":{"id":"doi:10.1145/3297858.3304066","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3297858.3304066","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3297858.3304066","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the Twenty-Fourth International Conference on Architectural Support for Programming Languages and Operating Systems","raw_type":"proceedings-article"},"sustainable_development_goals":[{"display_name":"Industry, innovation and infrastructure","score":0.4399999976158142,"id":"https://metadata.un.org/sdg/9"}],"awards":[{"id":"https://openalex.org/G1106132529","display_name":null,"funder_award_id":"CRISP, one of six centers in JUMP","funder_id":"https://openalex.org/F4320306087","funder_display_name":"Semiconductor Research Corporation"},{"id":"https://openalex.org/G1436637928","display_name":null,"funder_award_id":"CCF-1629450","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G2053563072","display_name":null,"funder_award_id":"CRISP","funder_id":"https://openalex.org/F4320306087","funder_display_name":"Semiconductor Research Corporation"},{"id":"https://openalex.org/G4723136834","display_name":null,"funder_award_id":"CCF-1619123","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G5641060889","display_name":null,"funder_award_id":"CNS-1619098","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G7006935713","display_name":"CHS: Small: Translating Compilers for Visual Computing in Dynamic Languages","funder_award_id":"1619123","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G7294472768","display_name":"XPS:FULL: New Abstractions and Applications for Automata Computing","funder_award_id":"1629450","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G7406030291","display_name":null,"funder_award_id":"CRISP","funder_id":"https://openalex.org/F4320332180","funder_display_name":"Defense Advanced Research Projects Agency"},{"id":"https://openalex.org/G8785993018","display_name":null,"funder_award_id":"CCF-1629450, CCF-1619123, CNS-1619098","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"},{"id":"https://openalex.org/F4320306087","display_name":"Semiconductor Research Corporation","ror":"https://ror.org/047z4n946"},{"id":"https://openalex.org/F4320319068","display_name":"Jefferson Scholars Foundation","ror":null},{"id":"https://openalex.org/F4320332180","display_name":"Defense Advanced Research Projects Agency","ror":"https://ror.org/02caytj08"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2929427024.pdf","grobid_xml":"https://content.openalex.org/works/W2929427024.grobid-xml"},"referenced_works_count":69,"referenced_works":["https://openalex.org/W31337554","https://openalex.org/W650763165","https://openalex.org/W1521294226","https://openalex.org/W1546620680","https://openalex.org/W1877496576","https://openalex.org/W1957875051","https://openalex.org/W1967308381","https://openalex.org/W1984222112","https://openalex.org/W1994584977","https://openalex.org/W2008844983","https://openalex.org/W2012114780","https://openalex.org/W2036551003","https://openalex.org/W2038903004","https://openalex.org/W2040976214","https://openalex.org/W2044242345","https://openalex.org/W2062949766","https://openalex.org/W2067436653","https://openalex.org/W2072367650","https://openalex.org/W2078827749","https://openalex.org/W2080947572","https://openalex.org/W2085774719","https://openalex.org/W2090812976","https://openalex.org/W2091543666","https://openalex.org/W2098460515","https://openalex.org/W2102172561","https://openalex.org/W2105357036","https://openalex.org/W2105993342","https://openalex.org/W2106295883","https://openalex.org/W2112040168","https://openalex.org/W2115222032","https://openalex.org/W2128213565","https://openalex.org/W2141109493","https://openalex.org/W2147650830","https://openalex.org/W2159558457","https://openalex.org/W2162385899","https://openalex.org/W2162468176","https://openalex.org/W2164372721","https://openalex.org/W2169974813","https://openalex.org/W2324544651","https://openalex.org/W2335528805","https://openalex.org/W2416036494","https://openalex.org/W2470528519","https://openalex.org/W2477094402","https://openalex.org/W2478089729","https://openalex.org/W2496668040","https://openalex.org/W2506868046","https://openalex.org/W2529090470","https://openalex.org/W2537372356","https://openalex.org/W2551468928","https://openalex.org/W2610859415","https://openalex.org/W2618550415","https://openalex.org/W2619704817","https://openalex.org/W2625181763","https://openalex.org/W2732271333","https://openalex.org/W2761924149","https://openalex.org/W2766073137","https://openalex.org/W2772969855","https://openalex.org/W2794546595","https://openalex.org/W3000286628","https://openalex.org/W3127558385","https://openalex.org/W3201582780","https://openalex.org/W4232418947","https://openalex.org/W4238900640","https://openalex.org/W4242942449","https://openalex.org/W4247167553","https://openalex.org/W4249299790","https://openalex.org/W4252044030","https://openalex.org/W4285719527","https://openalex.org/W6603019652"],"related_works":["https://openalex.org/W4242908235","https://openalex.org/W1500546894","https://openalex.org/W2611067230","https://openalex.org/W4254711235","https://openalex.org/W2375626968","https://openalex.org/W4235144968","https://openalex.org/W4255094033","https://openalex.org/W2379759476","https://openalex.org/W4384377074","https://openalex.org/W3184027876"],"abstract_inverted_index":{"Programs":[0],"written":[1,99],"for":[2,39,79,105,115,147],"hardware":[3,35,60,82],"accelerators":[4],"can":[5,24],"often":[6],"be":[7,25],"difficult":[8],"to":[9,136],"debug.":[10],"Without":[11],"adequate":[12],"tool":[13],"support,":[14],"program":[15],"maintenance":[16],"tasks":[17],"such":[18],"as":[19],"fault":[20,186],"localization":[21,187],"and":[22,87,119,130,175],"debugging":[23,67,77,86,132,183],"particularly":[26],"challenging.":[27],"In":[28],"this":[29],"work,":[30],"we":[31,163],"focus":[32,96],"on":[33,97,160],"supporting":[34],"that":[36,46,83,123],"is":[37,70],"specialized":[38],"finite":[40],"automata":[41,92,156],"processing,":[42],"a":[43,52,76,102,110,168,196],"computational":[44],"paradigm":[45],"has":[47],"accelerated":[48],"pattern-matching":[49,106],"applications":[50,152],"across":[51,150],"diverse":[53],"set":[54],"of":[55,90,112,128,179],"problem":[56],"domains.":[57],"While":[58],"commodity":[59,81],"enables":[61],"high-throughput":[62],"data":[63,129],"analysis,":[64],"direct":[65],"interactive":[66,131],"(e.g.,":[68],"single-stepping)":[69],"not":[71],"currently":[72],"supported.":[73],"We":[74,95,108],"propose":[75],"approach":[78,114,149],"existing":[80],"supports":[84,124],"step-through":[85],"variable":[88],"inspection":[89],"user-written":[91],"processing":[93,127,157],"programs.":[94],"programs":[98],"in":[100,153,195],"RAPID,":[101],"domain-specific":[103],"language":[104],"applications.":[107],"develop":[109],"prototype":[111],"our":[113,148,165],"both":[116],"Xilinx":[117],"FPGAs":[118],"Micron's":[120],"Automata":[121],"Processor":[122],"simultaneous":[125],"high-speed":[126],"without":[133],"requiring":[134],"modifications":[135],"the":[137,154],"underlying":[138],"hardware.":[139],"Our":[140,181],"empirical":[141],"evaluation":[142],"demonstrates":[143],"low":[144],"clock":[145],"overheads":[146],"thirteen":[151],"ANMLZoo":[155],"benchmark":[158],"suite":[159],"FPGAs.":[161],"Additionally,":[162],"evaluate":[164],"technique":[166],"through":[167],"human":[169],"study":[170],"involving":[171],"over":[172],"60":[173],"participants":[174],"20":[176],"buggy":[177],"segments":[178],"code.":[180],"generated":[182],"information":[184],"increases":[185],"accuracy":[188],"by":[189],"22%,":[190],"or":[191],"10":[192],"percentage":[193],"points,":[194],"statistically":[197],"significant":[198],"manner":[199],"(p=0.013).":[200]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":2},{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":2},{"year":2021,"cited_by_count":1},{"year":2020,"cited_by_count":2},{"year":2019,"cited_by_count":2}],"updated_date":"2026-04-10T15:06:20.359241","created_date":"2025-10-10T00:00:00"}