{"id":"https://openalex.org/W7164318503","doi":"https://doi.org/10.1145/3814942.3816133","title":"Interpreter Memory Safety via Differential Fuzzing with a CHERI on Top","display_name":"Interpreter Memory Safety via Differential Fuzzing with a CHERI on Top","publication_year":2026,"publication_date":"2026-06-11","ids":{"openalex":"https://openalex.org/W7164318503","doi":"https://doi.org/10.1145/3814942.3816133"},"language":"en","primary_location":{"id":"doi:10.1145/3814942.3816133","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3814942.3816133","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 2026 ACM SIGPLAN International Symposium on Memory Management","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/3814942.3816133","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5093437390","display_name":"Kai Feng","orcid":"https://orcid.org/0009-0000-9574-9812"},"institutions":[{"id":"https://openalex.org/I7882870","display_name":"University of Glasgow","ror":"https://ror.org/00vtgdb53","country_code":"GB","type":"education","lineage":["https://openalex.org/I7882870"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Kai Feng","raw_affiliation_strings":["University of Glasgow, School of Computing Science, Glasgow, United Kingdom"],"raw_orcid":"https://orcid.org/0009-0000-9574-9812","affiliations":[{"raw_affiliation_string":"University of Glasgow, School of Computing Science, Glasgow, United Kingdom","institution_ids":["https://openalex.org/I7882870"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5101484881","display_name":"Huanting Wang","orcid":"https://orcid.org/0000-0003-0579-4295"},"institutions":[{"id":"https://openalex.org/I130828816","display_name":"University of Leeds","ror":"https://ror.org/024mrxd33","country_code":"GB","type":"education","lineage":["https://openalex.org/I130828816"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Huanting Wang","raw_affiliation_strings":["University of Leeds, School of Computing, Leeds, United Kingdom"],"raw_orcid":"https://orcid.org/0000-0003-0579-4295","affiliations":[{"raw_affiliation_string":"University of Leeds, School of Computing, Leeds, United Kingdom","institution_ids":["https://openalex.org/I130828816"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5064718447","display_name":"Jeremy Singer","orcid":"https://orcid.org/0000-0001-9462-6802"},"institutions":[{"id":"https://openalex.org/I7882870","display_name":"University of Glasgow","ror":"https://ror.org/00vtgdb53","country_code":"GB","type":"education","lineage":["https://openalex.org/I7882870"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Jeremy Singer","raw_affiliation_strings":["University of Glasgow, School of Computing Science, Glasgow, United Kingdom"],"raw_orcid":"https://orcid.org/0000-0001-9462-6802","affiliations":[{"raw_affiliation_string":"University of Glasgow, School of Computing Science, Glasgow, United Kingdom","institution_ids":["https://openalex.org/I7882870"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5100401045","display_name":"Zheng Wang","orcid":"https://orcid.org/0000-0001-6157-0662"},"institutions":[{"id":"https://openalex.org/I130828816","display_name":"University of Leeds","ror":"https://ror.org/024mrxd33","country_code":"GB","type":"education","lineage":["https://openalex.org/I130828816"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Zheng Wang","raw_affiliation_strings":["University of Leeds, School of Computing, Leeds, United Kingdom"],"raw_orcid":"https://orcid.org/0000-0001-6157-0662","affiliations":[{"raw_affiliation_string":"University of Leeds, School of Computing, Leeds, United Kingdom","institution_ids":["https://openalex.org/I130828816"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"25","last_page":"39"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10181","display_name":"Natural Language Processing Techniques","score":0.15929999947547913,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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/T10181","display_name":"Natural Language Processing Techniques","score":0.15929999947547913,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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/T11689","display_name":"Adversarial Robustness in Machine Learning","score":0.062199998646974564,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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/T11424","display_name":"Security and Verification in Computing","score":0.061500001698732376,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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/fuzz-testing","display_name":"Fuzz testing","score":0.607200026512146},{"id":"https://openalex.org/keywords/differential","display_name":"Differential (mechanical device)","score":0.397599995136261},{"id":"https://openalex.org/keywords/interpreter","display_name":"Interpreter","score":0.37860000133514404},{"id":"https://openalex.org/keywords/code","display_name":"Code (set theory)","score":0.3352999985218048},{"id":"https://openalex.org/keywords/frame","display_name":"Frame (networking)","score":0.27880001068115234},{"id":"https://openalex.org/keywords/memory-safety","display_name":"Memory safety","score":0.2709999978542328}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6845999956130981},{"id":"https://openalex.org/C111065885","wikidata":"https://www.wikidata.org/wiki/Q1189053","display_name":"Fuzz testing","level":3,"score":0.607200026512146},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5758000016212463},{"id":"https://openalex.org/C93226319","wikidata":"https://www.wikidata.org/wiki/Q193137","display_name":"Differential (mechanical device)","level":2,"score":0.397599995136261},{"id":"https://openalex.org/C122783720","wikidata":"https://www.wikidata.org/wiki/Q183065","display_name":"Interpreter","level":2,"score":0.37860000133514404},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.3352999985218048},{"id":"https://openalex.org/C126042441","wikidata":"https://www.wikidata.org/wiki/Q1324888","display_name":"Frame (networking)","level":2,"score":0.27880001068115234},{"id":"https://openalex.org/C28180684","wikidata":"https://www.wikidata.org/wiki/Q4080983","display_name":"Memory safety","level":3,"score":0.2709999978542328},{"id":"https://openalex.org/C125411270","wikidata":"https://www.wikidata.org/wiki/Q18653","display_name":"Encoding (memory)","level":2,"score":0.2702000141143799},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.2669000029563904},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.25920000672340393},{"id":"https://openalex.org/C26517878","wikidata":"https://www.wikidata.org/wiki/Q228039","display_name":"Key (lock)","level":2,"score":0.2547000050544739}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1145/3814942.3816133","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3814942.3816133","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 2026 ACM SIGPLAN International Symposium on Memory Management","raw_type":"proceedings-article"},{"id":"pmh:oai:eprints.gla.ac.uk:385990","is_oa":true,"landing_page_url":"https://eprints.gla.ac.uk/view/author/70369.html>,","pdf_url":"https://eprints.gla.ac.uk/385990/2/385990.pdf","source":{"id":"https://openalex.org/S4210235606","display_name":"ENLIGHTEN (Jurnal Bimbingan dan Konseling Islam)","issn_l":"2622-8912","issn":["2622-8912","2622-8920"],"is_oa":true,"is_in_doaj":true,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":"cc-by-sa","license_id":"https://openalex.org/licenses/cc-by-sa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Conference Proceedings"}],"best_oa_location":{"id":"doi:10.1145/3814942.3816133","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3814942.3816133","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 2026 ACM SIGPLAN International Symposium on Memory Management","raw_type":"proceedings-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G3013402252","display_name":"M4Secure: Making Memory Management More Secure","funder_award_id":"EP/X037304/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"},{"id":"https://openalex.org/G5713065484","display_name":"M4Secure: Making Memory Management More Secure","funder_award_id":"EP/X037525/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"}],"funders":[{"id":"https://openalex.org/F4320334627","display_name":"Engineering and Physical Sciences Research Council","ror":"https://ror.org/0439y7842"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":32,"referenced_works":["https://openalex.org/W1904738922","https://openalex.org/W2041713059","https://openalex.org/W2064452120","https://openalex.org/W2155851497","https://openalex.org/W2171482413","https://openalex.org/W2414287720","https://openalex.org/W2517996894","https://openalex.org/W2519952770","https://openalex.org/W2584230735","https://openalex.org/W2782780792","https://openalex.org/W2899781671","https://openalex.org/W2951584135","https://openalex.org/W2954978134","https://openalex.org/W2963350015","https://openalex.org/W2963582649","https://openalex.org/W2978621079","https://openalex.org/W3107362213","https://openalex.org/W3112413773","https://openalex.org/W4238083723","https://openalex.org/W4313328069","https://openalex.org/W4381050441","https://openalex.org/W4384154483","https://openalex.org/W4387781802","https://openalex.org/W4389491878","https://openalex.org/W4403223316","https://openalex.org/W4407942566","https://openalex.org/W4414736153","https://openalex.org/W4415344221","https://openalex.org/W4416429869","https://openalex.org/W6962770721","https://openalex.org/W7131104638","https://openalex.org/W7133949612"],"related_works":[],"abstract_inverted_index":{"Memory":[0],"safety":[1],"is":[2],"a":[3,63,98],"critical":[4],"issue":[5],"in":[6,51,73],"embedded":[7],"systems.":[8],"Although":[9],"high-level":[10],"languages":[11],"like":[12],"MicroPython":[13,74],"simplify":[14],"IoT":[15],"development,":[16],"their":[17],"C-based":[18],"runtimes":[19,90],"remain":[20],"vulnerable":[21],"to":[22,91,102,114],"memory":[23,42,71],"errors":[24],"triggered":[25],"by":[26],"Python":[27,89],"code":[28],"or":[29],"native":[30],"extensions.":[31],"The":[32],"CHERI":[33],"(Capability":[34],"Hardware":[35],"Enhanced":[36],"RISC":[37],"Instructions)":[38],"architecture":[39],"offers":[40],"hardware-enforced":[41],"safety,":[43],"but":[44],"its":[45],"effectiveness":[46],"for":[47,68],"exposing":[48],"latent":[49],"bugs":[50],"real-world":[52],"interpreters":[53],"has":[54],"not":[55],"yet":[56],"been":[57],"fully":[58],"explored.":[59],"We":[60,83],"present":[61],"diffCHERI:FruitFly,":[62],"novel":[64],"differential":[65],"testing":[66],"framework":[67],"systematically":[69],"uncovering":[70],"defects":[72],"across":[75],"conventional":[76],"(x86/ARM)":[77],"and":[78,107],"CHERI-enabled":[79],"(Arm":[80],"Morello)":[81],"platforms.":[82],"mine":[84],"historic":[85],"vulnerabilities":[86],"from":[87],"diverse":[88],"extract":[92],"recurring":[93],"stress":[94],"patterns,":[95],"then":[96],"use":[97],"large":[99],"language":[100],"model":[101],"generate":[103],"new":[104],"test":[105],"programs,":[106],"apply":[108],"Concrete":[109],"Syntax":[110],"Tree":[111],"(CST)":[112],"mutation":[113],"diversify":[115],"inputs.":[116]},"counts_by_year":[],"updated_date":"2026-07-14T23:27:15.235271","created_date":"2026-06-12T00:00:00"}