FormaliSE 2023
Dates to be announced Melbourne, Australia
co-located with ICSE 2023
ICSE 2023 (series) / FormaliSE 2023 (series) / Melbourne Convention Exhibition Centre | MCEC /

Room information: Virtual - Zoom for CAIN

VenueMelbourne Convention Exhibition Centre | MCEC
Room nameVirtual - Zoom for CAIN
Floor0
Room InformationNo extra information available
Program

You're viewing the program in a time zone which is different from your device's time zone change time zone

Mon 15 May

Displayed time zone: Hobart change

17:00 - 17:15
Welcome - OnlineCAIN Papers at Virtual - Zoom for CAIN

Click here to Join us over zoom

17:15 - 18:45
Data & Model OptimizationCAIN Papers / CAIN Posters / CAIN Industrial Talks at Virtual - Zoom for CAIN
Chair(s): Justus Bogner University of Stuttgart

Click here to Join us over zoom

Click here to watch the session recording on Youtube

17:15
15m
Short-paper
Automatically Resolving Data Source Dependency Hell in Large Scale Data Science Projects
CAIN Papers
Laurent Boué Microsoft, Pratap Kunireddy Microsoft, Pavle Subotic Microsoft Azure
Pre-print
17:30
15m
Short-paper
Dataflow graphs as complete causal graphs
CAIN Papers
Andrei Paleyes Department of Computer Science and Technology, Univesity of Cambridge, Siyuan Guo Max Planck Institute for Intelligent Systems, Bernhard Schölkopf MPI Tuebingen, Neil D. Lawrence Department of Computer Science and Technology, Univesity of Cambridge
Pre-print
17:45
20m
Long-paper
Uncovering Energy-Efficient Practices in Deep Learning Training: Preliminary Steps Towards Green AIDistinguished paper Award Candidate
CAIN Papers
Tim Yarally Delft University of Technology, Luís Cruz Delft University of Technology, Daniel Feitosa University of Groningen, June Sallou Delft University of Technology, Arie van Deursen Delft University of Technology
Pre-print
18:05
15m
Short-paper
Prevalence of Code Smells in Reinforcement Learning Projects
CAIN Papers
Nicolás Cardozo Universidad de los Andes, Ivana Dusparic Trinity College Dublin, Ireland, Christian Cabrera Department of Computer Science and Technology, Univesity of Cambridge
Pre-print Media Attached
18:20
20m
Long-paper
Automotive Perception Software Development: An Empirical Investigation into Data, Annotation, and Ecosystem Challenges
CAIN Papers
Hans-Martin Heyn University of Gothenburg & Chalmers University of Technology, Khan Mohammad Habibullah University of Gothenburg, Eric Knauss Chalmers | University of Gothenburg, Jennifer Horkoff Chalmers and the University of Gothenburg, Markus Borg CodeScene, Alessia Knauss Zenseact AB, Polly Jing Li Kognic AB
Pre-print
19:00 - 20:30
Training & LearningCAIN Papers at Virtual - Zoom for CAIN
Chair(s): Rrezarta Krasniqi University of North Carolina at Charlotte

Click here to Join us over zoom

Click here to watch the session recording on YouTube

19:00
20m
Long-paper
Replay-Driven Continual Learning for the Industrial Internet of Things
CAIN Papers
Sagar Sen , Simon Myklebust Nielsen University of Oslo, Norway, Erik Johannes Husom SINTEF Digital, Arda Goknil SINTEF Digital, Simeon Tverdal SINTEF Digital, Leonardo Sastoque Pinilla Centro de Fabricación Avanzada Aeronáutica (CFAA)
19:20
20m
Long-paper
Towards Understanding Model Quantization for Reliable Deep Neural Network Deployment
CAIN Papers
Qiang Hu University of Luxembourg, Yuejun GUo University of Luxembourg, Maxime Cordy University of Luxembourg, Luxembourg, Xiaofei Xie Singapore Management University, Wei Ma Nanyang Technological University, Singapore, Mike Papadakis University of Luxembourg, Luxembourg, Yves Le Traon University of Luxembourg, Luxembourg
19:40
20m
Long-paper
Exploring Hyperparameter Usage and Tuning in Machine Learning ResearchDistinguished paper Award Candidate
CAIN Papers
Sebastian Simon Leipzig University, Nikolay Kolyada , Christopher Akiki Leipzig University, Martin Potthast Leipzig University, Benno Stein Bauhaus-University Weimar, Norbert Siegmund Leipzig University
Pre-print
20:00
15m
Short-paper
An Initial Analysis of Repair and Side-effect Prediction for Neural Networks
CAIN Papers
Yuta Ishimoto Kyushu University, Ken Matsui Kyushu University, Masanari Kondo Kyushu University, Naoyasu Ubayashi Kyushu University, Yasutaka Kamei Kyushu University
Pre-print
20:45 - 22:15
Poster - OnlineCAIN Posters / CAIN Papers at Virtual - Zoom for CAIN
Chair(s): Mona Rahimi Northern Illinois University, Karthik Vaidhyanathan IIIT Hyderabad

