{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,25]],"date-time":"2026-02-25T07:58:01Z","timestamp":1772006281165,"version":"3.50.1"},"reference-count":58,"publisher":"IEEE","license":[{"start":{"date-parts":[[2025,12,8]],"date-time":"2025-12-08T00:00:00Z","timestamp":1765152000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2025,12,8]],"date-time":"2025-12-08T00:00:00Z","timestamp":1765152000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/100000001","name":"NSF","doi-asserted-by":"publisher","award":["2419798"],"award-info":[{"award-number":["2419798"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100000185","name":"DARPA","doi-asserted-by":"publisher","award":["FA8750-24-2-0002,GR105409-SUB00001384"],"award-info":[{"award-number":["FA8750-24-2-0002,GR105409-SUB00001384"]}],"id":[{"id":"10.13039\/100000185","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2025,12,8]]},"DOI":"10.1109\/acsac67867.2025.00025","type":"proceedings-article","created":{"date-parts":[[2026,2,24]],"date-time":"2026-02-24T20:54:58Z","timestamp":1771966498000},"page":"123-136","source":"Crossref","is-referenced-by-count":0,"title":["TeTRIS: General-purpose Fuzzing for Translation Bugs in Source-to-Source Code Transpilers"],"prefix":"10.1109","author":[{"given":"Yeaseen","family":"Arafat","sequence":"first","affiliation":[{"name":"University of Utah"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Stefan","family":"Nagy","sequence":"additional","affiliation":[{"name":"University of Utah"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/ETCM.2017.8247456"},{"key":"ref6","article-title":"QEMU, a Fast and Portable Dynamic Translator","volume-title":"USENIX Annual Technical Conference","author":"Bellard"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/CSMR.2013.73"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1145\/3632882"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/SP40001.2021.00071"},{"key":"ref10","volume-title":"GNU Bison: a general-purpose parser generator","author":"Corbett","year":"2024"},{"key":"ref11","volume-title":"TRACTOR: Translating all c to rust","year":"2024"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1145\/3586046"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1145\/3485498"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1145\/3597926.3598130"},{"key":"ref15","volume-title":"Afl-qemu-cov: Measure basic blocks coverage of all testcases in the afl queue using a patched qemu","author":"Fioraldi","year":"2024"},{"key":"ref16","article-title":"AFL++: Combining Incremental Steps of Fuzzing Research","volume-title":"USENIX Workshop on Offensive Technologies","author":"Fioraldi"},{"key":"ref17","volume-title":"Fusion programming language: Transpiling to c, c++, c#, d, java, javascript, python, swift, typescript and opencl c","author":"Language","year":"2024"},{"key":"ref18","volume-title":"Gofuzz","year":"2022"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1145\/3201898"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1145\/3497776.3517765"},{"key":"ref21","volume-title":"Haxe: Casting","year":"2024"},{"key":"ref22","volume-title":"Hxcpp: Runtime files for c++ backend for haxe","year":"2024"},{"key":"ref23","volume-title":"Hxpy: Native bindings for python","year":"2024"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE48619.2023.00069"},{"key":"ref25","volume-title":"C2rust: Csmith testing scripts","year":"2024"},{"key":"ref26","volume-title":"C2rust: Migrate c code to rust","year":"2024"},{"key":"ref27","volume-title":"C4go: Transpiling c code to go code","author":"Izyumov","year":"2024"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1145\/3468264.3473915"},{"key":"ref29","volume-title":"Zig translate-c: automatic translation from c source code","author":"Kelley","year":"2024"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1145\/3243734.3243804"},{"key":"ref31","volume-title":"Portablegl translated with cxgo","author":"Kuklis","year":"2024"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1109\/MSEC.2024.3385357"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1109\/CGO.2004.1281665"},{"key":"ref34","volume-title":"Citrus: Convert c to rust","author":"Lesinski","year":"2024"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1145\/3395363.3397370"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1145\/3428264"},{"key":"ref37","volume-title":"Libclang","year":"2024"},{"key":"ref38","volume-title":"LibTooling: a library to support writing standalone tools based on clang","year":"2024"},{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2022.107082"},{"key":"ref40","volume-title":"Babel: a javascript compiler","author":"McKenzie","year":"2024"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1145\/3510003.3510124"},{"key":"ref42","volume-title":"C2nim: a tool to translate ansi c code to nim","author":"Language","year":"2024"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1109\/HPCC.2011.73"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1145\/1831708.1831741"},{"key":"ref45","volume-title":"Flex: The fast lexical analyzer","author":"Paxson","year":"2024"},{"key":"ref46","doi-asserted-by":"publisher","DOI":"10.1145\/3141871.3141873"},{"key":"ref47","article-title":"AddressSanitizer: A Fast Address Sanity Checker","volume-title":"USENIX Annual Technical Conference","author":"Serebryany"},{"key":"ref48","doi-asserted-by":"publisher","DOI":"10.1109\/secdev.2016.043"},{"key":"ref49","article-title":"OSS-Fuzz - Google\u2019s continuous fuzzing service for open source software","volume-title":"USENIX Security Symposium","author":"Serebryany"},{"key":"ref50","doi-asserted-by":"publisher","DOI":"10.1145\/3597926.3604919"},{"key":"ref51","volume-title":"Cxgo: Booltoint()","author":"Smirnov","year":"2024"},{"key":"ref52","volume-title":"Cxgo: Tool for transpiling c to go","author":"Smirnov","year":"2024"},{"key":"ref53","volume-title":"Potrace translated with cxgo","author":"Smirnov","year":"2024"},{"key":"ref54","volume-title":"Go2hx: Go to haxe source-to-source compiler","author":"Stoneham","year":"2024"},{"key":"ref55","volume-title":"Go: Operators","author":"Go","year":"2024"},{"key":"ref56","volume-title":"cc\/v3: a c99 compiler front end","year":"2024"},{"key":"ref57","volume-title":"Gosmith","author":"Vyukov","year":"2015"},{"key":"ref58","doi-asserted-by":"publisher","DOI":"10.1145\/1993498.1993532"},{"key":"ref59","article-title":"Bin2Wrong: a Unified Fuzzing Framework for Uncovering Semantic Errors in Binary-to-C Decompilers","volume-title":"USENIX Annual Technical Conference","author":"Yang"},{"key":"ref60","doi-asserted-by":"publisher","DOI":"10.1145\/2048147.2048224"},{"key":"ref61","doi-asserted-by":"publisher","DOI":"10.1145\/3372297.3417260"},{"key":"ref62","volume-title":"Zig: If expressions","year":"2024"}],"event":{"name":"2025 IEEE Annual Computer Security Applications Conference (ACSAC)","location":"Honolulu, HI, USA","start":{"date-parts":[[2025,12,8]]},"end":{"date-parts":[[2025,12,12]]}},"container-title":["2025 IEEE Annual Computer Security Applications Conference (ACSAC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/11391636\/11391706\/11391838.pdf?arnumber=11391838","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,2,25]],"date-time":"2026-02-25T07:01:06Z","timestamp":1772002866000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/11391838\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,12,8]]},"references-count":58,"URL":"https:\/\/doi.org\/10.1109\/acsac67867.2025.00025","relation":{},"subject":[],"published":{"date-parts":[[2025,12,8]]}}}