SMTPRT:Performance Regression Testing and Localization for SMT Solvers Across Multiple Logics (APSEC 2025 - Technical Track)

Who

Ziyang Wang, Xiaohong Li, Lili Quan, Yao Zhang, Ruitao Feng, Zhiping 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 17:00 - 17:20 at (Session A) lotus room - Session 5A: Precision & Code Quality (Technical Track) Chair(s): Yihan Liao

Ziyang Wang

Tianjin University

Xiaohong Li

Tianjin University

China

Lili Quan

Tianjin University

China

Yao Zhang

Tianjin University

China

Ruitao Feng

Southern Cross University

Australia

Zhiping Zhou

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 (Session A) lotus room Chair(s): Yihan Liao City University of Hong Kong

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