Click here to Join us over zoom

Click Here to watch the session recording on YouTube

20:45
6m
Poster
AI Living Lab: Quality Assurance for AI-based Health systems
CAIN Posters
Valentina Lenarduzzi University of Oulu, Minna Isomursu University of Oulu
20:51
6m
Poster
AI Planning Software Development Lifecycle
CAIN Posters
Ilche Georgievski University of Stuttgart, Germany
File Attached
20:57
6m
Poster
Algorithm Debt: Challenges and Future Paths
CAIN Posters
Emmanuel Iko-Ojo Simon Australian National University, Melina Vidoni Australian National University, Fatemeh Hendijani Fard University of British Columbia
21:03
6m
Poster
Enabling Machine Learning in Software Architecture Frameworks
CAIN Posters
Armin Moin University of California, Santa Barbara, Atta Badii University of Reading, United Kingdom, Stephan G¨unnemann School of Computation, Information and Technology, Technical University of Munich, Munich, Germany, Moharram Challenger University of Antwerp
DOI Pre-print
21:09
6m
Poster
Extensible Modeling Framework for Reliable Machine Learning System Analysis
CAIN Posters
Jati Hiliamsyah Husen Waseda University, Hironori Washizaki Waseda University, Hnin Thandar Tun Waseda University, Japan, Nobukazu Yoshioka Waseda University, Japan, Yoshiaki Fukazawa Waseda University, Hironori Takeuchi Musashi University, Hiroshi Tanaka Fujitsu Limited, Tokyo, Japan, Kazuki Munakata Fujitsu Limited, Tokyo, Japan
21:15
6m
Poster
How Federated Machine Learning Helps Increase the Mutual Benefit of Data-Sharing Ecosystems
CAIN Posters
Iva Krasteva Sofia University, GATE Institute, Boris Kraychev GATE Institute, Ensiye Kiyamousavi GATE Institute
21:21
6m
Poster
Maintaining and Monitoring AIOps Models Against Concept Drift
CAIN Posters
Lorena Poenaru-Olaru TU Delft, Luís Cruz Delft University of Technology, Jan S. Rellermeyer Leibniz University Hannover, Arie van Deursen Delft University of Technology
21:27
6m
Poster
Reproducibility Requires Consolidated Artifacts
CAIN Posters
Iordanis Fostiropoulos University of Southern California, USA, Bowman Brown University of Southern California, USA, Laurent Itti University of Southern California, USA
21:33
6m
Poster
Tenet: A Flexible Framework for Machine Learning-based Vulnerability Detection
CAIN Posters
Eduard Costel Pinconschi Instituto Superior Técnico, University of Lisboa & INESC-ID, Sofia Reis Instituto Superior Técnico, U. Lisboa & INESC-ID, Chi Zhang , Rui Abreu Faculty of Engineering, University of Porto, Hakan Erdogmus Carnegie Mellon University, Limin Jia Carnegie Mellon University
21:39
6m
Poster
Towards Understanding Machine Learning Testing in Practise
CAIN Posters
Arumoy Shome Delft University of Technology, Luís Cruz Delft University of Technology, Arie van Deursen Delft University of Technology
Pre-print
21:45
30m
Break
Break Out Session - Online
CAIN Papers

22:30 - 23:30
Keynote - Dr. Ken PowerCAIN Papers at Virtual - Zoom for CAIN
Chair(s): Helena Holmström Olsson Malmö University

Click here to Join us over zoom

Click Here to watch the session recording on Youtube

22:30
60m
Keynote
AI Engineering in Autonomous Vehicle Development - Ken Power
CAIN Papers
Ken Power Motional

