Keynotes
Fuyuki Ishikawa
Trustworthy & Smart Software Engineering Lab, National Institute of Informatics, Tokyo, Japan
Detecting, Analyzing, and Addressing "Faults" in Automated Driving Systems
Abstract
As autonomous systems, particularly automated driving, rapidly advance, identifying and resolving system "faults" has become a crucial area of research. These systems rely on diverse implementation techniques, such as optimization and machine learning, making it challenging to detect, analyze, and address failures. Additionally, the inherent uncertainty and complexity of real-world requirements and environments further complicate the process. In this talk, we present our collaborative research with the Japanese automotive industry. Our efforts focus on two key areas: simulator-based testing, analysis, and repair of optimization-driven control systems, and the development of safety-aware repair techniques for learning-based perception systems to ensure performance alignment for safety.
Jianjun Zhao
Faculty of Information Science and Electrical Engineering, Kyushu University, Fukuoka, Japan
Debugging Quantum Programs: Challenges and Solutions
Abstract
As quantum computing advances, quantum program debugging presents unique challenges due to the complexity of quantum algorithms and hardware. This talk will explore innovative approaches for finding and fixing bugs in quantum software, including recent advancements like the Bugs4Q benchmark and the use of ChatGPT for automated program repair. We will examine the limitations of traditional debugging techniques and introduce strategies tailored to quantum systems, drawing insights from research on quantum-specific bug patterns and repair methods. Additionally, the talk will review current tools designed to assist in debugging quantum programs, highlighting their effectiveness and potential improvements. Finally, we will briefly discuss future directions to enhance the reliability and robustness of quantum software.