Malo MONIN

Dans le cadre du M1 SIF, les étudiants réalisent un projet de recherche au cours de l’année à l’IRISA, au rythme d’une journée par semaine.

Mon projet, réalisé dans l’équipe DiverSE et encadré par Djamel Eddine Khelladi et Arnaud Blouin, porte sur l’utilisation de l’outil HyperAST afin de comprendre l’apparition progressive des failles de sécurité dans le code.

As part of the M1 SIF curriculum, students work on a research projet one day each week at IRISA.

I realize my project within the DiverSE team, supervized by Djamel Eddine Khelladi et Arnaud Blouin. The aim is to use HyperAST to improve our understanding of the emergence of security breaches in code.

Dans le cadre du M1 SIF à l’ENS de Rennes, je suis ou j’ai suivi des cours dans les domaines scientifiques suivants :

• compilation (Simon Rokicki),
• model checking (Sophie Pinchinat),
• analyse et conception formelles de logiciels (Thomas Genet),
• logique et représentation des connaissances (Guillaume Aucher),
• systèmes d’exploitation (Isabelle Puaut),
• théorie de la complexité (Thomas Seiller),
• théorie de l’information (Éric Fabre),
• calcul haute performance (Martin Quinson),
• épistémologie (Filipe Drapeau-Contim, Olivier Ridoux),
• informatique et Anthropocène (Simon Castellan).

Dans le cadre de ces enseignements, les langages C et Scala, ainsi que l’assistant de preuve Isabelle/HOL et le model checker NuSMV sont utilisés.

Le cursus contient également un module sur la réalisation de présentations scientifiques, ainsi que de nombreux séminaires et des cours d’anglais.

Plus d’informations sont disponibles sur la page du M1 SIF.

As part of this first year of master, I follow, or have followed, courses in the following scientific fields:

• Compilation (Simon Rokicki),
• Model checking (Sophie Pinchinat),
• Software formal analysis and design (Thomas Genet),
• Knowledge representation and reasoning (Guillaume Aucher),
• Operating systems (Isabelle Puaut),
• Computational complexity theory (Thomas Seiller),
• Information theory (Éric Fabre),
• High performance computing (Martin Quinson),
• Epistemology (Filipe Drapeau-Contim, Olivier Ridoux),
• Computer science and Anthropocene (Simon Castellan).

In those courses, we use C, Scala, the Isabelle/HOL proof assistant, and the NuSMV model checker.

I also have a course on making scientific presentations, as well as many seminars, and English classes.

More information is available on the webpage for M1 SIF (in French).

Stage de recherche de huit semaines au sein de l’équipe Cambium, encadré par Florian Angeletti.

De petites erreurs dans les modules OCaml peuvent facilement générer des messages d’erreur gigantesques aussi peu lisibles qu’informatifs, bien que techniquement corrects. En effet, certains modules contiennent plusieurs milliers de champs. Détecter des erreurs de frappe dans leurs noms peut considérablement améliorer les messages, en proposant des suggestions type « did you mean » au lieu d’une longue liste de champs manquants. Afin d’afficher ces suggestions en temps raisonnable, nous avons développé une manière de les calculer efficacement en utilisant une ingénieuse combinaison d’algorithmes et structures de données courants.

Durant ce stage, nous avons exploré une manière d’améliorer les messages d’erreurs liés aux modules en OCaml en détectant des erreurs de frappe efficacement, à l’aide d’une ingénieuse combinaison d’algorithmes et de structures de données. Ce travail a été implémenté dans un fork du compilateur OCaml et fera bientôt l’objet d’une pull request.

Le rapport de stage (en anglais) est disponible ici.

Eight weeks internship within the Cambium team, supervized by Florian Angeletti.

Small mistakes in OCaml modules often result in huge error messages that are both hard to read and uninformative, although technically correct. Indeed, some modules contain many thousands of items. Detecting typos in field names can greatly improve error messages by providing a few “did you mean”-like suggestions to the user instead of a long list of missing fields. In order to display those hints in reasonable time, we have explored a way to compute them efficiently using an ingenious combination of commonly known data structures and algorithms.

During this internship, we explored a way to improve OCaml module error messages by detecting spelling mistakes efficiently using an ingenious combination of algorithms and data structures. An implementation of this work in a fork of the OCaml compiler has been done, and will soon be proposed as a pull request on the main compiler branch.

The internship report is available here.

Dans le cadre de la L3 SIF à l’ENS de Rennes, j’ai suivi des cours dans les domaines scientifiques suivants :

• théorie des langages de programmation (David Baelde),
• langages formels (Gilles Lesventes),
• algorithmique (François Schwarzentruber),
• logique (David Baelde),
• systèmes (Martin Quinson),
• architecture (Steven Derrien),
• génie logiciel (Martin Quinson),
• algorithmique distribuée (Davide Frey, George Giakkoupis),
• traitement d’images (Emmanuel Caruyer),
• réseaux (Guillaume Didier),
• probabilités et statistiques (François Schwarzentruber).

Dans le cadre de ces enseignements, les langages C, C++, OCaml et Python sont utilisés, ainsi que l’assembleur RISC-V.

Le cursus contient également un module de pédagogie, ainsi que de nombreux séminaires et des cours d’anglais.

Plus d’informations sont disponibles sur la version archivée de page de la L3 SIF en février 2024.

As part of my third year of licence, I followed courses in the following scientific fields:

• Programming language theory (David Baelde),
• Formal languages (Gilles Lesventes),
• Algorithms (François Schwarzentruber),
• Logic (David Baelde),
• Systems programming (Martin Quinson),
• Architecture (Steven Derrien),
• Software engineering (Martin Quinson),
• Distributed algorithms (Davide Frey, George Giakkoupis),
• Digital image processing (Emmanuel Caruyer),
• Networks (Guillaume Didier),
• Probability and statistics (François Schwarzentruber).

In those courses, we use C, C++, OCaml, and Python, as well as RISC-V assembly.

I also had a pedagogy module, as well as many seminars, and English classes.

More information is available on the archived february 2024 webpage for L3 SIF (in French).

La filière MP2I/MPI est destinée aux élèves souhaitant mettre l’accent sur l’informatique. Des notions telles que la théorie de la complexité, les langages formels et la logique sont enseignées, et les langages C, OCaml et SQL sont utilisés.

Les préparationnaires y étudient également intensément les mathématiques et la physique.

The MP2I/MPI pathway is part of the French “CPGE” system, which is an intensive two-year preparation program for entrance exams to grandes écoles, such as ENS Rennes. It corresponds to the first two years of licence. This pathway focuses specifically on mathematics, computer science, and physics. Students follow courses on computational complexity theory, formal languages, and logic. Studied languages are C, OCaml, and SQL.

Baccalauréat général (2021).

Mention « Très bien ». Spécialités Numérique et sciences informatiques, Mathématiques et Physique-Chimie avec l’option Mathématiques expertes. Section européenne espagnole.

La spécialité NSI introduit aux concepts d’informatique de base tels que les graphes, la récursivité ou la programmation orientée objet.

Baccalauréat général (2021).

Very high honors (mention « Très bien »). Majors: computer science, mathematics and physics & chemistry.

The computer science major introduces students to basic topics such as graph theory, recursion, and object oriented programming.