FSE 2025
Mon 23 - Fri 27 June 2025 Trondheim, Norway
co-located with ISSTA 2025
Mon 23 Jun 2025 11:40 - 12:00 at Aurora B - Bug Detection Chair(s): Lingming Zhang

Increasingly popular Robot Operating System (ROS) framework allows building robotic systems by integrating newly developed and/or reused modules, where the modules can use different versions of the framework (e.g., ROS1 or ROS2) and programming language (e.g. C++ or Python). The majority of such robotic systems’ work happens in callbacks. The framework provides various elements for initializing callbacks and for setting up the execution of callbacks. It is the responsibility of developers to compose callbacks and their execution setup elements, and hence can lead to inconsistencies related to the setup of callback execution due to developer’s incomplete knowledge of the semantics of elements in various versions of the framework. Some of these inconsistencies do not throw errors at runtime, making their detection difficult for developers. We propose a static approach to detecting such inconsistencies by extracting a static view of the composition of robotic system’s callbacks and their execution setup, and then checking it against the composition conventions based on the elements’ semantics. We evaluate our ROSCallBaX prototype on the dataset created from the posts on developer forums and ROS projects that are publicly available. The evaluation results show that our approach can detect real inconsistencies.

Mon 23 Jun

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

10:30 - 12:20
Bug DetectionResearch Papers / Industry Papers / Demonstrations / Journal First at Aurora B
Chair(s): Lingming Zhang University of Illinois at Urbana-Champaign
10:30
20m
Talk
Yuga: Automatically Detecting Lifetime Annotation Bugs in the Rust Language
Journal First
Vikram Nitin Columbia University, Anne Mulhern Red Hat Inc, Sanjay Arora Red Hat Inc, Baishakhi Ray Columbia University
10:50
10m
Talk
SpecChecker-Int: An Extensible Concurrency Bugs Detection Tool for Interrupt-driven Embedded Software
Demonstrations
Boxiang Wang Beijing Sunwise Information Technology Ltd, Chao Li Beijing Institute of Control Engineering; Beijing Sunwise Information Technology, Rui Chen Beijing Institute of Control Engineering; Beijing Sunwise Information Technology, Sheng Wang Beijing Sunwise Information Technology Ltd, Chunpeng Jia Beijing Sunwise Information Technology Ltd, Mengfei Yang China Academy of Space Technology
11:00
20m
Talk
dl²: Detecting Communication Deadlocks in Deep Learning Jobs
Industry Papers
Yanjie Gao Microsoft Research, Jiyu Luo University of Science and Technology of China, Haoxiang Lin Microsoft Research, Hongyu Zhang Chongqing University, Ming Wu Zero Gravity Labs, Mao Yang Microsoft Research
DOI Pre-print
11:20
20m
Talk
Detecting Metadata-Related Bugs in Enterprise Applications
Research Papers
Md Mahir Asef Kabir Virginia Tech, Xiaoyin Wang University of Texas at San Antonio, Na Meng Virginia Tech
DOI
11:40
20m
Talk
ROSCallBaX: Statically Detecting Inconsistencies In Callback Function Setup of Robotic Systems
Research Papers
Sayali Kate Purdue University, Yifei Gao Purdue University, Shiwei Feng Purdue University, Xiangyu Zhang Purdue University
DOI
12:00
20m
Talk
Enhancing Web Accessibility: Automated Detection of Issues with Generative AI
Research Papers
Ziyao He University of California, Irvine, Syed Fatiul Huq University of California, Irvine, Sam Malek University of California at Irvine
DOI

Information for Participants
Mon 23 Jun 2025 10:30 - 12:20 at Aurora B - Bug Detection Chair(s): Lingming Zhang
Info for room Aurora B:

Aurora B is the second room in the Aurora wing.

When facing the main Cosmos Hall, access to the Aurora wing is on the right, close to the side entrance of the hotel.

:
:
:
: