Agenda
mars
-
14:0015:00
In automated learning problems, the task is to find a model that maps given inputs to their corresponding outputs as accurately as possible. Over the past 30 years, machine learning and deep learning have achieved tremendous success in solving this type of problem. However, while the resulting models can be used to make predictions, they offer limited interpretability, i.e. they provide little insight into *how* they solve the problem. For instance, if we train a recurrent neural network to predict whether a sequence of events will lead to a crash, the model cannot describe the sequences of events that lead to crashes and provide solutions to remediate the issue. Program synthesis is a framework for solving learning problems with models that are programs in a domain-specific language, which allows creating interpretable models in the domain of the problem.
In this talk, I will present an enumerative approach for learning Linear Temporal Logic (LTL) formulas from data. I will begin with an introduction to program synthesis, using examples from program de-obfuscation and anomaly explanation. In the second part, I will present the main techniques used in our algorithm: observational equivalence and domination, two pruning techniques used to reduce the search space, and a connection between LTL Learning and the Boolean Set Cover problem. Finally, I will discuss the engineering choices we made when implementing this algorithm in Bolt, an open-source tool available at https://github.com/SynthesisLab/Bolt.
This talk is based on joint work with Nathanaël Fijalkow, Théo Matricon, Baptiste Mouillon and Pierre Vandenhove.
FrançaisLaBRI
avril
-
14:0018:00
Les bibliothèques logicielles sont largement utilisées dans le développement logiciel moderne par les développeurs afin d'intégrer dans une application des fonctionnalités déjà implémentées par d'autres développeurs. Une telle dépendance à du code tiers pose des problèmes de maintenance, de compatibilité et d'évolution, tant pour les développeurs de clients que pour ceux de bibliothèques. Dans cette thèse, nous analysons la relation et les frontières qui existent entre les bibliothèques et les clients. Une particularité des applications utilisant des bibliothèques est la présence et la consommation d'interfaces de programmation d'applications (APis). Ces APis constituent la principale frontière d'interaction que le développeur utilise pour consommer une fonctionnalité spécifique d'une bibliothèque. Cette frontière permet le transfert de données dans les deux sens, du client vers la bibliothèque, et de la bibliothèque vers le client. Les développeurs de bibliothèques manquent souvent de connaissances sur les usages réels de leurs bibliothèques, ce qui empêche une évolution correcte et sûre. À l'inverse, les développeurs de clients rencontrent souvent des difficultés à trouver un équilibre entre la mise à jour vers la dernière version de leurs dépendances et le maintien de la compatibilité sans casser leur code. En effet, la mise à jour des dépendances expose les clients au risque de changements cassants (BCs) provenant de leurs dépendances. Bien que certains travaux existent déjà sur certains types de problèmes de compatibilité, d'autres restent inexplorés. Nous proposons, en nous appuyant sur l'existence de telles frontières, de nouvelles méthodes pour aider les bibliothèques à comprendre leurs usages et les clients à comprendre les changements de comportement auxquels ils sont confrontés.
Amphi LaBRI -
12:3013:00
L’intervenant est François Godin, chargé de projets : données de la recherche, responsable de l'Atelier bordelais de la donnée de recherche (ABDo) - Service Transversal Soutien à la Recherche (DIRDOC).
Présentation synthétique des principes FAIR et de leur rôle dans l’ouverture des données de recherche. Il vise à clarifier les enjeux, les obligations et les bénéfices associés à une gestion responsable et partageable des données.
Ce format court (30 min) a pour objectif de sensibiliser aux enjeux et pratiques de la science ouverte toute la communauté universitaire de Bordeaux, et particulièrement les chercheurs et doctorants.
Webinaire