Invited Speakers
Keynote: Building a Safer Open Source Supply Chain with Software Heritage, the Great Library of Source Code
Speakers Stefano Zacchiroli, Télécom Paris, Polytechnic Institute of Paris
Date Wednesday, 11 June
Abstract
The Software Heritage initiative has assembled the largest existing archive of publicly available software source code and associated development history, for more than 20 billion unique source code files and 5 billion unique commits, coming from more than 350 million projects.
In this talk we will review the project background and current status with a focus on its applications to secure the open source software supply chain. Software Heritage provide source code traceability at the scale of all public code with strong integrity guarantees.
Short Bio
Stefano Zacchiroli is full professor of computer science at Télécom Paris, Polytechnic Institute of Paris. His current research interests span digital commons, open source software engineering, computer security, and the software supply chain. He is co-founder and CSO (Chief Scientific Officer) of Software Heritage, the largest public archive of software source code. He is a former 3-times Debian project leader and a former board director of the Open Source Initiative (OSI). He is recipient of the 2015 O'Reilly Open Source Award and of the 2022 Google Award for Inclusion Research.
Keynote: Certification of Machine Learning Based System - Contribution of Formal Verification
Speakers Claire Pagetti, ONERA
Date Thursday, 12 June
Abstract
Machine learning applications have been gaining considerable attention in the field of transportation. However, their use in real-life operational safety-critical products, in particular in the aeronautical domain subject to stringent certification, raises several issues regarding functional correctness, compliance with requirements, formal verification, safety or implementation. In this talk, we will briefly present the current guidelines for integrating ML algorithms in airborne systems, with a focus on the verifiability aspect. We will then see some promising formal verification results on surrogate models and on object detection models.
Short Bio
Claire Pagetti is a senior research scientist at ONERA. She holds an industrial chair in the ANITI
cluster on "Embeddability and safety assurance of ML-based systems under certification". Her fields
of interest concern the safe implementation of safety critical applications on avionic platforms.
She has contributed to several industrial, European and French projects that lead to several
publications and industrial developments.
https://www.onera.fr/fr/staff/claire-pagetti
Invited Talk: Language ownership: key moments in the lifetime of Ada
Speakers Tullio Vardanega, University of Padua
Date Wednesday, 11 June
Abstract
Who is the owner of a programming language? The notion of ownership has a legal connotation, which revolves around intellectual or commercial property rights. Ownership associates with responsibility. Linguists tell us that (natural) languages emerge from social requirements and evolve with the growth of the social fabric of the linguistic community. In some sense, this should also be true of programming languages. Which means that ownership is a social responsibility. There are moments in the life of programming languages where very little is required of some members of the language community, as most – if not all – seems to happen via paid roles and tasks. There are other times, however, in which the economic sustainability of those paid roles and tasks is threatened. It is at those times especially that the entire language community, regardless of the assigned roles in it, is urged to become more directly responsible for the continued existence of the language. This is one such moment, I think, for Ada, and this understanding has prompted me into action, which in this talk I would like to extend to the audience.
Short Bio
Tullio Vardanega holds an MSc from the University of Pisa, IT (1986), and a PhD from the Technical University of Delft, NL (1998). After working as PI at a small consultancy firm at Pisa between 1987 and 1991, he was with the European Space Agency in the Netherlands between 1991 and 2001. Since January 2002, he works at the University of Padua, Italy. Owing to the rich fabric of industrial and academic contacts he built over time, he has run numerous collaborative projects, on international and national research funding. In addition to being a long-time member of IEEE and ACM, he is the Italian delegate in technical expert groups of ISO/IEC JTC1/SC22: WG9 (Ada) and WG23 (Programming Language Vulnerabilities). From 2004 until early 2024, he was the chairperson of Ada-Europe, before helping to found the Ada User Society, in an effort to ensure the continuation of Ada as international standard.