{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,11]],"date-time":"2026-06-11T22:56:39Z","timestamp":1781218599514,"version":"3.54.1"},"publisher-location":"New York, NY, USA","reference-count":31,"publisher":"ACM","license":[{"start":{"date-parts":[[2026,6,15]],"date-time":"2026-06-15T00:00:00Z","timestamp":1781481600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/legalcode"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2026,6,15]]},"DOI":"10.1145\/3814943.3816171","type":"proceedings-article","created":{"date-parts":[[2026,6,11]],"date-time":"2026-06-11T22:06:32Z","timestamp":1781215592000},"page":"112-123","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Hikami: A Lightweight Hypervisor for Emulating RISC-V Extension Semantics with Sail-Driven Auto-generation"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-0479-9150","authenticated-orcid":false,"given":"Norimasa","family":"Takana","sequence":"first","affiliation":[{"name":"University of Tsukuba, Tsukuba, Japan"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-9406-5037","authenticated-orcid":false,"given":"Yoshihiro","family":"Oyama","sequence":"additional","affiliation":[{"name":"University of Tsukuba, Tsukuba, Japan"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2026,6,15]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"ahadali5000 Alasdair Armstrong Alexander Richardson Aril Computer Corp. Scott Johnson Ben Marshall Bicheng Yang Muhammad Bilal Sakhawat Brian Campbell Chris Casinghino Christopher Pulte Codasip Tim Hutt Martin Berger Ben Fletcher dylux eroom1966 Google LLC Hesham Almatary Jan Henrik Weinstock Jessica Clarke Jon French Jordan Carlin Michael Sammler Microsoft Robert Norton-Wright Nathaniel Wesley Filardo Paul A. Clarke Peter Rugg Peter Sewell Philipp Tomsich Prashanth Mundkur Rafael Sene Rishiyur S. Nikhil Shaked Flur Thibaut P\u00e9rami Thomas Bauereiss VRULL GmbH William McSpaddden and Xinlai Wan. 2025. Riscv\/Sail- Riscv: Sail RISC-V Model. https:\/\/github.com\/riscv\/sail-riscv"},{"key":"e_1_3_2_1_2_1","unstructured":"Waterman Andrew Lee Yunsup Patterson David and Avi\u017eienis Rimas. 2024. The RISC-V Instruction Set Manual Volume I: Unprivileged Architecture. https:\/\/github.com\/riscv\/riscv-isa-manual\/releases\/download\/ 20240411\/priv-isa-asciidoc.pdf"},{"key":"e_1_3_2_1_3_1","unstructured":"Waterman Andrew Lee Yunsup Avi\u017eienis Rimas Patterson David and Asanovi\u0107 Krste. 2024. The RISC-V Instruction Set Manual Volume II: Privileged Architecture. https:\/\/github.com\/riscv\/riscv-isa-manual\/ releases\/download\/20240411\/priv-isa-asciidoc.pdf"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/3290384"},{"key":"e_1_3_2_1_5_1","unstructured":"Krste Asanovic Rimas Avizienis Jonathan Bachrach Scott Beamer David Biancolin Christopher Celio Henry Cook Daniel Dabbelt John Hauser Adam Izraelevitz et al. 2016. The Rocket Chip Generator. 4 (2016)."},{"key":"e_1_3_2_1_6_1","unstructured":"Jonathan Behrens Cel Skeggs Samuel Ortiz and Frans Kaashoek. 2025. Mit-Pdos\/RVirt. https:\/\/github.com\/mit-pdos\/RVirt"},{"key":"e_1_3_2_1_7_1","unstructured":"Beijing ESWIN Computing Technology Co. Ltd. 2025. EIC7700X SoC Technical Reference Manual. https:\/\/github.com\/eswincomputing\/ EIC7700X-SoC-Technical-Reference-Manual"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.5555\/1247360.1247401"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/3316279.3316280"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.48550\/arXiv.2503.04389"},{"key":"e_1_3_2_1_11_1","unstructured":"Celio Christopher Karandikar Sagar Zhao Jerry and Gonzalez Abraham. 2025. Riscv-Boom\/Riscv-Coremark. https:\/\/github.com\/riscvboom\/riscv-coremark"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/3803525.3804982"},{"key":"e_1_3_2_1_13_1","unstructured":"dramforever. 2024. Dramforever\/Opensbi-h: WIP: A Fork of OpenSBI with Software-Emulated Hypervisor Extension Support. https:\/\/github. com\/dramforever\/opensbi-h"},{"key":"e_1_3_2_1_14_1","unstructured":"EEMBC. 2025. CPU Benchmark -MCU Benchmark -CoreMark - EEMBC Embedded Microprocessor Benchmark Consortium. https:\/\/ www.eembc.org\/coremark\/index.php"},{"key":"e_1_3_2_1_15_1","unstructured":"Gao Han. 2025. rockos-riscv\/rockos-kernel at cd464ac64b38c747524d7407570720249680b23d. https: \/\/github.com\/rockos-riscv\/rockos-kernel\/tree\/ cd464ac64b38c747524d7407570720249680b23d"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1109\/ESSCIRC.2014.6942056"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.4230\/OASIcs"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.3390\/jlpea12040052"},{"key":"e_1_3_2_1_19_1","unstructured":"RISC-V International. 2024. Exchange -RISC-V International. https: \/\/riscv.org\/exchange\/?_sft_exchange_category=board hardware"},{"key":"e_1_3_2_1_20_1","unstructured":"RISC-V International. 2024. RISC-V International -RISC-V: The Open Standard RISC Instruction Set Architecture. https:\/\/riscv.org\/"},{"key":"e_1_3_2_1_21_1","unstructured":"RISC-V International. 2024. RISC-V Profiles Version 1.0. https:\/\/github. com\/riscv\/riscv-profiles\/releases\/download\/v1.0\/profiles.pdf"},{"key":"e_1_3_2_1_22_1","unstructured":"RISC-V International. 2025. Riscv\/Riscv-Profiles. https:\/\/github.com\/ riscv\/riscv-profiles"},{"key":"e_1_3_2_1_23_1","unstructured":"Jeff Scheel. 2025. Ratified Extensions -Home -RISC-V Tech Hub. https:\/\/riscv.atlassian.net\/wiki\/spaces\/HOME\/pages\/16154732\/ Ratified+Extensions"},{"key":"e_1_3_2_1_24_1","unstructured":"Colin Schmidt and Adam Izraelevitz. 2015. A Fast Parameterized SHA3 Accelerator. http:\/\/www2.eecs.berkeley.edu\/Pubs\/TechRpts\/ 2015\/EECS-2015-204.html"},{"key":"e_1_3_2_1_25_1","unstructured":"Shenzhen MilkV Technology Co. Ltd. 2025. Milk-V Megrez | RISC-V AI PC. https:\/\/milkv.io\/megrez"},{"key":"e_1_3_2_1_26_1","unstructured":"SPACEMIT. 2026. Introduction to K3 Series Chips. https:\/\/cdn.sipeed. com\/public\/k3\/Introduction%20to%20K3%20Series%20Chips.pdf"},{"key":"e_1_3_2_1_27_1","unstructured":"SpinalHDL. 2025. SpinalHDL\/VexRiscv. https:\/\/github.com\/SpinalHDL\/ VexRiscv"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","unstructured":"Bruno S\u00e1 Jos\u00e9 Martins and Sandro Pinto. 2021. A First Look at RISC-V Virtualization from an Embedded Systems Perspective. (2021). doi:10.48550\/arXiv.2103.14951 10.48550\/arXiv.2103.14951","DOI":"10.48550\/arXiv.2103.14951"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.5281\/zenodo.20226662"},{"key":"e_1_3_2_1_30_1","unstructured":"Xiang W and Gao Han. 2025. Rockos-Opensbi\/Lib\/Sbi\/Sbi_emulate_csr.c at Rockos-Dev \u2022 Rockos-Riscv\/Rockos-Opensbi. https:\/\/github.com\/ rockos-riscv\/rockos-opensbi\/blob\/rockos-dev\/lib\/sbi\/sbi_emulate_ csr.c"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1109\/TVLSI"}],"event":{"name":"LCTES '26: 27th ACM SIGPLAN\/SIGBED International Conference on Languages, Compilers, and Tools for Embedded Systems","location":"Boulder CO USA","acronym":"LCTES '26","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","SIGBED ACM Special Interest Group on Embedded Systems"]},"container-title":["Proceedings of the 27th ACM SIGPLAN\/SIGBED International Conference on Languages, Compilers, and Tools for Embedded Systems"],"original-title":[],"deposited":{"date-parts":[[2026,6,11]],"date-time":"2026-06-11T22:06:43Z","timestamp":1781215603000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3814943.3816171"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,6,15]]},"references-count":31,"alternative-id":["10.1145\/3814943.3816171","10.1145\/3814943"],"URL":"https:\/\/doi.org\/10.1145\/3814943.3816171","relation":{},"subject":[],"published":{"date-parts":[[2026,6,15]]},"assertion":[{"value":"2026-06-15","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}