Efficient Floating-point Error Detection for Numerical Programs via Error-Free Transformations (Poster) (APSEC 2024 - ERA - Early Research Achievements)

Who

Wei Yao, Zhang Jingke, Xin Yi

Track

APSEC 2024 ERA - Early Research Achievements

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

Wed 4 Dec 2024 14:00 - 17:30 at Grand Hall Foyer - Posters

Abstract

This paper presents EFTD, a novel floating-point error detection method using EFT and stochastic progressive random sampling for multi-input programs. Compared to the state-of-the-art FPGen, EFTD detects higher errors on 13 out of 21 programs with an average detection time of 5 minutes, significantly outperforming FPGen’s 2-hour average.

Wei Yao

Changsha University of Science & Technology

China

Zhang Jingke

National University of Defense Technology;Changsha University of Science & Technology

China

Xin Yi

National University of Defense Technology

China

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

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

14:00 - 17:30	PostersERA - Early Research Achievements / Technical Track at Grand Hall Foyer

14:00 3h30m Poster		A two-stage approach for GitHub issue links identification and classification (Poster) ERA - Early Research Achievements Yingying He Nanjing University of Aeronautics and Astronautics, Wenhua Yang Nanjing University of Aeronautics and Astronautics
14:00 3h30m Poster		AFLGo_D: A Novel Power Schedule Scheme Considering Multiple Factors Dynamically for Directed Fuzzing (Poster) Technical Track Wang Jiaxin , Zhitao He School of Computer Science and Engineering, Beihang University
14:00 3h30m Poster		MRTCNN: A Lightweight Approach for Predicting Metamorphic Relations (Poster) Technical Track Bo Yang Beijing Forestry University, Huai Liu Swinburne University of Technology, Xu Wang North China University of Technology
14:00 3h30m Poster		Arising Challenges for Assuring Maritime Software Reliability in the AI Era (Poster) ERA - Early Research Achievements Shuai Wang DNV AS, Knut Erik Knutsen DNV AS
14:00 3h30m Poster		Smells of Misunderstanding in File Path Patterns within Dockerignore (Poster) ERA - Early Research Achievements Tomoki Nakamaru The University of Tokyo
14:00 3h30m Poster		Efficient Floating-point Error Detection for Numerical Programs via Error-Free Transformations (Poster) ERA - Early Research Achievements Wei Yao Changsha University of Science & Technology, Zhang Jingke National University of Defense Technology;Changsha University of Science & Technology, Xin Yi National University of Defense Technology
14:00 3h30m Poster		Difference Syntax Trees for Characterising Student in Programming Course (Poster) ERA - Early Research Achievements Kouta Aoki National Institute of Technology (KOSEN), Nara College, Hidetake Uwano National Institute of Technology, Nara College, Japan
14:00 3h30m Poster		CEGen: Cause-Effect Graph Generation Using Large Language Models (Poster) Technical Track Hiroyuki Kirinuki NTT