{"id":"https://openalex.org/W4411260272","doi":"https://doi.org/10.1145/3729305","title":"Divergence-Aware Testing of Graphics Shader Compiler Back-Ends","display_name":"Divergence-Aware Testing of Graphics Shader Compiler Back-Ends","publication_year":2025,"publication_date":"2025-06-10","ids":{"openalex":"https://openalex.org/W4411260272","doi":"https://doi.org/10.1145/3729305"},"language":"en","primary_location":{"id":"doi:10.1145/3729305","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3729305","pdf_url":null,"source":{"id":"https://openalex.org/S4210216081","display_name":"Proceedings of the ACM on Programming Languages","issn_l":"2475-1421","issn":["2475-1421"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the ACM on Programming Languages","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"diamond","oa_url":"https://doi.org/10.1145/3729305","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5070622803","display_name":"Dongwei Xiao","orcid":"https://orcid.org/0000-0002-4680-5715"},"institutions":[{"id":"https://openalex.org/I200769079","display_name":"Hong Kong University of Science and Technology","ror":"https://ror.org/00q4vv597","country_code":"HK","type":"education","lineage":["https://openalex.org/I200769079"]}],"countries":["HK"],"is_corresponding":true,"raw_author_name":"Dongwei Xiao","raw_affiliation_strings":["Hong Kong University of Science and Technology, Hong Kong, China"],"raw_orcid":"https://orcid.org/0000-0002-4680-5715","affiliations":[{"raw_affiliation_string":"Hong Kong University of Science and Technology, Hong Kong, China","institution_ids":["https://openalex.org/I200769079"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100328264","display_name":"Shuai Wang","orcid":"https://orcid.org/0000-0002-0866-0308"},"institutions":[{"id":"https://openalex.org/I200769079","display_name":"Hong Kong University of Science and Technology","ror":"https://ror.org/00q4vv597","country_code":"HK","type":"education","lineage":["https://openalex.org/I200769079"]}],"countries":["HK"],"is_corresponding":false,"raw_author_name":"Shuai Wang","raw_affiliation_strings":["Hong Kong University of Science and Technology, Hong Kong, China"],"raw_orcid":"https://orcid.org/0000-0002-0866-0308","affiliations":[{"raw_affiliation_string":"Hong Kong University of Science and Technology, Hong Kong, China","institution_ids":["https://openalex.org/I200769079"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5068911323","display_name":"Zhibo Liu","orcid":"https://orcid.org/0000-0002-7872-1129"},"institutions":[{"id":"https://openalex.org/I200769079","display_name":"Hong Kong University of Science and Technology","ror":"https://ror.org/00q4vv597","country_code":"HK","type":"education","lineage":["https://openalex.org/I200769079"]}],"countries":["HK"],"is_corresponding":false,"raw_author_name":"Zhibo Liu","raw_affiliation_strings":["Hong Kong University of Science and Technology, Hong Kong, China"],"raw_orcid":"https://orcid.org/0000-0002-7872-1129","affiliations":[{"raw_affiliation_string":"Hong Kong University of Science and Technology, Hong Kong, China","institution_ids":["https://openalex.org/I200769079"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5112200468","display_name":"Yiteng Peng","orcid":"https://orcid.org/0009-0006-2066-7939"},"institutions":[{"id":"https://openalex.org/I200769079","display_name":"Hong Kong University of Science and Technology","ror":"https://ror.org/00q4vv597","country_code":"HK","type":"education","lineage":["https://openalex.org/I200769079"]}],"countries":["HK"],"is_corresponding":false,"raw_author_name":"Yiteng Peng","raw_affiliation_strings":["Hong Kong University of Science and Technology, Hong Kong, China"],"raw_orcid":"https://orcid.org/0009-0006-2066-7939","affiliations":[{"raw_affiliation_string":"Hong Kong University of Science and Technology, Hong Kong, China","institution_ids":["https://openalex.org/I200769079"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5063510532","display_name":"Daoyuan Wu","orcid":"https://orcid.org/0000-0002-3752-0718"},"institutions":[{"id":"https://openalex.org/I200769079","display_name":"Hong Kong University of Science and Technology","ror":"https://ror.org/00q4vv597","country_code":"HK","type":"education","lineage":["https://openalex.org/I200769079"]}],"countries":["HK"],"is_corresponding":false,"raw_author_name":"Daoyuan Wu","raw_affiliation_strings":["Hong Kong University of Science and Technology, Hong Kong, China"],"raw_orcid":"https://orcid.org/0000-0002-3752-0718","affiliations":[{"raw_affiliation_string":"Hong Kong University of Science and Technology, Hong Kong, China","institution_ids":["https://openalex.org/I200769079"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5077610917","display_name":"Zhendong Su","orcid":"https://orcid.org/0000-0002-2970-1391"},"institutions":[{"id":"https://openalex.org/I35440088","display_name":"ETH Zurich","ror":"https://ror.org/05a28rw58","country_code":"CH","type":"education","lineage":["https://openalex.org/I2799323385","https://openalex.org/I35440088"]}],"countries":["CH"],"is_corresponding":false,"raw_author_name":"Zhendong Su","raw_affiliation_strings":["ETH Zurich, Z\u00fcrich, Switzerland"],"raw_orcid":"https://orcid.org/0000-0002-2970-1391","affiliations":[{"raw_affiliation_string":"ETH Zurich, Z\u00fcrich, Switzerland","institution_ids":["https://openalex.org/I35440088"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":6,"corresponding_author_ids":["https://openalex.org/A5070622803"],"corresponding_institution_ids":["https://openalex.org/I200769079"],"apc_list":null,"apc_paid":null,"fwci":2.1259,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.86209694,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":91,"max":95},"biblio":{"volume":"9","issue":"PLDI","first_page":"1367","last_page":"1391"},"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.9995999932289124,"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.9995999932289124,"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/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.9980000257492065,"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/T11032","display_name":"VLSI and Analog Circuit Testing","score":0.9925000071525574,"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/shader","display_name":"Shader","score":0.9237273931503296},{"id":"https://openalex.org/keywords/compiler","display_name":"Compiler","score":0.7107921838760376},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6975374817848206},{"id":"https://openalex.org/keywords/graphics","display_name":"Graphics","score":0.6264402270317078},{"id":"https://openalex.org/keywords/computer-graphics","display_name":"Computer graphics (images)","score":0.6123934388160706},{"id":"https://openalex.org/keywords/divergence","display_name":"Divergence (linguistics)","score":0.472929984331131},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.3776751756668091}],"concepts":[{"id":"https://openalex.org/C177681979","wikidata":"https://www.wikidata.org/wiki/Q633182","display_name":"Shader","level":3,"score":0.9237273931503296},{"id":"https://openalex.org/C169590947","wikidata":"https://www.wikidata.org/wiki/Q47506","display_name":"Compiler","level":2,"score":0.7107921838760376},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6975374817848206},{"id":"https://openalex.org/C21442007","wikidata":"https://www.wikidata.org/wiki/Q1027879","display_name":"Graphics","level":2,"score":0.6264402270317078},{"id":"https://openalex.org/C121684516","wikidata":"https://www.wikidata.org/wiki/Q7600677","display_name":"Computer graphics (images)","level":1,"score":0.6123934388160706},{"id":"https://openalex.org/C207390915","wikidata":"https://www.wikidata.org/wiki/Q1230525","display_name":"Divergence (linguistics)","level":2,"score":0.472929984331131},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.3776751756668091},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C41895202","wikidata":"https://www.wikidata.org/wiki/Q8162","display_name":"Linguistics","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1145/3729305","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3729305","pdf_url":null,"source":{"id":"https://openalex.org/S4210216081","display_name":"Proceedings of the ACM on Programming Languages","issn_l":"2475-1421","issn":["2475-1421"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the ACM on Programming Languages","raw_type":"journal-article"},{"id":"pmh:oai:repository.hkust.edu.hk:1783.1-151771","is_oa":false,"landing_page_url":"http://repository.hkust.edu.hk/ir/Record/1783.1-151771","pdf_url":null,"source":{"id":"https://openalex.org/S4306401796","display_name":"Rare & Special e-Zone (The Hong Kong University of Science and Technology)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I200769079","host_organization_name":"Hong Kong University of Science and Technology","host_organization_lineage":["https://openalex.org/I200769079"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Conference paper"}],"best_oa_location":{"id":"doi:10.1145/3729305","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3729305","pdf_url":null,"source":{"id":"https://openalex.org/S4210216081","display_name":"Proceedings of the ACM on Programming Languages","issn_l":"2475-1421","issn":["2475-1421"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the ACM on Programming Languages","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":42,"referenced_works":["https://openalex.org/W109452506","https://openalex.org/W1564196930","https://openalex.org/W1992498012","https://openalex.org/W2000335122","https://openalex.org/W2030405312","https://openalex.org/W2083221501","https://openalex.org/W2125126351","https://openalex.org/W2155877593","https://openalex.org/W2162436812","https://openalex.org/W2170737051","https://openalex.org/W2295329047","https://openalex.org/W2530895108","https://openalex.org/W2532737545","https://openalex.org/W2753617992","https://openalex.org/W2759550170","https://openalex.org/W2794859654","https://openalex.org/W2979340153","https://openalex.org/W3043641306","https://openalex.org/W3107362213","https://openalex.org/W3110161860","https://openalex.org/W3173506450","https://openalex.org/W4213287115","https://openalex.org/W4214617101","https://openalex.org/W4238083723","https://openalex.org/W4244488020","https://openalex.org/W4281613925","https://openalex.org/W4281652542","https://openalex.org/W4284961179","https://openalex.org/W4378465442","https://openalex.org/W4379512361","https://openalex.org/W4379512400","https://openalex.org/W4384154547","https://openalex.org/W4384154578","https://openalex.org/W4384345775","https://openalex.org/W4387302771","https://openalex.org/W4390604635","https://openalex.org/W4390605205","https://openalex.org/W4396214549","https://openalex.org/W4399850836","https://openalex.org/W4400582893","https://openalex.org/W4403520270","https://openalex.org/W4408750006"],"related_works":["https://openalex.org/W4210947554","https://openalex.org/W2143798049","https://openalex.org/W4386771857","https://openalex.org/W2479348112","https://openalex.org/W1989120073","https://openalex.org/W1713081424","https://openalex.org/W2127315869","https://openalex.org/W1523769955","https://openalex.org/W2245390655","https://openalex.org/W4379536100"],"abstract_inverted_index":{"Graphics":[0],"shaders":[1],"are":[2,21,50,103,116,139],"the":[3,108,111,136,164,185,190,209,256],"core":[4],"of":[5,17,113,166,189,214,224],"modern":[6],"3D":[7,18],"visual":[8],"effects,":[9],"enabling":[10],"developers":[11],"to":[12,86,95,119,160,183,217],"create":[13],"realistic,":[14],"real-time":[15],"rendering":[16],"scenes.":[19],"Shaders":[20],"specialized":[22],"programs":[23,39,52,216],"written":[24],"in":[25,93,97,107,142,163,207,255],"high-level":[26,37],"shading":[27],"languages":[28],"like":[29],"GLSL,":[30],"and":[31,58,71,84,105,138,151,194,211,259],"graphics":[32,73,167,227],"shader":[33,38,48,74,114,130,168,215,228,243],"compilers":[34,49,75,115,131,229],"translate":[35],"these":[36],"into":[40],"low-level":[41],"binaries":[42],"that":[43,79,125,248],"run":[44],"on":[45,226],"GPUs.":[46],"These":[47],"complex":[51,104],"with":[53,177,241],"multiple":[54],"layers:":[55],"front-end,":[56],"middle-end,":[57],"back-end.":[59],"Despite":[60],"significant":[61],"development":[62],"efforts":[63],"from":[64,89,230],"industrial":[65],"GPU":[66,199,233],"vendors":[67,234],"such":[68],"as":[69,263],"NVIDIA":[70],"AMD,":[72],"still":[76],"contain":[77],"bugs":[78,162],"can":[80],"impact":[81],"downstream":[82],"applications":[83],"lead":[85],"negative":[87],"consequences":[88],"poor":[90],"user":[91],"experience":[92],"entertainment":[94],"accidents":[96],"driving":[98],"assistance":[99],"systems.":[100],"Because":[101],"they":[102],"deep":[106],"compilation":[109],"pipeline,":[110],"back-ends":[112,137,165],"particularly":[117],"challenging":[118],"test.":[120],"Our":[121,222],"empirical":[122],"exploration":[123],"shows":[124,247],"state-of-the-art":[126],"testing":[127,156,245],"tools":[128,246],"for":[129],"do":[132],"not":[133],"specifically":[134,158],"target":[135],"thus":[140],"ineffective":[141],"uncovering":[143],"back-end":[144,220,237,257,265],"bugs.":[145,238,266],"This":[146],"work":[147],"fills":[148],"this":[149,171],"gap":[150],"introduces":[152],"ShaDiv,":[153],"an":[154],"automated":[155],"tool":[157],"designed":[159,181],"uncover":[161],"compilers.":[169],"To":[170],"end,":[172],"ShaDiv":[173,202,225,249],"generates":[174],"test":[175],"inputs":[176],"two":[178],"novel,":[179],"carefully":[180],"strategies":[182],"support":[184],"unique":[186],"computational":[187],"models":[188],"back-ends,":[191],"namely":[192],"control":[193,210],"data":[195,212],"flow":[196,213],"divergence":[197,205],"among":[198],"threads.":[200],"Indeed,":[201],"deliberately":[203],"perturbs":[204],"patterns":[206],"both":[208],"effectively":[218],"trigger":[219],"optimizations.":[221],"evaluation":[223],"four":[231,261],"mainstream":[232],"uncovered":[235],"12":[236],"Further":[239],"comparison":[240],"existing":[242],"compiler":[244],"achieves":[250],"a":[251],"25%":[252],"coverage":[253],"increase":[254],"components":[258],"finds":[260],"times":[262],"many":[264]},"counts_by_year":[{"year":2025,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}