12 citations · 21 across the 11 of their papers we have counts for
7 papers · 1 filter
A Mathematics-Guided Approach to Floating-Point Error Detection
Youshuai Tan, Zhanwei Zhang, Zishuo Ding +3
Floating-point program errors can lead to severe consequences, particularly in critical domains such as military applications. Only a small subset of inputs may induce substantial…
OFP-Repair: Repairing Floating-point Errors via Original-Precision Arithmetic
Youshuai Tan, Zishuo Ding, Jinfu Chen +1
Errors in floating-point programs can lead to severe consequences, particularly in critical domains such as military, aerospace, and financial systems, making their repair a crucia…
Multi-LLM Orchestration for High-Quality Code Generation: Exploiting Complementary Model Strengths
Huashan Chen, Zhenyu Qi, Haotang Li +7
Large Language Models (LLMs) are central to automated code generation, yet most approaches use one model at every stage, from writing code to repairing and optimizing it. LLMs have…
An Empirical Study on Virtual Reality Software Security Weaknesses
Yifan Xu, Jinfu Chen, Zhenyu Qi +5
Virtual Reality (VR) has emerged as a transformative technology across industries, yet its security weaknesses, including vulnerabilities, are underinvestigated. This study investi…
Computing Floating-Point Errors by Injecting Perturbations
Youshuai Tan, Zhanwei Zhang, Jinfu Chen +3
Floating-point programs form the foundation of modern science and engineering, providing the essential computational framework for a wide range of applications, such as safety-crit…
DELA: A Novel Approach for Detecting Errors Induced by Large Atomic Condition Numbers
Youshuai Tan, Zhanwei Zhang, Jinfu Chen +3
Numerical programs form the foundation of modern science and engineering, providing essential solutions to complex mathematical problems. Therefore, errors in numerical results wou…