{"id":"https://openalex.org/W7134887401","doi":"https://doi.org/10.1145/3779212.3790241","title":"Triton-Sanitizer: A Fast and Device-Agnostic Memory Sanitizer for Triton with Rich Diagnostic Context","display_name":"Triton-Sanitizer: A Fast and Device-Agnostic Memory Sanitizer for Triton with Rich Diagnostic Context","publication_year":2026,"publication_date":"2026-03-10","ids":{"openalex":"https://openalex.org/W7134887401","doi":"https://doi.org/10.1145/3779212.3790241"},"language":null,"primary_location":{"id":"doi:10.1145/3779212.3790241","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3779212.3790241","pdf_url":null,"source":null,"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 31st ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 2","raw_type":"proceedings-article"},"type":"conference-paper","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://doi.org/10.1145/3779212.3790241","any_repository_has_fulltext":null},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5109756842","display_name":"Hao Wu","orcid":"https://orcid.org/0009-0003-6318-4505"},"institutions":[{"id":"https://openalex.org/I162714631","display_name":"George Mason University","ror":"https://ror.org/02jqj7156","country_code":"US","type":"education","lineage":["https://openalex.org/I162714631"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Hao Wu","raw_affiliation_strings":["George Mason University, Fairfax, Virginia, USA"],"raw_orcid":"https://orcid.org/0009-0003-6318-4505","affiliations":[{"raw_affiliation_string":"George Mason University, Fairfax, Virginia, USA","institution_ids":["https://openalex.org/I162714631"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5110648184","display_name":"Qidong Zhao","orcid":null},"institutions":[{"id":"https://openalex.org/I1291425158","display_name":"Google (United States)","ror":"https://ror.org/00njsd438","country_code":"US","type":"company","lineage":["https://openalex.org/I1291425158","https://openalex.org/I4210128969"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Qidong Zhao","raw_affiliation_strings":["Google, Mountain View, California, USA"],"raw_orcid":"https://orcid.org/0000-0002-0872-1246","affiliations":[{"raw_affiliation_string":"Google, Mountain View, California, USA","institution_ids":["https://openalex.org/I1291425158"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5065505890","display_name":"Songqing Chen","orcid":"https://orcid.org/0000-0003-4650-7125"},"institutions":[{"id":"https://openalex.org/I162714631","display_name":"George Mason University","ror":"https://ror.org/02jqj7156","country_code":"US","type":"education","lineage":["https://openalex.org/I162714631"]},{"id":"https://openalex.org/I4210161460","display_name":"OpenAI (United States)","ror":"https://ror.org/05wx9n238","country_code":"US","type":"company","lineage":["https://openalex.org/I4210161460"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Songqing Chen","raw_affiliation_strings":["George Mason University, Fairfax, Virginia, USA","OpenAI, San Francisco, California, USA"],"raw_orcid":"https://orcid.org/0000-0003-4650-7125","affiliations":[{"raw_affiliation_string":"George Mason University, Fairfax, Virginia, USA","institution_ids":["https://openalex.org/I162714631"]},{"raw_affiliation_string":"OpenAI, San Francisco, California, USA","institution_ids":["https://openalex.org/I4210161460"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5128771365","display_name":"Yang Chen","orcid":null},"institutions":[{"id":"https://openalex.org/I32232075","display_name":"American Anthropological Association","ror":"https://ror.org/02b8m7s43","country_code":"US","type":"other","lineage":["https://openalex.org/I32232075"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Yang Chen","raw_affiliation_strings":["Anthropic, San Francisco, California, USA"],"raw_orcid":"https://orcid.org/0009-0005-8476-3922","affiliations":[{"raw_affiliation_string":"Anthropic, San Francisco, California, USA","institution_ids":["https://openalex.org/I32232075"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5015357791","display_name":"Yueming Hao","orcid":"https://orcid.org/0000-0002-4792-6244"},"institutions":[{"id":"https://openalex.org/I3197470489","display_name":"Alpha Omega Alpha Medical Honor Society","ror":"https://ror.org/057q9nn35","country_code":"US","type":"nonprofit","lineage":["https://openalex.org/I3197470489"]},{"id":"https://openalex.org/I4210099336","display_name":"Menlo School","ror":"https://ror.org/01240pn49","country_code":"US","type":"education","lineage":["https://openalex.org/I4210099336"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Yueming Hao","raw_affiliation_strings":["Meta, Menlo Park, California, USA"],"raw_orcid":"https://orcid.org/0000-0002-4792-6244","affiliations":[{"raw_affiliation_string":"Meta, Menlo Park, California, USA","institution_ids":["https://openalex.org/I3197470489","https://openalex.org/I4210099336"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5128745082","display_name":"Tony CW Liu","orcid":null},"institutions":[{"id":"https://openalex.org/I32232075","display_name":"American Anthropological Association","ror":"https://ror.org/02b8m7s43","country_code":"US","type":"other","lineage":["https://openalex.org/I32232075"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Tony CW Liu","raw_affiliation_strings":["Anthropic, San Francisco, California, USA"],"raw_orcid":"https://orcid.org/0009-0009-8953-8619","affiliations":[{"raw_affiliation_string":"Anthropic, San Francisco, California, USA","institution_ids":["https://openalex.org/I32232075"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5072440584","display_name":"Sijia Chen","orcid":"https://orcid.org/0009-0007-0862-7923"},"institutions":[{"id":"https://openalex.org/I162714631","display_name":"George Mason University","ror":"https://ror.org/02jqj7156","country_code":"US","type":"education","lineage":["https://openalex.org/I162714631"]},{"id":"https://openalex.org/I4210161460","display_name":"OpenAI (United States)","ror":"https://ror.org/05wx9n238","country_code":"US","type":"company","lineage":["https://openalex.org/I4210161460"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Sijia Chen","raw_affiliation_strings":["George Mason University, Fairfax, Virginia, USA","OpenAI, San Francisco, California, USA"],"raw_orcid":"https://orcid.org/0009-0007-0862-7923","affiliations":[{"raw_affiliation_string":"George Mason University, Fairfax, Virginia, USA","institution_ids":["https://openalex.org/I162714631"]},{"raw_affiliation_string":"OpenAI, San Francisco, California, USA","institution_ids":["https://openalex.org/I4210161460"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5112689277","display_name":"Adnan Aziz","orcid":"https://orcid.org/0009-0003-5855-6861"},"institutions":[{"id":"https://openalex.org/I3197470489","display_name":"Alpha Omega Alpha Medical Honor Society","ror":"https://ror.org/057q9nn35","country_code":"US","type":"nonprofit","lineage":["https://openalex.org/I3197470489"]},{"id":"https://openalex.org/I4210099336","display_name":"Menlo School","ror":"https://ror.org/01240pn49","country_code":"US","type":"education","lineage":["https://openalex.org/I4210099336"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Adnan Aziz","raw_affiliation_strings":["Meta, Menlo Park, California, USA"],"raw_orcid":"https://orcid.org/0009-0003-5855-6861","affiliations":[{"raw_affiliation_string":"Meta, Menlo Park, California, USA","institution_ids":["https://openalex.org/I3197470489","https://openalex.org/I4210099336"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5128796825","display_name":"Keren Zhou","orcid":null},"institutions":[{"id":"https://openalex.org/I162714631","display_name":"George Mason University","ror":"https://ror.org/02jqj7156","country_code":"US","type":"education","lineage":["https://openalex.org/I162714631"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Keren Zhou","raw_affiliation_strings":["George Mason University, Fairfax, Virginia, USA"],"raw_orcid":"https://orcid.org/0000-0002-7977-3182","affiliations":[{"raw_affiliation_string":"George Mason University, Fairfax, Virginia, USA","institution_ids":["https://openalex.org/I162714631"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":6,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"2108","last_page":"2124"},"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.2987000048160553,"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.2987000048160553,"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/T10772","display_name":"Distributed systems and fault tolerance","score":0.2669999897480011,"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/T11005","display_name":"Radiation Effects in Electronics","score":0.21549999713897705,"subfield":{"id":"https://openalex.org/subfields/2208","display_name":"Electrical and Electronic Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/overhead","display_name":"Overhead (engineering)","score":0.5651999711990356},{"id":"https://openalex.org/keywords/context","display_name":"Context (archaeology)","score":0.5264000296592712},{"id":"https://openalex.org/keywords/symbolic-execution","display_name":"Symbolic execution","score":0.5188999772071838},{"id":"https://openalex.org/keywords/memory-model","display_name":"Memory model","score":0.49230000376701355},{"id":"https://openalex.org/keywords/false-positive-paradox","display_name":"False positive paradox","score":0.48100000619888306},{"id":"https://openalex.org/keywords/memory-errors","display_name":"Memory errors","score":0.460999995470047},{"id":"https://openalex.org/keywords/uniform-memory-access","display_name":"Uniform memory access","score":0.4129999876022339},{"id":"https://openalex.org/keywords/memory-address","display_name":"Memory address","score":0.4115999937057495},{"id":"https://openalex.org/keywords/memory-management","display_name":"Memory management","score":0.4056999981403351},{"id":"https://openalex.org/keywords/access-time","display_name":"Access time","score":0.3702999949455261}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.845300018787384},{"id":"https://openalex.org/C2779960059","wikidata":"https://www.wikidata.org/wiki/Q7113681","display_name":"Overhead (engineering)","level":2,"score":0.5651999711990356},{"id":"https://openalex.org/C2779343474","wikidata":"https://www.wikidata.org/wiki/Q3109175","display_name":"Context (archaeology)","level":2,"score":0.5264000296592712},{"id":"https://openalex.org/C2779639559","wikidata":"https://www.wikidata.org/wiki/Q7661178","display_name":"Symbolic execution","level":3,"score":0.5188999772071838},{"id":"https://openalex.org/C12186640","wikidata":"https://www.wikidata.org/wiki/Q6815743","display_name":"Memory model","level":3,"score":0.49230000376701355},{"id":"https://openalex.org/C64869954","wikidata":"https://www.wikidata.org/wiki/Q1859747","display_name":"False positive paradox","level":2,"score":0.48100000619888306},{"id":"https://openalex.org/C119907115","wikidata":"https://www.wikidata.org/wiki/Q6815725","display_name":"Memory errors","level":3,"score":0.460999995470047},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.4318000078201294},{"id":"https://openalex.org/C51290061","wikidata":"https://www.wikidata.org/wiki/Q1936765","display_name":"Uniform memory access","level":4,"score":0.4129999876022339},{"id":"https://openalex.org/C153247305","wikidata":"https://www.wikidata.org/wiki/Q835713","display_name":"Memory address","level":3,"score":0.4115999937057495},{"id":"https://openalex.org/C176649486","wikidata":"https://www.wikidata.org/wiki/Q2308807","display_name":"Memory management","level":3,"score":0.4056999981403351},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.38760000467300415},{"id":"https://openalex.org/C194080101","wikidata":"https://www.wikidata.org/wiki/Q46306","display_name":"Access time","level":2,"score":0.3702999949455261},{"id":"https://openalex.org/C118702147","wikidata":"https://www.wikidata.org/wiki/Q189396","display_name":"Dynamic random-access memory","level":3,"score":0.3700999915599823},{"id":"https://openalex.org/C28180684","wikidata":"https://www.wikidata.org/wiki/Q4080983","display_name":"Memory safety","level":3,"score":0.3662000000476837},{"id":"https://openalex.org/C103088060","wikidata":"https://www.wikidata.org/wiki/Q1062839","display_name":"Error detection and correction","level":2,"score":0.366100013256073},{"id":"https://openalex.org/C57863822","wikidata":"https://www.wikidata.org/wiki/Q905488","display_name":"Flat memory model","level":4,"score":0.3617999851703644},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.35179999470710754},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.34450000524520874},{"id":"https://openalex.org/C2780801425","wikidata":"https://www.wikidata.org/wiki/Q5164392","display_name":"Construct (python library)","level":2,"score":0.337799996137619},{"id":"https://openalex.org/C18131444","wikidata":"https://www.wikidata.org/wiki/Q163585","display_name":"Memory protection","level":5,"score":0.33649998903274536},{"id":"https://openalex.org/C41036726","wikidata":"https://www.wikidata.org/wiki/Q844824","display_name":"Physical address","level":3,"score":0.33649998903274536},{"id":"https://openalex.org/C47487241","wikidata":"https://www.wikidata.org/wiki/Q5227230","display_name":"Data access","level":2,"score":0.3312999904155731},{"id":"https://openalex.org/C39528615","wikidata":"https://www.wikidata.org/wiki/Q1229610","display_name":"Distributed shared memory","level":5,"score":0.3296000063419342},{"id":"https://openalex.org/C74426580","wikidata":"https://www.wikidata.org/wiki/Q719484","display_name":"Memory map","level":3,"score":0.32910001277923584},{"id":"https://openalex.org/C48859967","wikidata":"https://www.wikidata.org/wiki/Q6486712","display_name":"Language construct","level":2,"score":0.31850001215934753},{"id":"https://openalex.org/C53833338","wikidata":"https://www.wikidata.org/wiki/Q1061424","display_name":"Context switch","level":2,"score":0.30059999227523804},{"id":"https://openalex.org/C170130773","wikidata":"https://www.wikidata.org/wiki/Q216378","display_name":"Usability","level":2,"score":0.2955999970436096},{"id":"https://openalex.org/C113775141","wikidata":"https://www.wikidata.org/wiki/Q428691","display_name":"Computer engineering","level":1,"score":0.27320000529289246},{"id":"https://openalex.org/C133875982","wikidata":"https://www.wikidata.org/wiki/Q764810","display_name":"Shared memory","level":2,"score":0.2655999958515167},{"id":"https://openalex.org/C98986596","wikidata":"https://www.wikidata.org/wiki/Q1143031","display_name":"Semiconductor memory","level":2,"score":0.2615000009536743},{"id":"https://openalex.org/C99138194","wikidata":"https://www.wikidata.org/wiki/Q183427","display_name":"Hash function","level":2,"score":0.2540000081062317},{"id":"https://openalex.org/C115051666","wikidata":"https://www.wikidata.org/wiki/Q6522493","display_name":"Ranging","level":2,"score":0.25369998812675476}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3779212.3790241","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3779212.3790241","pdf_url":null,"source":null,"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 31st ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 2","raw_type":"proceedings-article"}],"best_oa_location":{"id":"doi:10.1145/3779212.3790241","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3779212.3790241","pdf_url":null,"source":null,"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 31st ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 2","raw_type":"proceedings-article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":21,"referenced_works":["https://openalex.org/W1480909796","https://openalex.org/W1481397690","https://openalex.org/W1508927144","https://openalex.org/W1664545926","https://openalex.org/W2040384644","https://openalex.org/W2043100293","https://openalex.org/W2072385532","https://openalex.org/W2107147876","https://openalex.org/W2113864883","https://openalex.org/W2130427425","https://openalex.org/W2137351629","https://openalex.org/W2257979135","https://openalex.org/W2954698171","https://openalex.org/W3122286897","https://openalex.org/W4239035626","https://openalex.org/W4240590466","https://openalex.org/W4281854295","https://openalex.org/W4380881139","https://openalex.org/W4394998532","https://openalex.org/W4399213572","https://openalex.org/W4403220941"],"related_works":[],"abstract_inverted_index":{"Memory":[0],"access":[1,21,41,110,170,211],"errors":[2,22,111],"remain":[3],"one":[4],"of":[5,108,119,161,172,198],"the":[6,51,117,133,137,141,147],"most":[7],"pervasive":[8],"bugs":[9],"in":[10,28,209],"GPU":[11,14,66],"programming.":[12],"Existing":[13],"sanitizers":[15],"such":[16],"as":[17],"compute-sanitizer":[18],"detect":[19],"memory":[20,26,40,54,82,109,169,210],"by":[23,181],"instrumenting":[24],"every":[25],"instruction":[27],"low-level":[29],"IRs":[30],"or":[31],"binaries,":[32],"which":[33,173],"imposes":[34],"high":[35],"overhead":[36],"and":[37,84,92,145,179,207],"provides":[38],"minimal":[39],"error":[42,212],"diagnostic":[43,127],"context":[44],"for":[45,57,62,68,81,99,151],"fixing":[46],"problems.":[47],"We":[48],"present":[49],"Triton-Sanitizer,":[50],"first":[52],"device-agnostic":[53],"sanitizer":[55],"designed":[56],"Triton,":[58],"a":[59],"domain-specific":[60],"language":[61],"developing":[63],"portable,":[64],"efficient":[65],"kernels":[67],"deep":[69],"learning":[70],"workloads.":[71],"Triton-Sanitizer":[72,124,164,186],"leverages":[73],"Triton's":[74],"tile-oriented":[75],"semantics":[76],"to":[77,96,132,136,184,192,203],"construct":[78],"symbolic":[79,148],"expressions":[80],"addresses":[83],"masks,":[85],"verifies":[86],"them":[87],"with":[88,194],"an":[89,195],"SMT":[90],"solver,":[91],"selectively":[93],"falls":[94],"back":[95],"eager":[97],"simulation":[98],"indirect":[100],"accesses.":[101],"This":[102],"hybrid":[103],"analysis":[104],"enables":[105],"precise":[106],"detection":[107],"without":[112],"false":[113],"positives":[114],"while":[115],"avoiding":[116],"cost":[118],"per-access":[120],"instrumentation.":[121],"Beyond":[122],"detection,":[123],"generates":[125],"rich":[126],"reports":[128],"that":[129],"attribute":[130],"violations":[131],"tensors":[134],"nearest":[135],"violated":[138],"addresses,":[139],"track":[140],"complete":[142],"call":[143],"path,":[144],"expose":[146],"operations":[149],"responsible":[150],"incorrect":[152],"addresses.":[153],"Evaluated":[154],"on":[155],"seven":[156],"widely":[157],"used":[158],"open-source":[159],"repositories":[160],"Triton":[162],"kernels,":[163],"uncovered":[165],"24":[166],"previously":[167],"unknown":[168],"errors,":[171],"8":[174],"have":[175],"already":[176],"been":[177],"fixed":[178],"upstreamed":[180],"us.":[182],"Compared":[183],"compute-sanitizer,":[185],"achieves":[187],"speedups":[188],"ranging":[189],"from":[190],"1.07\u00d7":[191],"14.66\u00d7,":[193],"average":[196],"improvement":[197],"1.62\u00d7,":[199],"demonstrating":[200],"its":[201],"ability":[202],"enhance":[204],"performance,":[205],"precision,":[206],"usability":[208],"detection.":[213]},"counts_by_year":[{"year":2026,"cited_by_count":1}],"updated_date":"2026-07-14T23:27:15.235271","created_date":"2026-03-12T00:00:00"}