Biotite: A High-Performance Static Binary Translator using Source-Level Information. - Changbin Chen; Shu Sugita; Yotaro Nada; Hidetsugu Irie; Shuichi Sakai; Ryota Shioya (CC, 2025)