Tue 16 May

Displayed time zone: Hobart change

17:00 - 18:15
Keynote - Dr. Foutse KhomhCAIN Papers at Virtual - Zoom for CAIN
Chair(s): Ipek Ozkaya Carnegie Mellon University

Click here to Join us over zoom

Click Here to watch the session recording on YouTube

17:00
75m
Keynote
Engineering Trustworthy AI Systems - Foutse Khomh
CAIN Papers
Foutse Khomh Polytechnique Montréal
18:30 - 20:00
TrustCAIN Papers at Virtual - Zoom for CAIN
Chair(s): Zhenchang Xing CSIRO’s Data61; Australian National University

Click here to Join us over zoom

Click here to watch the session recording on YouTube

18:30
20m
Long-paper
Towards Concrete and Connected AI Risk Assessment (C2AIRA): A Systematic Mapping Study
CAIN Papers
Boming Xia CSIRO's Data61 & University of New South Wales, Qinghua Lu CSIRO’s Data61, Harsha Perera CSIRO's Data61 & University of New South Wales, Liming Zhu The University of New South Wales, Zhenchang Xing , Yue Liu CSIRO's Data61 & University of New South Wales, Jon Whittle CSIRO's Data61 and Monash University
Pre-print
18:50
20m
Long-paper
Defining Quality Requirements for a Trustworthy AI Wildflower Monitoring Platform
CAIN Papers
Petra Heck Fontys University of Applied Sciences, Gerard Schouten Fontys University of Applied Sciences
Pre-print
19:10
20m
Long-paper
Trustworthy and Robust AI Deployment by Design: A framework to inject best practice support into AI deployment pipelinesDistinguished paper Award Candidate
CAIN Papers
Andras Schmelczer Leiden University, Joost Visser Leiden University
Pre-print
19:30
15m
Short-paper
Towards Code Generation from BDD Test Case Specifications: A vision
CAIN Papers
Leon Chemnitz TU Darmstadt, David Reichenbach TU Darmstadt, Germany, Hani Aldebes TU Darmstadt, Mariam Naveed TU Darmstadt, Krishna Narasimhan TU Darmstadt, Mira Mezini TU Darmstadt
Pre-print
20:15 - 21:45
AI System DesignCAIN Papers at Virtual - Zoom for CAIN
Chair(s): Grace Lewis Carnegie Mellon Software Engineering Institute

Click here to Join us over zoom

20:15
20m
Long-paper
A Case Study on AI Engineering Practices: Developing an Autonomous Stock Trading System
CAIN Papers
Marcel Grote , Justus Bogner University of Stuttgart
Pre-print
20:35
20m
Long-paper
Engineering Challenges for AI-Supported Computer Vision in Small Uncrewed Aerial Systems
CAIN Papers
Muhammed Tawfiq Chowdhury University of Notre Dame, Jane Cleland-Huang University of Notre Dame
Pre-print
20:55
20m
Long-paper
A Meta-Summary of Challenges in Building Products with ML Components -- Collecting Experiences from 4758+ PractitionersDistinguished paper Award Candidate
CAIN Papers
Nadia Nahar Carnegie Mellon University, Haoran Zhang Carnegie Mellon University, USA, Grace Lewis Carnegie Mellon Software Engineering Institute, Shurui Zhou University of Toronto, Canada, Christian Kästner Carnegie Mellon University
Pre-print File Attached
21:15
20m
Long-paper
Design Patterns for AI-based Systems: A Multivocal Literature Review and Pattern Repository
CAIN Papers
Lukas Heiland University of Stuttgart, Germany, Marius Hauser University of Stuttgart, Germany, Justus Bogner University of Stuttgart
Pre-print
22:00 - 23:15
Panel - OnlineCAIN Papers at Virtual - Zoom for CAIN
Chair(s): Jan Bosch Chalmers University of Technology

Click here to Join us over zoom

Click here to watch the session recording on Youtube

23:15 - 23:30
Closing - Online CAIN Papers at Virtual - Zoom for CAIN

Click here to Join us over zoom

Mon 15 May

Displayed time zone: Hobart change

Room17:003018:003019:003020:003021:003022:003023:0030
Virtual - Zoom for CAIN

CAIN Papers

Welcome - Online

CAIN Papers + CAIN Posters + CAIN Industrial Talks

Data & Model Optimization

