{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,23]],"date-time":"2026-07-23T15:35:33Z","timestamp":1784820933387,"version":"3.55.0"},"publisher-location":"New York, NY, USA","reference-count":79,"publisher":"ACM","funder":[{"name":"National Aeronautics and Space Administration","award":["80NM0018D0004"],"award-info":[{"award-number":["80NM0018D0004"]}]},{"name":"National Science Foundation","award":["CNS-2143868"],"award-info":[{"award-number":["CNS-2143868"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2026,3,22]]},"DOI":"10.1145\/3760250.3762218","type":"proceedings-article","created":{"date-parts":[[2025,12,11]],"date-time":"2025-12-11T15:06:36Z","timestamp":1765465596000},"page":"219-233","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["Radshield: Software Radiation Protection for Commodity Hardware in Space"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-9029-8071","authenticated-orcid":false,"given":"Haoda","family":"Wang","sequence":"first","affiliation":[{"name":"Columbia University, New York, NY, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0007-4475-6079","authenticated-orcid":false,"given":"Steven","family":"Myint","sequence":"additional","affiliation":[{"name":"Jet Propulsion Laboratory, California Institute of Technology, Pasadena, CA, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-8176-1228","authenticated-orcid":false,"given":"Vandi","family":"Verma","sequence":"additional","affiliation":[{"name":"Jet Propulsion Laboratory, California Institute of Technology, Pasadena, CA, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-1827-8663","authenticated-orcid":false,"given":"Yonatan","family":"Winetraub","sequence":"additional","affiliation":[{"name":"Aptos Orbital, Palo Alto, CA, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0000-2277-6545","authenticated-orcid":false,"given":"Junfeng","family":"Yang","sequence":"additional","affiliation":[{"name":"Columbia University, New York, NY, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0007-4046-2022","authenticated-orcid":false,"given":"Asaf","family":"Cidon","sequence":"additional","affiliation":[{"name":"Columbia University, New York, NY, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2025,12,11]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"48th International Conference on Environmental Systems.","author":"Jones H.","year":"2018","unstructured":"H. Jones. ''The recent large reduction in space launch cost''. In: 48th International Conference on Environmental Systems. 2018."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1038\/s41598-021-89909-7"},{"key":"e_1_3_2_1_3_1","unstructured":"Starlink. 2023. url: https:\/\/www.starlink.com\/."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2017.2735988"},{"key":"e_1_3_2_1_5_1","first-page":"a16z","article-title":"The Evolution of the Satellite Economy","author":"Gedmark J.","year":"2023","unstructured":"J. Gedmark and S. Smith. ''The Evolution of the Satellite Economy''. In: a16z Podcast (Sept. 2023). url: https:\/\/a16z.com\/podcast\/theevolution-of-the-satellite-economy.","journal-title":"a16z Podcast"},{"key":"e_1_3_2_1_6_1","unstructured":"Planet. 2023. url: https:\/\/www.planet.com\/."},{"key":"e_1_3_2_1_7_1","unstructured":"Spire. 2023. url: https:\/\/spire.com\/."},{"key":"e_1_3_2_1_8_1","unstructured":"Filecoin Foundation and Lockheed Martin Bring Decentralized Storage to Space. May 2022. url: https:\/\/filecoinfoundation.medium.com\/filecoin- foundation-and-lockheed- martin-bring- decentralizedstorage- to-space-db9a15e66264."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/3139324.3139333"},{"key":"e_1_3_2_1_10_1","volume-title":"Proceedings of the IEEE WiSEE Space Solar Power Workshop.","author":"Fikes A.","year":"2022","unstructured":"A. Fikes, M. Gal-Karziri, E. Gdoutos, M. Kelzenberg, E. Warmann, R. Madonna, H. Atwater, A. Hajimiri, and S. Pellegrino. ''The Caltech space solar power project: Design, progress, and future direction''. In: Proceedings of the IEEE WiSEE Space Solar Power Workshop. 2022."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/3517745.3561416"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/2740070.2631454"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/3286062.3286079"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/3419394.3423635"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/3464994.3465000"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"crossref","first-page":"137","DOI":"10.1145\/3517745.3561432","volume-title":"Proceedings of the 22nd ACM Internet Measurement Conference.","author":"Perdices D.","year":"2022","unstructured":"D. Perdices, G. Perna, M. Trevisan, D. Giordano, and M. Mellia. ''When satellite is all you have: watching the internet from 550 ms''. In: Proceedings of the 22nd ACM Internet Measurement Conference. 2022, pp. 137-150."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/3517745.3561457"},{"key":"e_1_3_2_1_18_1","first-page":"2","volume-title":"Reinventing Space Conference.","author":"Wertz J. R.","year":"2011","unstructured":"J. R. Wertz, R. C. Conger, M. Rufer, N. Sarzi-Amad\u00e9, and R. E. Van Allen. ''Methods for Achieving Dramatic Reductions in Space Mission Cost''. In: Reinventing Space Conference. 2011, pp. 2-6."},{"key":"e_1_3_2_1_19_1","volume-title":"Radiation Hardened Electronics Technology Conference (RHET) 2018","author":"Powell W. A.","year":"2018","unstructured":"W. A. Powell. ''High-performance spaceflight computing (HPSC) project overview''. In: Radiation Hardened Electronics Technology Conference (RHET) 2018. GSFC-E-DAA-TN62651. 2018."},{"key":"e_1_3_2_1_20_1","first-page":"1","volume-title":"2022 IEEE Hot Chips 34 Symposium (HCS). IEEE Computer Society.","author":"Gibney J.","year":"2022","unstructured":"J. Gibney. ''AMD Ryzen\u2122 6000 Series for Mobile: Technology Overview''. In: 2022 IEEE Hot Chips 34 Symposium (HCS). IEEE Computer Society. 2022, pp. 1-24."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/3582016.3582043"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/3613424.3614271"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"crossref","first-page":"197","DOI":"10.1145\/3422604.3425937","volume-title":"Proceedings of the 19th ACM Workshop on Hot Topics in Networks.","author":"Bhattacherjee D.","year":"2020","unstructured":"D. Bhattacherjee, S. Kassing, M. Licciardello, and A. Singla. ''In-orbit computing: An outlandish thought experiment?'' In: Proceedings of the 19th ACM Workshop on Hot Topics in Networks. 2020, pp. 197-204."},{"key":"e_1_3_2_1_24_1","volume-title":"Microelectronics Reliability & Qualification Workshop (MRQW).","author":"Burcin L.","year":"2002","unstructured":"L. Burcin. ''RAD750 experience: The challenge of SEE hardening a high performance commercial processor''. In: Microelectronics Reliability & Qualification Workshop (MRQW). 2002."},{"key":"e_1_3_2_1_25_1","volume-title":"NEPP Electronics Technology Workshop. National Aeronautics and Space Agency. Jet Propulsion Laboratory","author":"Guertin S. M.","year":"2019","unstructured":"S. M. Guertin. ''Radiation effects on ARM devices''. In: NEPP Electronics Technology Workshop. National Aeronautics and Space Agency. Jet Propulsion Laboratory, 2019."},{"issue":"10","key":"e_1_3_2_1_26_1","doi-asserted-by":"crossref","first-page":"4","DOI":"10.1109\/MAES.2017.160182","article-title":"Linux in spacecraft flight software","volume":"32","author":"Leppinen H.","year":"2017","unstructured":"H. Leppinen. ''Current use of Linux in spacecraft flight software''. In: IEEE Aerospace and Electronic Systems Magazine 32.10 (2017), pp. 4-13.","journal-title":"IEEE Aerospace and Electronic Systems Magazine"},{"key":"e_1_3_2_1_27_1","first-page":"0023","volume-title":"2018 AIAA Atmospheric Flight Mechanics Conference.","author":"Balaram B.","year":"2018","unstructured":"B. Balaram, T. Canham, C. Duncan, H. F. Grip,W. Johnson, J. Maki, A. Quon, R. Stern, and D. Zhu. ''Mars helicopter technology demonstrator''. In: 2018 AIAA Atmospheric Flight Mechanics Conference. 2018, p. 0023."},{"key":"e_1_3_2_1_28_1","first-page":"327","volume-title":"Fourth European Conference on Radiation and its Effects on Components and Systems (Cat. No. 97TH8294)","author":"Layton P.","year":"1997","unstructured":"P. Layton, D. Czajkowski, J. Marshall, H. Anthony, and R. Boss. ''Single event latchup protection of integrated circuits''. In: RADECS 97. Fourth European Conference on Radiation and its Effects on Components and Systems (Cat. No. 97TH8294). IEEE. 1997, pp. 327-331."},{"key":"e_1_3_2_1_29_1","first-page":"566","article-title":"Electronic circuit for single-event latch-up detection and protection","volume":"10","author":"Chang J. S.","year":"2020","unstructured":"J. S. Chang, W. Shu, and J. Jiang. Electronic circuit for single-event latch-up detection and protection. US Patent 10,566,780. Feb. 2020.","journal-title":"US Patent"},{"key":"e_1_3_2_1_30_1","first-page":"1","volume-title":"2021 21th European Conference on Radiation and Its Effects on Components and Systems (RADECS). IEEE.","author":"Dorise A.","year":"2021","unstructured":"A. Dorise, C. Alonso, A. Subias, L. Trav\u00e9-Massuy\u00e8s, L. Baczkowski, and F. Vacher. ''Machine learning as an alternative to thresholding for space radiation high current event detection''. In: 2021 21th European Conference on Radiation and Its Effects on Components and Systems (RADECS). IEEE. 2021, pp. 1-7."},{"key":"e_1_3_2_1_31_1","first-page":"188","volume-title":"2019 49th Annual IEEE\/IFIP International Conference on Dependable Systems and Networks (DSN). IEEE.","author":"Shen Y.","year":"2019","unstructured":"Y. Shen, G. Heiser, and K. Elphinstone. ''Fault tolerance through redundant execution on cots multicores: Exploring trade-offs''. In: 2019 49th Annual IEEE\/IFIP International Conference on Dependable Systems and Networks (DSN). IEEE. 2019, pp. 188-200."},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1029\/2018ja025940"},{"key":"e_1_3_2_1_33_1","volume-title":"Spacecraft system failures and anomalies attributed to the natural space environment","author":"Bedingfield K. L.","year":"1996","unstructured":"K. L. Bedingfield and R. D. Leach. Spacecraft system failures and anomalies attributed to the natural space environment. Vol. 1390. National Aeronautics and Space Administration, Marshall Space Flight Center, 1996."},{"key":"e_1_3_2_1_34_1","unstructured":"S. M. Guertin. ARM Radiation Testing&Collaborations. June 2020. url: https:\/\/trs.jpl.nasa.gov\/handle\/2014\/52948 (visited on 12\/31\/2022)."},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1109\/AERO.2017.7943651"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/3614204.3616106"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"crossref","first-page":"245","DOI":"10.1145\/3626111.3628199","volume-title":"Proceedings of the 22nd ACM Workshop on Hot Topics in Networks.","author":"Wang H.","year":"2023","unstructured":"H. Wang, S. Myint, V. Verma, Y. Winetraub, J. Yang, and A. Cidon. ''Mars Attacks! Software Protection Against Space Radiation''. In: Proceedings of the 22nd ACM Workshop on Hot Topics in Networks. 2023, pp. 245-253."},{"issue":"6","key":"e_1_3_2_1_38_1","doi-asserted-by":"crossref","first-page":"5087","DOI":"10.1109\/TNS.1979.4330278","article-title":"Simulation of cosmic-ray induced soft errors and latchup in integratedcircuit computer memories","volume":"26","author":"Kolasinski W.","year":"1979","unstructured":"W. Kolasinski, J. Blake, J. Anthony, W. Price, and E. Smith. ''Simulation of cosmic-ray induced soft errors and latchup in integratedcircuit computer memories''. In: IEEE Transactions on Nuclear Science 26.6 (1979), pp. 5087-5091.","journal-title":"IEEE Transactions on Nuclear Science"},{"issue":"6","key":"e_1_3_2_1_39_1","doi-asserted-by":"crossref","first-page":"1804","DOI":"10.1109\/23.211370","article-title":"A verified proton induced latch-up in space (CMOS SRAM)","volume":"39","author":"Adams L.","year":"1992","unstructured":"L. Adams, E. Daly, R. Harboe-Sorensen, R. Nickson, J. Haines, W. Schafer, M. Conrad, H. Griech, J. Merkel, T. Schwall, et al. ''A verified proton induced latch-up in space (CMOS SRAM)''. In: IEEE Transactions on Nuclear Science 39.6 (1992), pp. 1804-1808.","journal-title":"IEEE Transactions on Nuclear Science"},{"issue":"6","key":"e_1_3_2_1_40_1","doi-asserted-by":"crossref","first-page":"2767","DOI":"10.1109\/23.556864","article-title":"Ground verification of in-orbit anomalies in the double probe electric field experiment on Freja","volume":"43","author":"Johlander B.","year":"1996","unstructured":"B. Johlander, R. Harboe-Sorensen, G. Olsson, and L. Bylander. ''Ground verification of in-orbit anomalies in the double probe electric field experiment on Freja''. In: IEEE Transactions on Nuclear Science 43.6 (1996), pp. 2767-2771.","journal-title":"IEEE Transactions on Nuclear Science"},{"key":"e_1_3_2_1_41_1","first-page":"1463","volume-title":"29th USENIX Security Symposium (USENIX Security 20)","author":"Yao F.","year":"2020","unstructured":"F. Yao, A. S. Rakin, and D. Fan. ''DeepHammer: Depleting the intelligence of deep neural networks through targeted chain of bit flips''. In: 29th USENIX Security Symposium (USENIX Security 20). 2020, pp. 1463-1480."},{"key":"e_1_3_2_1_42_1","first-page":"139","article-title":"Security characterisation of a hardened AES cryptosystem using a laser","volume":"15","author":"Roscian C.","unstructured":"C. Roscian, F. Praden, J.-M. Dutertre, J. Fournier, and A. Tria. ''Security characterisation of a hardened AES cryptosystem using a laser''. In: Technical Sciences\/University of Warmia and Mazury in Olsztyn 15 (1 (2012), pp. 139-154.","journal-title":"Technical Sciences\/University of Warmia and Mazury in Olsztyn"},{"key":"e_1_3_2_1_43_1","volume-title":"Radiation 101: Effects on Hardware and Robotic Systems''. In","author":"Pellish J. A.","year":"2015","unstructured":"J. A. Pellish. ''Radiation 101: Effects on Hardware and Robotic Systems''. In: (2015)."},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11214-012-9913-1"},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1109\/REDW.2007"},{"key":"e_1_3_2_1_46_1","first-page":"1","volume-title":"2021 21th European Conference on Radiation and Its Effects on Components and Systems (RADECS). IEEE.","author":"Pieper N.","year":"2021","unstructured":"N. Pieper, Y. Xiong, A. Feeley, D. Walker, R. Fung, S.-J. Wen, D. Ball, and B. Bhuva. ''Micro-Latchup Location and Temperature Characterization in a 7-nm Bulk FinFET Technology''. In: 2021 21th European Conference on Radiation and Its Effects on Components and Systems (RADECS). IEEE. 2021, pp. 1-7."},{"key":"e_1_3_2_1_47_1","first-page":"1","volume-title":"2022 22nd European Conference on Radiation and Its Effects on Components and Systems (RADECS). IEEE.","author":"He Y.","year":"2022","unstructured":"Y. He, J. Zhao, W. Shu, K. S. Chong, J. Chang, et al. ''Demonstration of ZES'LDAP (Latchup Detection and Protection) enabling a commercial-off-the-shelf FPGA for space applications''. In: 2022 22nd European Conference on Radiation and Its Effects on Components and Systems (RADECS). IEEE. 2022, pp. 1-4."},{"key":"e_1_3_2_1_48_1","article-title":"Design and Implementation of a High-Speed Low-Power K-Nearest-Neighborsbased Algorithm for Detecting Micro-Single-Event-Latchups","author":"Zhao J.","year":"2024","unstructured":"J. Zhao, K.-S. Chong, W. Shu, M. Cho, and J. S. Chang. ''Design and Implementation of a High-Speed Low-Power K-Nearest-Neighborsbased Algorithm for Detecting Micro-Single-Event-Latchups''. In: IEEE Transactions on Nuclear Science (2024).","journal-title":"IEEE Transactions on Nuclear Science ("},{"issue":"2","key":"e_1_3_2_1_49_1","doi-asserted-by":"crossref","first-page":"461","DOI":"10.1109\/23.490893","article-title":"effects in avionics","volume":"43","author":"Normand E.","year":"1996","unstructured":"E. Normand. ''Single-event effects in avionics''. In: IEEE Transactions on nuclear science 43.2 (1996), pp. 461-474.","journal-title":"IEEE Transactions on nuclear science"},{"key":"e_1_3_2_1_50_1","doi-asserted-by":"crossref","first-page":"61","DOI":"10.1109\/DSN.2004.1311877","volume-title":"International Conference on Dependable Systems and Networks, 2004","author":"Wang N. J.","year":"2004","unstructured":"N. J. Wang, J. Quek, T. M. Rafacz, and S. J. Patel. ''Characterizing the effects of transient faults on a high-performance processor pipeline''. In: International Conference on Dependable Systems and Networks, 2004. IEEE Computer Society. 2004, pp. 61-61."},{"key":"e_1_3_2_1_51_1","doi-asserted-by":"crossref","first-page":"1258","DOI":"10.1109\/NSSMIC.2010.5873968","volume-title":"IEEE Nuclear Science Symposuim & Medical Imaging Conference. IEEE.","author":"Sierawski B. D.","year":"2010","unstructured":"B. D. Sierawski, M. H. Mendenhall, R. A. Weller, R. A. Reed, J. H. Adams, J. W. Watts, and A. F. Barghouty. ''CR\u00c8ME-MC: A physicsbased single event effects tool''. In: IEEE Nuclear Science Symposuim & Medical Imaging Conference. IEEE. 2010, pp. 1258-1261."},{"key":"e_1_3_2_1_52_1","first-page":"9","volume-title":"Workshop on Mixed Criticality Systems.","author":"Lyons A.","year":"2014","unstructured":"A. Lyons and G. Heiser. ''Mixed-criticality support in a highassurance, general-purpose microkernel''. In: Workshop on Mixed Criticality Systems. 2014, pp. 9-14."},{"key":"e_1_3_2_1_53_1","first-page":"33","volume-title":"Proceedings First IEEE InternationalWorkshop on Source Code Analysis and Manipulation. IEEE.","author":"Rebaudengo M.","year":"2001","unstructured":"M. Rebaudengo, M. S. Reorda, M. Violante, and M. Torchiano. ''A source-to-source compiler for generating dependable software''. In: Proceedings First IEEE InternationalWorkshop on Source Code Analysis and Manipulation. IEEE. 2001, pp. 33-42."},{"key":"e_1_3_2_1_54_1","doi-asserted-by":"publisher","DOI":"10.1109\/24.994913"},{"key":"e_1_3_2_1_55_1","first-page":"81","volume-title":"2023 53rd Annual IEEE\/IFIP International Conference on Dependable Systems and Networks (DSN). IEEE.","author":"Borchert C.","year":"2023","unstructured":"C. Borchert, H. Schirmeier, and O. Spinczyk. ''Compiler-Implemented Differential Checksums: Effective Detection and Correction of Transient and Permanent Memory Errors''. In: 2023 53rd Annual IEEE\/IFIP International Conference on Dependable Systems and Networks (DSN). IEEE. 2023, pp. 81-94."},{"key":"e_1_3_2_1_56_1","doi-asserted-by":"publisher","DOI":"10.1145\/2909428.2909433"},{"key":"e_1_3_2_1_57_1","first-page":"19","volume-title":"2016 IEEE\/ACM 20th International Symposium on Distributed Simulation and Real Time Applications (DS-RT). IEEE.","author":"Fiala D.","year":"2016","unstructured":"D. Fiala, F. Mueller, and K. B. Ferreira. ''Flipsphere: A software-based DRAM error detection and correction library for HPC''. In: 2016 IEEE\/ACM 20th International Symposium on Distributed Simulation and Real Time Applications (DS-RT). IEEE. 2016, pp. 19-28."},{"key":"e_1_3_2_1_58_1","doi-asserted-by":"crossref","first-page":"107","DOI":"10.1109\/ICDSN.2000.857522","volume-title":"Proceeding International Conference on Dependable Systems and Networks. DSN 2000","author":"Turmon M.","year":"2000","unstructured":"M. Turmon, R. Granat, and D. Katz. ''Software-implemented fault detection for high-performance space applications''. In: Proceeding International Conference on Dependable Systems and Networks. DSN 2000. IEEE. 2000, pp. 107-116."},{"key":"e_1_3_2_1_59_1","doi-asserted-by":"publisher","DOI":"10.1145\/3054924"},{"key":"e_1_3_2_1_60_1","doi-asserted-by":"publisher","DOI":"10.1145\/3458817.3476184"},{"key":"e_1_3_2_1_61_1","volume-title":"2025 USENIX Annual Technical Conference. USENIX.","author":"Zheng W.","year":"2025","unstructured":"W. Zheng, B. Xu, J. Gu, and H. Chen. ''SAVE: Software-Implemented Fault Tolerance for Model Inference against GPU Memory Bit Flips''. In: 2025 USENIX Annual Technical Conference. USENIX. 2025."},{"key":"e_1_3_2_1_62_1","unstructured":"D. Nicholaeff N. Davis D. Trujillo and R. Robey. ''Cell-based adaptive mesh refinement implemented with general purpose graphics processing units''. In: Tech. Rep. LA-UR-11-07127 (2012)."},{"key":"e_1_3_2_1_63_1","volume-title":"(Sept.","author":"Donald M.","year":"2020","unstructured":"M. Donald. ''How An Ionizing Particle From Outer Space Helped A Mario Speedrunner Save Time''. In: (Sept. 2020). url: https:\/\/www. thegamer.com\/how-ionizing-particle-outer-space-helped-supermario- 64-speedrunner-save-time\/."},{"key":"e_1_3_2_1_64_1","doi-asserted-by":"publisher","DOI":"10.1145\/3600006.3613149"},{"key":"e_1_3_2_1_65_1","doi-asserted-by":"publisher","DOI":"10.1145\/3458336.3465297"},{"issue":"4","key":"e_1_3_2_1_66_1","doi-asserted-by":"crossref","first-page":"111","DOI":"10.1145\/2248487.2150989","article-title":"Cosmic rays don't strike twice: Understanding the nature of DRAM errors and the implications for system design","volume":"47","author":"Hwang A. A.","year":"2012","unstructured":"A. A. Hwang, I. A. Stefanovici, and B. Schroeder. ''Cosmic rays don't strike twice: Understanding the nature of DRAM errors and the implications for system design''. In: ACMSIGPLAN Notices 47.4 (2012), pp. 111-122.","journal-title":"ACMSIGPLAN Notices"},{"issue":"1","key":"e_1_3_2_1_67_1","doi-asserted-by":"crossref","first-page":"16","DOI":"10.1109\/TC.2011.221","article-title":"Efficient byzantine fault-tolerance","volume":"62","author":"Veronese G. S.","year":"2011","unstructured":"G. S. Veronese, M. Correia, A. N. Bessani, L. C. Lung, and P. Verissimo. ''Efficient byzantine fault-tolerance''. In: IEEE Transactions on Computers 62.1 (2011), pp. 16-30.","journal-title":"IEEE Transactions on Computers"},{"key":"e_1_3_2_1_68_1","first-page":"1","volume-title":"2019 19th European Conference on Radiation and Its Effects on Components and Systems (RADECS). IEEE.","author":"Aponte-Moreno A.","year":"2019","unstructured":"A. Aponte-Moreno, F. Restrepo-Calle, and C. Pedraza. ''A Low- Overhead Radiation Hardening Approach using Approximate Computing and Selective Fault Tolerance Techniques at the Software Level''. In: 2019 19th European Conference on Radiation and Its Effects on Components and Systems (RADECS). IEEE. 2019, pp. 1-4."},{"key":"e_1_3_2_1_69_1","volume-title":"IEEE Aerospace Conference.","author":"Verma V.","year":"2024","unstructured":"V. Verma, J. Nash, L. Saldyt, Q. Dwight, H. Wang, S. Myint, J. Biesiadecki, M. Maimone, A. Tumbar, A. Ansar, G. Kubiak, and R. Hogg. ''Enabling Long & Precise Drives for The Perseverance Mars Rover via Onboard Global Localization''. In: IEEE Aerospace Conference. 2024."},{"key":"e_1_3_2_1_70_1","first-page":"1","volume-title":"2022 IEEE Aerospace Conference (AERO). IEEE.","author":"Verma V.","year":"2022","unstructured":"V. Verma, F. Hartman, A. Rankin, M. Maimone, T. Del Sesto, O. Toupet, E. Graser, S. Myint, K. Davis, D. Klein, et al. ''First 210 solar days of Mars 2020 Perseverance Robotic Operations-Mobility, Robotic Arm, Sampling, and Helicopter''. In: 2022 IEEE Aerospace Conference (AERO). IEEE. 2022, pp. 1-20."},{"key":"e_1_3_2_1_71_1","doi-asserted-by":"crossref","first-page":"939","DOI":"10.1145\/3373376.3378473","volume-title":"Proceedings of the Twenty-Fifth International Conference on Architectural Support for Programming Languages and Operating Systems.","author":"Denby B.","year":"2020","unstructured":"B. Denby and B. Lucia. ''Orbital edge computing: Nanosatellite constellations as a new class of computer system''. In: Proceedings of the Twenty-Fifth International Conference on Architectural Support for Programming Languages and Operating Systems. 2020, pp. 939-954."},{"key":"e_1_3_2_1_72_1","volume-title":"Space-Terrestrial Internetworking Workshop. IEEE.","author":"Ilott P. A.","year":"2021","unstructured":"P. A. Ilott. ''Communications with Mars: A Brief and Informal HIstory''. In: Space-Terrestrial Internetworking Workshop. IEEE. 2021."},{"key":"e_1_3_2_1_73_1","volume-title":"Annual AIAA\/USU Conference on Small Satellites. GSFC-E-DAATN33786","author":"McComas D.","year":"2016","unstructured":"D. McComas, J. Wilmot, and A. Cudmore. ''The core flight system (cFS) community: Providing low cost solutions for small spacecraft''. In: Annual AIAA\/USU Conference on Small Satellites. GSFC-E-DAATN33786.2016."},{"key":"e_1_3_2_1_74_1","volume-title":"2006 IEEE Aerospace Conference. IEEE.","author":"Biesiadecki J. J.","year":"2006","unstructured":"J. J. Biesiadecki and M. W. Maimone. ''The Mars exploration rover surface mobility flight software driving ambition''. In: 2006 IEEE Aerospace Conference. IEEE. 2006, 15-pp."},{"key":"e_1_3_2_1_75_1","volume-title":"State-of-the-art small spacecraft technology''. In","author":"Yost B.","year":"2021","unstructured":"B. Yost, S. Weston, G. Benavides, F. Krage, J. Hines, S. Mauro, S. Etchey, K. O'Neill, and B. Braun. ''State-of-the-art small spacecraft technology''. In: (2021)."},{"key":"e_1_3_2_1_76_1","volume-title":"F Prime: an open-source framework for small-scale flight software systems''. In","author":"Bocchino R.","year":"2018","unstructured":"R. Bocchino, T. Canham, G. Watney, L. Reder, and J. Levison. ''F Prime: an open-source framework for small-scale flight software systems''. In: (2018)."},{"key":"e_1_3_2_1_77_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA57147.2024.10611697"},{"key":"e_1_3_2_1_78_1","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/s11214-020-00765-9","article-title":"The Mars 2020 Engineering Cameras and microphone on the Perseverance rover: A next-generation imaging system for Mars exploration","volume":"216","author":"Maki J.","year":"2020","unstructured":"J. Maki, D. Gruel, C. McKinney, M. Ravine, M. Morales, D. Lee, R. Willson, D. Copley-Woods, M. Valvo, T. Goodsall, et al. ''The Mars 2020 Engineering Cameras and microphone on the Perseverance rover: A next-generation imaging system for Mars exploration''. In: Space Science Reviews 216 (2020), pp. 1-48.","journal-title":"Space Science Reviews"},{"key":"e_1_3_2_1_79_1","first-page":"03152","article-title":"The gem5 Simulator","author":"Lowe-Power J.","year":"2007","unstructured":"J. Lowe-Power, A. M. Ahmad, A. Akram, M. Alian, R. Amslinger, M. Andreozzi, A. Armejach, N. Asmussen, S. Bharadwaj, G. Black, G. Bloom, B. R. Bruce, D. R. Carvalho, J. Castrill\u00f3n, L. Chen, N. Derumigny, S. Diestelhorst, W. Elsasser, M. Fariborz, A. F. Farahani, P. Fotouhi, R. Gambord, J. Gandhi, D. Gope, T. Grass, B. Hanindhito, A. Hansson, S. Haria, A. Harris, T. Hayes, A. Herrera, M. Horsnell, S. A. R. Jafri, R. Jagtap, H. Jang, R. Jeyapaul, T. M. Jones, M. Jung, S. Kannoth, H. Khaleghzadeh, Y. Kodama, T. Krishna, T. Marinelli, C. Menard, A. Mondelli, T. M\u00fcck, O. Naji, K. Nathella, H. Nguyen, N. Nikoleris, L. E. Olson, M. S. Orr, B. Pham, P. Prieto, T. Reddy, A. Roelke, M. Samani, A. Sandberg, J. Setoain, B. Shingarov, M. D. Sinclair, T. Ta, R. Thakur, G. Travaglini, M. Upton, N. Vaish, I. Vougioukas, Z. Wang, N. Wehn, C. Weis, D. A. Wood, H. Yoon, and \u00c9. F. Zulian. ''The gem5 Simulator: Version 20.0''. In: CoRR abs\/2007.03152 (2020). arXiv: 2007.03152. url: https:\/\/arxiv.org\/abs\/2007.03152.","journal-title":"CoRR abs\/"}],"event":{"name":"ASPLOS '26:31st ACM International Conference on Architectural Support for Programming Languages and Operating Systems","location":"Pittsburgh PA USA","sponsor":["SIGOPS ACM Special Interest Group on Operating Systems","SIGPLAN ACM Special Interest Group on Programming Languages","SIGARCH ACM Special Interest Group on Computer Architecture","SIGBED ACM Special Interest Group on Embedded Systems"]},"container-title":["Proceedings of the 31st ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 1"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3760250.3762218","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,12,11]],"date-time":"2025-12-11T15:07:26Z","timestamp":1765465646000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3760250.3762218"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,12,11]]},"references-count":79,"alternative-id":["10.1145\/3760250.3762218","10.1145\/3760250"],"URL":"https:\/\/doi.org\/10.1145\/3760250.3762218","relation":{},"subject":[],"published":{"date-parts":[[2025,12,11]]},"assertion":[{"value":"2025-12-11","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}