GATUNER:Genetic Algorithm Applied to Floating-Point Precision Tuning (APSEC 2025 - Technical Track)

Who

zjn_hpc , Jinchen Xu, Hongru Yang, Tao Zhang, Shuai Wang, Bei Zhou

Track

APSEC 2025 Technical Track

This program is tentative and subject to change.

Time Zone

The program is currently displayed in (GMT+08:00) Beijing, Chongqing, Hong Kong, Urumqi.

Use conference time zone: (GMT+08:00) Beijing, Chongqing, Hong Kong, UrumqiSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Save

When

Thu 4 Dec 2025 16:00 - 16:20 at Lotus - Session 5A: Precision & Code Quality (Technical Track)

zjn_hpc

Jinchen Xu

Information Engineering University

China

Hongru Yang

Hunan University, Changsha, China

China

Tao Zhang

Information Engineering University

Shuai Wang

Information Engineering University

Bei Zhou

Information Engineering University

China

This program is tentative and subject to change.

Time Zone

The program is currently displayed in (GMT+08:00) Beijing, Chongqing, Hong Kong, Urumqi.

Use conference time zone: (GMT+08:00) Beijing, Chongqing, Hong Kong, UrumqiSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

Display full programSpecify a time band

Save

Session Program

Thu 4 Dec
Displayed time zone: Beijing, Chongqing, Hong Kong, Urumqi change

16:00 - 17:20	Session 5A: Precision & Code Quality (Technical Track)Technical Track at Lotus

16:00 20m Full-paper		GATUNER:Genetic Algorithm Applied to Floating-Point Precision Tuning Technical Track zjn_hpc , Jinchen Xu Information Engineering University, Hongru Yang Hunan University, Changsha, China, Tao Zhang Information Engineering University, Shuai Wang Information Engineering University, Bei Zhou Information Engineering University
16:20 20m Full-paper		What You See Is Not Always What You Get: Evaluating GPT's Comprehension of Source Code Technical Track Jiawen wen , Bangshuo Zhu The University of Sydney, Huaming Chen The University of Sydney
16:40 20m Full-paper		Where Is Self-admitted Code Generated by Large Language Models on GitHub? Technical Track Xiao Yu Zhejiang University, Lei Liu Xi’an Jiaotong University, Xing Hu Zhejiang University, Jin Liu Wuhan University, Xin Xia Zhejiang University
17:00 20m Full-paper		SMTPRT:Performance Regression Testing and Localization for SMT Solvers Across Multiple Logics Technical Track Ziyang Wang Tianjin University, Xiaohong Li Tianjin University, Lili Quan Tianjin University, Yao Zhang Tianjin University, Ruitao Feng Southern Cross University, Zhiping Zhou