CAIN 2025
Sun 27 - Mon 28 April 2025 Ottawa, Ontario, Canada
co-located with ICSE 2025

This program is tentative and subject to change.

Mon 28 Apr 2025 11:25 - 11:35 at 208 - Trustworthy AI systems

Machine learning (ML) components are increasingly integrated into software products, yet their complexity and inherent uncertainty often lead to unintended and potentially hazardous consequences, both for individuals and society at large. Despite these risks, practitioners rarely adopt proactive approaches to anticipate and mitigate potential hazards before they occur. Traditional safety engineering approaches, such as Failure Mode and Effects Analysis (FMEA) and System Theoretic Process Analysis (STPA), offer promising frameworks for systematic early risk identification but are rarely adopted. In this position paper, we argue that hazard analysis should be an integral part of developing any ML-powered software product and that greater support is needed to make this process manageable for developers. By using large language models (LLMs) to partially automate a modified STPA process with human oversight at critical steps, we expect to address two key challenges: the heavy dependency on highly experienced safety engineering experts, and the time-consuming, labor-intensive nature of traditional hazard analysis, which often impedes its integration into real-world development workflows. We illustrate our approach with a running example, demonstrating that many seemingly unanticipated issues can, in fact, be anticipated.

This program is tentative and subject to change.

Mon 28 Apr

Displayed time zone: Eastern Time (US & Canada) change

11:00 - 12:30
11:00
15m
Talk
ImageBiTe: A Framework for Evaluating Representational Harms in Text-to-Image Models
Research and Experience Papers
Sergio Morales Universitat Oberta de Catalunya, Robert Clarisó Universitat Oberta de Catalunya, Jordi Cabot Luxembourg Institute of Science and Technology
11:15
10m
Talk
Approach Towards Semi-Automated Certification for Low Criticality ML-Enabled Airborne Applications
Research and Experience Papers
Chandrasekar S IIIT Hyderabad, Vyakhya Gupta IIIT Hyderabad, Prakhar Jain IIIT Hyderabad, Karthik Vaidhyanathan IIIT Hyderabad
11:25
10m
Talk
From Hazard Identification to Control Design: Proactive and AI-Supported Safety Engineering for ML-powered Systems
Research and Experience Papers
Yining Hong Carnegie Mellon University, Christopher Timperley , Christian Kästner Carnegie Mellon University
11:35
15m
Talk
Bringing Machine Learning Models Beyond the Experimental Stage with Explainable AI
Research and Experience Papers
Niels With Mikkelsen Jyske Bank, Lasse Pedersen Jyske Bank, Mansoor Hussain Jyske Bank, Victor Foged Deloitte, Ekkart Kindler Technical University of Denmark
11:50
12m
Talk
Is Generated Images Suitable for Weakness Detection?
Industry Talks
Haruki Yokoyama Fujitsu Limited, Fuyuki Ishikawa National Institute of Informatics
12:02
12m
Talk
Challenges in AI Projects for Machinery and Plant Engineering
Industry Talks
Richard Nordsiek XITASO GmbH IT & Software Solutions, Jan-Philipp Steghöfer XITASO GmbH IT & Software Solutions, Manish Bhandari XITASO GmbH IT and Software Solutions
12:14
16m
Other
Discussion
Research and Experience Papers

:
:
:
: