IFIP Working Group 10.4
Dependable Computing and Fault Tolerance

81st Meeting

Virtual

January 20-22, 2022

 

Meeting Host

  Elmootazbellah Elnozahy, KAUST, SA

 


Program-at-a-Glance and Contents

Workshop
 AI and Dependability: And the Twain Shall Meet

Workshop 
Coordinators

  Elmootazbellah Elnozahy, KAUST, SA

  Marco Vieira, University of Coimbra, PT

  Karthik Pattabiraman, University of British Columbia, CA

 

Introduction

Day 1 - Session 1

Day 1 - Session 2

Day 2 - Session 1

Day 2 - Session 2

Research Reports

Business Meeting


Workshop AI and Dependability: And the Twain Shall Meet

January 20-22, 2022 (Thursday to Saturday)

Introduction to the Meeting

14:00 Meeting Start: Introduction to the Meeting and Workshop

Karthik Pattabiraman, University of British Columbia, CA

 


Day 1 - Session 1: Software Engineering and Testing
Chair: Yair Amir, Johns Hopkins University, US

14:10 Software Dependability Modeling with A Data-Driven AI Paradigm

Michael Lyu, CUHK, Hong Kong

14:50 Trustworthy Machine Learning-Enabled Systems

Lionel Briand, University of Ottawa, CA


Day 1 - Session 2: Self-Driving Cars and Safety
Chair: Cristina Nita-Rotaru, Northeastern University, US

15:40 Can we Rely on Self-Driving Cars? Evaluation and Mitigation of Neutron-Induced Errors in Convolutional Neural Networks for Autonomous Vehicles
PaoloRech, University of Trento, IT

16:20 Safety-critical Systems with Machine Learning Components: Challenges and Solutions
Daniel Schneider, Fraunhofer IESE, DE


Day 2 - Session 1: Safety and other considerations
Chair: Lorenzo Strigini, City University, London, GB

14:00 Integrating Physiological Monitoring in the Industry
André Lourenço, CardioID, PT

14:40 What Safety Challenges for Autonomous Systems Would Benefit from Research?
Timothy Tsai, Nvidia, US


Day 2 - Session 2: Summary and Free Form Discussion

Day 1 - Session 1
Andrea Cecccarelli, University of Florence, IT

Day 1 - Session 2
Domenico Cotroneo, University of Naples, IT

Day 2 - Session 1
António Casimiro, University of Lisbon, PT


Research Reports

Autonomous Vehicles: Safety Measures and Benchmarks for Perception & Cognition Functions
Jay Lala, Raytheon, US

Trust & Governance for Autonomous Vehicle Deployment (video)
Philip Koopman, CMU, US

The Threat of AI Driven Smart Malware
Zbigniew Kalbarczyk, University of Illinois at Urbana–Champaign, US

Daubert Meets Dependability
Roy Maxion, CMU, USA

 

Business Meeting

The State of the IFIP WG 10.4
Elmootazbellah Elnozahy, KAUST, SA

IFIP WG 10.4 - (Draft of) Ideas for the Future
Marco Vieira, University of Coimbra, PT