CAIN Papers

Training & Learning

CAIN Posters + CAIN Papers

Poster - Online

CAIN Papers

Keynote - Dr. Ken Power

Tue 16 May

Displayed time zone: Hobart change

Room17:003018:003019:003020:003021:003022:003023:0030
Virtual - Zoom for CAIN

CAIN Papers

Keynote - Dr. Foutse Khomh

CAIN Papers

Trust

CAIN Papers

AI System Design

CAIN Papers

Panel - Online

CAIN Papers

Closing - Online

Mon 15 May

Displayed time zone: Hobart change

Room17:0015304518:0015304519:0015304520:0015304521:0015304522:0015304523:00153045
Virtual - Zoom for CAIN
CAIN Papers
Automatically Resolving Data Source Dependency Hell in Large Scale Data ...
17:15 - 17:30
CAIN Papers
Dataflow graphs as complete causal graphs
17:30 - 17:45
CAIN PapersDistinguished paper Award Candidate
Uncovering Energy-Efficient Practices in Deep Learning Training: Prelim ...
17:45 - 18:05
CAIN Papers
Prevalence of Code Smells in Reinforcement Learning Projects
18:05 - 18:20
CAIN Papers
Automotive Perception Software Development: An Empirical Investigation ...
18:20 - 18:40
CAIN Papers
Replay-Driven Continual Learning for the Industrial Internet of Things
19:00 - 19:20
CAIN Papers
Towards Understanding Model Quantization for Reliable Deep Neural Netwo ...
19:20 - 19:40
CAIN PapersDistinguished paper Award Candidate
Exploring Hyperparameter Usage and Tuning in Machine Learning Research
19:40 - 20:00
CAIN Papers
An Initial Analysis of Repair and Side-effect Prediction for Neural Net ...
20:00 - 20:15
CAIN Posters
AI Living Lab: Quality Assurance for AI-based Health systems
20:45 - 20:51
CAIN Posters
AI Planning Software Development Lifecycle
20:51 - 20:57
CAIN Posters
Algorithm Debt: Challenges and Future Paths
20:57 - 21:03
CAIN Posters
Enabling Machine Learning in Software Architecture Frameworks
21:03 - 21:09
CAIN Posters
Extensible Modeling Framework for Reliable Machine Learning System Analysis
21:09 - 21:15
CAIN Posters
How Federated Machine Learning Helps Increase the Mutual Benefit of Dat ...
21:15 - 21:21
CAIN Posters
Maintaining and Monitoring AIOps Models Against Concept Drift
21:21 - 21:27
CAIN Posters
Reproducibility Requires Consolidated Artifacts
21:27 - 21:33
CAIN Posters
Tenet: A Flexible Framework for Machine Learning-based Vulnerability De ...
21:33 - 21:39
CAIN Posters
Towards Understanding Machine Learning Testing in Practise
21:39 - 21:45
CAIN Papers
Break Out Session - Online
21:45 - 22:15
CAIN Papers
AI Engineering in Autonomous Vehicle Development - Ken Power
22:30 - 23:30

Tue 16 May

Displayed time zone: Hobart change

Room17:0015304518:0015304519:0015304520:0015304521:00153045
Virtual - Zoom for CAIN
CAIN Papers
Engineering Trustworthy AI Systems - Foutse Khomh
17:00 - 18:15
CAIN Papers
Towards Concrete and Connected AI Risk Assessment (C2AIRA): A Systemati ...
18:30 - 18:50
CAIN Papers
Defining Quality Requirements for a Trustworthy AI Wildflower Monitorin ...
18:50 - 19:10
CAIN PapersDistinguished paper Award Candidate
Trustworthy and Robust AI Deployment by Design: A framework to inject b ...
19:10 - 19:30
CAIN Papers
Towards Code Generation from BDD Test Case Specifications: A vision
19:30 - 19:45
CAIN Papers
A Case Study on AI Engineering Practices: Developing an Autonomous Stoc ...
20:15 - 20:35
CAIN Papers
Engineering Challenges for AI-Supported Computer Vision in Small Uncrew ...
20:35 - 20:55
CAIN PapersDistinguished paper Award Candidate
A Meta-Summary of Challenges in Building Products with ML Components -- ...
20:55 - 21:15
CAIN Papers
Design Patterns for AI-based Systems: A Multivocal Literature Review an ...
21:15 - 21:35