{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,9]],"date-time":"2025-12-09T18:55:34Z","timestamp":1765306534921,"version":"3.46.0"},"publisher-location":"New York, NY, USA","reference-count":50,"publisher":"ACM","funder":[{"name":"German Federal Ministry of Research, Technology and Space (BMFTR)","award":["16ME0990-16ME0993"],"award-info":[{"award-number":["16ME0990-16ME0993"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2025,9,28]]},"DOI":"10.1145\/3742873.3756928","type":"proceedings-article","created":{"date-parts":[[2025,12,9]],"date-time":"2025-12-09T18:51:51Z","timestamp":1765306311000},"page":"23-32","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Special Sessions - Hardware-Software Co-Design for Machine Learning Systems Made Open-Source"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-8829-5610","authenticated-orcid":false,"given":"Mehdi","family":"Tahoori","sequence":"first","affiliation":[{"name":"Karlsruhe Institute of Technology, Karlsruhe, Germany"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-9775-5861","authenticated-orcid":false,"given":"Vincent","family":"Meyers","sequence":"additional","affiliation":[{"name":"Karlsruhe Institute of Technology, Karlsruhe, Germany"}]},{"ORCID":"https:\/\/orcid.org\/0009-0002-1945-155X","authenticated-orcid":false,"given":"Mahboobe","family":"Sadeghipour Roodsari","sequence":"additional","affiliation":[{"name":"Karlsruhe Institute of Technology, Karlsruhe, Germany"}]},{"ORCID":"https:\/\/orcid.org\/0009-0005-1357-7866","authenticated-orcid":false,"given":"Huashuangyang","family":"Xu","sequence":"additional","affiliation":[{"name":"Karlsruhe Institute of Technology, Karlsruhe, Germany"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-5082-5487","authenticated-orcid":false,"given":"Juergen","family":"Becker","sequence":"additional","affiliation":[{"name":"Karlsruhe Institute of Technology, Karlsruhe, Germany"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-7310-567X","authenticated-orcid":false,"given":"Tanja","family":"Harbaum","sequence":"additional","affiliation":[{"name":"Karlsruhe Institute of Technology, Karlsruhe, Germany"}]},{"ORCID":"https:\/\/orcid.org\/0009-0001-8419-832X","authenticated-orcid":false,"given":"Felix","family":"Frombach","sequence":"additional","affiliation":[{"name":"Karlsruhe Institute of Technology, Karlsruhe, Germany"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-4904-0495","authenticated-orcid":false,"given":"Julian","family":"Hoefer","sequence":"additional","affiliation":[{"name":"Karlsruhe Institute of Technology, Karlsruhe, Germany"}]},{"ORCID":"https:\/\/orcid.org\/0009-0008-4524-6940","authenticated-orcid":false,"given":"Georgios","family":"Sotiropoulos","sequence":"additional","affiliation":[{"name":"Karlsruhe Institute of Technology, Karlsruhe, Germany"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-9602-2922","authenticated-orcid":false,"given":"Jorg","family":"Henkel","sequence":"additional","affiliation":[{"name":"Karlsruhe Institute of Technology, Karlsruhe, Germany"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-9651-5724","authenticated-orcid":false,"given":"Zeynep","family":"Demirdag","sequence":"additional","affiliation":[{"name":"Karlsruhe Institute of Technology, Karlsruhe, Germany"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-0245-2062","authenticated-orcid":false,"given":"Heba","family":"Khdr","sequence":"additional","affiliation":[{"name":"Karlsruhe Institute of Technology, Karlsruhe, Germany"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-1566-8997","authenticated-orcid":false,"given":"Hassan","family":"Nassar","sequence":"additional","affiliation":[{"name":"Karlsruhe Institute of Technology, Karlsruhe, Germany"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-4431-7619","authenticated-orcid":false,"given":"Ulf","family":"Schlichtmann","sequence":"additional","affiliation":[{"name":"Technical University of Munich, Munich, Germany"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-9439-3890","authenticated-orcid":false,"given":"Johannes","family":"Geier","sequence":"additional","affiliation":[{"name":"Technical University of Munich, Munich, Germany"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-1135-8070","authenticated-orcid":false,"given":"Philipp","family":"van Kempen","sequence":"additional","affiliation":[{"name":"Technical University of Munich, Munich, Germany"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-3152-941X","authenticated-orcid":false,"given":"Georg","family":"Sigl","sequence":"additional","affiliation":[{"name":"Technical University of Munich, Munich, Germany"}]},{"ORCID":"https:\/\/orcid.org\/0009-0000-5472-9428","authenticated-orcid":false,"given":"Stefan","family":"Koegler","sequence":"additional","affiliation":[{"name":"Technical University of Munich, Munich, Germany"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-5747-0730","authenticated-orcid":false,"given":"Matthias","family":"Probst","sequence":"additional","affiliation":[{"name":"Technical University of Munich, Munich, Germany"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-6285-5862","authenticated-orcid":false,"given":"Jurgen","family":"Teich","sequence":"additional","affiliation":[{"name":"Friedrich-Alexander-Universitat Erlangen-Nurnberg, Erlangen, Germany"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-3663-6484","authenticated-orcid":false,"given":"Frank","family":"Hannig","sequence":"additional","affiliation":[{"name":"Friedrich-Alexander-Universitat Erlangen-Nurnberg, Erlangen, Germany"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-2066-646X","authenticated-orcid":false,"given":"Muhammad","family":"Sabih","sequence":"additional","affiliation":[{"name":"Friedrich-Alexander-Universitat Erlangen-Nurnberg, Erlangen, Germany"}]},{"ORCID":"https:\/\/orcid.org\/0009-0008-5210-3745","authenticated-orcid":false,"given":"Batuhan","family":"Sesli","sequence":"additional","affiliation":[{"name":"Friedrich-Alexander-Universitat Erlangen-Nurnberg, Erlangen, Germany"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-9010-086X","authenticated-orcid":false,"given":"Norbert","family":"Wehn","sequence":"additional","affiliation":[{"name":"University of Kaiserslautern-Landau, Kaiserslautern, Germany"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-2677-6475","authenticated-orcid":false,"given":"Lukas","family":"Steiner","sequence":"additional","affiliation":[{"name":"University of Kaiserslautern-Landau, Kaiserslautern, Germany"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-6612-2946","authenticated-orcid":false,"given":"Wolfgang","family":"Kunz","sequence":"additional","affiliation":[{"name":"University of Kaiserslautern-Landau, Kaiserslautern, Germany"}]},{"ORCID":"https:\/\/orcid.org\/0009-0003-0520-7991","authenticated-orcid":false,"given":"Mohamed","family":"Shelkamy Ali","sequence":"additional","affiliation":[{"name":"University of Kaiserslautern-Landau, Kaiserslautern, Germany"}]}],"member":"320","published-online":{"date-parts":[[2025,12,9]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10845-021-01878-w"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","unstructured":"R. Begg J. Kamruzzaman and R. Sarker. 2006. Neural networks in healthcare: Potential and challenges. Igi Global. 10.4018\/978-1-59140-848-2","DOI":"10.4018\/978-1-59140-848-2"},{"key":"e_1_3_2_1_3_1","unstructured":"N. Maslej et al. 2025. Artificial intelligence index report 2025. The Computing Research Repository (CoRR). arXiv: 2504.07139 [cs.AI]."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.eng.2020.01.007"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1038\/s41928-018-0059-3"},{"key":"e_1_3_2_1_6_1","volume-title":"SEMI, (Nov. 2024","year":"2024","unstructured":"International Business Strategies. 2024. Why AI will propel Semiconductor Market to $1 Trillion and Achieve 1.0nm by 2030. Tech. rep. SEMI, (Nov. 2024). https:\/\/www.semi.org\/sites\/semi.org\/files\/2024-11\/MS-SEMIWEB11.2024.pdf."},{"key":"e_1_3_2_1_7_1","volume-title":"Data on notable AI models. (June","author":"AI.","year":"2024","unstructured":"Epoch AI. 2024. Data on notable AI models. (June 2024). Retrieved 07\/20\/2025 from https:\/\/epoch.ai\/data\/notable-ai-models."},{"key":"e_1_3_2_1_8_1","unstructured":"K. Vittal. 2024. Advanced SoC verification enables a new era of AI chips. https:\/\/www.synopsys.com\/blogs\/chip-design\/advanced-soc-verification-enables-new-era-ai-chips.html."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2021.3099046"},{"key":"e_1_3_2_1_10_1","volume-title":"Standard","author":"Safety PAS","unstructured":"2024. ISO\/PAS 8800:2024 Road vehicles \u2014 Safety and artificial intelligence. Standard. International Organization for Standardization, CH."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1007\/s12559-009-9009-8"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1109\/FPL64840.2024.00045"},{"key":"e_1_3_2_1_13_1","volume-title":"Proc. of the Conference on Design, Automation and Test in Europe (DATE). IEEE, 1\u20132.","author":"Roodsari M. S.","unstructured":"M. S. Roodsari, J. Krautter, and M. Tahoori. 2024. OTFGEncoder-HDC: Hardware-efficient encoding techniques for hyperdimensional computing. In Proc. of the Conference on Design, Automation and Test in Europe (DATE). IEEE, 1\u20132."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1109\/VTS65138.2025.11022900"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1109\/ETS63895.2025.11049622"},{"key":"e_1_3_2_1_16_1","volume-title":"Proc. of the 31th IEEE Int'l Symposium on On-Line Testing and Robust System Design. IEEE.","author":"Roodsari M. S.","unstructured":"M. S. Roodsari, V. Meyers, and M. Tahoori. 2025. Lightweight concurrent out-of-distribution detection in hyperdimensional computing hardware. In Proc. of the 31th IEEE Int'l Symposium on On-Line Testing and Robust System Design. IEEE."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1109\/TC.2019.2912164"},{"key":"e_1_3_2_1_18_1","volume-title":"BayNNgine: Hardware-enabled bayesian neural network support for dependable AI inference. To appear in Proc. of the IEEE 38th Int'l System-on-Chip Conference (SOCC), (2025)","author":"H\u00f6fer J.","unstructured":"J. H\u00f6fer et al. BayNNgine: Hardware-enabled bayesian neural network support for dependable AI inference. To appear in Proc. of the IEEE 38th Int'l System-on-Chip Conference (SOCC), (2025)."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/3649476.3658737"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1109\/JSSC.2016.2616357"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1109\/LES.2017.2714844"},{"key":"e_1_3_2_1_22_1","volume-title":"Proc. of the 10th Int'l Conference on Smart and Sustainable Technologies (SpliTech).","author":"Kadel L.","unstructured":"L. Kadel, H. Nassar, L. Bauer, and J. Henkel. 2025. Secure runtime reconfiguration of FPGAs via lightweight authenticated encryption for IoT systems. In Proc. of the 10th Int'l Conference on Smart and Sustainable Technologies (SpliTech)."},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1109\/LES.2024.3443628"},{"key":"e_1_3_2_1_24_1","volume-title":"Proc. of the IEEE Computer Society Annual Symposium on VLSI (ISVLSI).","author":"Khdr H.","unstructured":"H. Khdr, M. Bakr Sikal, B. Dietrich, and J. Henkel. 2025. Towards the optimization of hardware efficiency through machine learning. In Proc. of the IEEE Computer Society Annual Symposium on VLSI (ISVLSI)."},{"key":"e_1_3_2_1_25_1","volume-title":"Proc. of the Int'l Conference on Embedded Computer Systems: Architectures, Modeling and Simulation (SAMOS). Springer, 110\u2013126","author":"Steiner L.","year":"2020","unstructured":"L. Steiner et al. 2020. DRAMSys4.0: A fast and cycle-accurate SystemC\/TLM-based DRAM simulator. In Proc. of the Int'l Conference on Embedded Computer Systems: Architectures, Modeling and Simulation (SAMOS). Springer, 110\u2013126."},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.23919\/DATE58400.2024.10546844"},{"key":"e_1_3_2_1_27_1","volume-title":"Proc. of the Int'l Conference on Field Programmable Technology (FPT). IEEE.","author":"Sabih M.","year":"2024","unstructured":"M. Sabih et al. 2024. Hardware\/software co-design of RISC-V extensions for accelerating sparse DNNs on FPGAs. In Proc. of the Int'l Conference on Field Programmable Technology (FPT). IEEE."},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1109\/DSD64264.2024.00052"},{"key":"e_1_3_2_1_29_1","volume-title":"Proc. of 13th USENIX Symposium on Operating Systems Design and Implementation (OSDI). USENIX Association, 578\u2013594","author":"Chen T.","year":"2018","unstructured":"T. Chen et al. 2018. TVM: An automated end-to-end optimizing compiler for deep learning. In Proc. of 13th USENIX Symposium on Operating Systems Design and Implementation (OSDI). USENIX Association, 578\u2013594. https:\/\/www.usenix.org\/conference\/osdi18\/presentation\/chen."},{"key":"e_1_3_2_1_30_1","volume-title":"Proc. of the Conference on Machine Learning and Systems (MLSys). mlsys.org, 800\u2013811","author":"David R.","year":"2021","unstructured":"R. David et al. 2021. TensorFlow Lite Micro: Embedded machine learning for TinyML systems. In Proc. of the Conference on Machine Learning and Systems (MLSys). mlsys.org, 800\u2013811."},{"key":"e_1_3_2_1_31_1","volume-title":"Proc. of the Int'l Conference on Neural Information Processing Systems (NIPS). Curran Associates, Inc., 35783\u201335796","author":"Shao J.","year":"2022","unstructured":"J. Shao et al. 2022. Tensor program optimization with probabilistic programs. In Proc. of the Int'l Conference on Neural Information Processing Systems (NIPS). Curran Associates, Inc., 35783\u201335796."},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1109\/SmartIoT.2019.00032"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1109\/18072.2020.9218707"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/3394885.3431639"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1109\/ETS63895.2025.11049644"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2020.3012320"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1145\/3242897"},{"key":"e_1_3_2_1_38_1","unstructured":"FINN Team at AMD Research. 2016. FINN: dataflow compiler for QNN inference on FPGAs. Retrieved 07\/20\/2025 from https:\/\/xilinx.github.io\/finn\/."},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICPR.2016.7900006"},{"key":"e_1_3_2_1_40_1","volume-title":"Proc. of the 28th USENIX Security Symposium (USENIX Security). USENIX Association, 515\u2013532","author":"Batina L.","unstructured":"L. Batina, S. Bhasin, D. Jap, and S. Picek. 2019. CSI NN: Reverse engineering of neural network architectures through electromagnetic side channel. In Proc. of the 28th USENIX Security Symposium (USENIX Security). USENIX Association, 515\u2013532. https:\/\/www.usenix.org\/conference\/usenixsecurity19\/presentation\/batina."},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1109\/HOST45689.2020.9300276"},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1109\/ISCAS45731.2020.9180580"},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.23919\/DATE54114.2022.9774710"},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1109\/TVLSI.2023.3340553"},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1145\/3400302.3415649"},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1109\/JSSC.2022.3215670"},{"key":"e_1_3_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1109\/HOST55118.2023.10133716"},{"key":"e_1_3_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.34727\/2021\/isbn.978-3-85448-046-4_9"},{"key":"e_1_3_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-64837-4\\_26"},{"key":"e_1_3_2_1_50_1","unstructured":"F. Zhou H. Chen and L. Fan. 2024. Prover - Toward more efficient formal verification of masking in probing model. Cryptology ePrint Archive Paper 2024\/1202. (2024). https:\/\/eprint.iacr.org\/2024\/1202."}],"event":{"name":"CODES+ISSS '25: International Conference on Hardware\/Software Codesign and System Synthesis","location":"Taipei International Convention Center (TICC) Taipei Taiwan","acronym":"CODES+ISSS '25","sponsor":["SIGDA ACM Special Interest Group on Design Automation","SIGMICRO ACM Special Interest Group on Microarchitectural Research and Processing","SIGBED ACM Special Interest Group on Embedded Systems","CEDA","IEEE CAS"]},"container-title":["Proceedings of the International Conference on Hardware\/Software Codesign and System Synthesis"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3742873.3756928","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,12,9]],"date-time":"2025-12-09T18:51:59Z","timestamp":1765306319000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3742873.3756928"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,9,28]]},"references-count":50,"alternative-id":["10.1145\/3742873.3756928","10.1145\/3742873"],"URL":"https:\/\/doi.org\/10.1145\/3742873.3756928","relation":{},"subject":[],"published":{"date-parts":[[2025,9,28]]},"assertion":[{"value":"2025-12-09","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}