{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,26]],"date-time":"2025-11-26T08:15:48Z","timestamp":1764144948313,"version":"3.46.0"},"reference-count":21,"publisher":"IEEE","license":[{"start":{"date-parts":[[2025,10,21]],"date-time":"2025-10-21T00:00:00Z","timestamp":1761004800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2025,10,21]],"date-time":"2025-10-21T00:00:00Z","timestamp":1761004800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2025,10,21]]},"DOI":"10.1109\/dft66274.2025.11257577","type":"proceedings-article","created":{"date-parts":[[2025,11,25]],"date-time":"2025-11-25T18:27:02Z","timestamp":1764095222000},"page":"1-4","source":"Crossref","is-referenced-by-count":0,"title":["Automatic Data Redundancy in Safety-Critical Applications Using Trait-Based Code Transformation"],"prefix":"10.1109","author":[{"given":"Mohammadreza Amel","family":"Solouki","sequence":"first","affiliation":[{"name":"Politecnico di Torino,Department of Control and Computer Engineering"}]},{"given":"Corrado","family":"De Sio","sequence":"additional","affiliation":[{"name":"Politecnico di Torino,Department of Control and Computer Engineering"}]},{"given":"Maurizio","family":"Rebaudengo","sequence":"additional","affiliation":[{"name":"Politecnico di Torino,Department of Control and Computer Engineering"}]},{"given":"Jacopo","family":"Sini","sequence":"additional","affiliation":[{"name":"Politecnico di Torino,Department of Control and Computer Engineering"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2024.3509633"},{"volume-title":"Software-implemented hardware fault tolerance","year":"2006","author":"Goloubeva","key":"ref2"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/PRDC.2018.00037"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-20550-2_6"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1007\/s10664-020-09801-2"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/PRDC.2014.9"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/TNS.2014.2361953"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/TDSC.2006.55"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/DSN.2008.4630118"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/ICDSN.2000.857510"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1038\/s41597-022-01819-z"},{"volume-title":"The Rust programming language","year":"2023","author":"Klabnik","key":"ref12"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1145\/3102980.3103006"},{"key":"ref14","article-title":"Evaluation of performance and productivity metrics of potential programming languages in the hpc environment","volume-title":"Ph.D. dissertation","author":"Wilkens","year":"2015"},{"key":"ref15","article-title":"Rust and c++ performance on the algorithmic lovasz local lemma","volume-title":"Project Report.","author":"Perez","year":"2017"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1016\/j.procs.2023.10.509"},{"key":"ref17","article-title":"Rust programming language in the high-performance computing environment","volume-title":"B.S. thesis","author":"Sudwoj","year":"2020"},{"volume-title":"Rust4Safety_DFTS2025: artifact and source code","year":"2025","key":"ref18"},{"issue":"46","key":"ref19","first-page":"10","article-title":"Qemu, a fast and portable dynamic translator","volume-title":"USENIX annual technical conference, FREENIX Track","volume":"41","author":"Bellard","year":"2005"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.3390\/electronics11060901"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.23919\/DATE64628.2025.10992995"}],"event":{"name":"2025 IEEE International Symposium on Defect and Fault Tolerance in VLSI and Nanotechnology Systems (DFT)","start":{"date-parts":[[2025,10,21]]},"location":"Barcelona, Spain","end":{"date-parts":[[2025,10,23]]}},"container-title":["2025 IEEE International Symposium on Defect and Fault Tolerance in VLSI and Nanotechnology Systems (DFT)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/11253546\/11257433\/11257577.pdf?arnumber=11257577","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,11,26]],"date-time":"2025-11-26T08:11:48Z","timestamp":1764144708000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/11257577\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,10,21]]},"references-count":21,"URL":"https:\/\/doi.org\/10.1109\/dft66274.2025.11257577","relation":{},"subject":[],"published":{"date-parts":[[2025,10,21]]}}}