CC 2025
Sat 1 - Sun 2 March 2025
Sat 1 Mar 2025 16:30 - 17:00 at Acacia A - Binary Analysis and Hardware I Chair(s): Sara Achour

Research on novel Instruction Set Architectures (ISAs) is actively pursued; however, it requires extensive efforts to develop and maintain comprehensive compilation toolchains for each new ISA. Binary translation can provide a practical solution for ISA researchers to port target programs to novel ISAs when such a level of toolchain support is not available. However, to ensure the correct handling of indirect jumps, existing binary translators rely on complex runtime systems, whose implementation on primitive research ISAs demands significant efforts. ISA researchers generally have access to additional source-level information, including the symbol table and source code, when using binary translators. The symbol table can provide potential jump targets for optimizing indirect jumps, and ISA-independent functions in source code can be directly compiled without translation. Leveraging source-level information as additional input, in this paper, we propose Biotite, a high-performance static binary translator that correctly handles arbitrary indirect jumps. Currently, Biotite supports the translation of RV64GC Linux binaries to self-contained LLVM IR. Our evaluation shows that Biotite successfully translates all benchmarks in SPEC CPU 2017 and achieves a 2.346× performance improvement over QEMU for the integer benchmark suite.

Sat 1 Mar

Displayed time zone: Pacific Time (US & Canada) change

16:00 - 18:00
Binary Analysis and Hardware IMain Conference at Acacia A
Chair(s): Sara Achour Stanford University
16:00
30m
Talk
A Comparative Study on the Accuracy and the Speed of Static and Dynamic Program Classifiers
Main Conference
Anderson Faustino da Silva State University of Maringá, Jeronimo Castrillon TU Dresden, Germany, Fernando Magno Quintão Pereira Federal University of Minas Gerais
16:30
30m
Talk
Biotite: A High-Performance Static Binary Translator using Source-Level Information
Main Conference
Changbin Chen The University of Tokyo, Shu Sugita University of Tokyo, Yotaro Nada The University of Tokyo, Hidetsugu Irie University of Tokyo, Shuichi Sakai University of Tokyo, Ryota Shioya University of Tokyo
17:00
30m
Talk
Post-Link Outlining for Code Size Reduction
Main Conference
shaobai yuan Hunan University, Jihong He Hunan University, Yihui Xie Hunan University, Feng Wang Hunan University, Jie Zhao Hunan University
17:30
30m
Talk
A Deep Technical Review of nZDC Fault Tolerance
Main Conference
Minli Liao University of Cambridge, Sam Ainsworth University of Edinburgh, Lev Mukhanov Queen Mary University London, Timothy M. Jones University of Cambridge
Pre-print Media Attached
:
:
:
: