Responsibilities

Since 2024, I am in charge of the M1 Mosig interntational program. Please find more resources about this program at the following links:

• Mosig program website
• M1 Mosig website

Teaching

Please find bellow some of the material I use during my lectures and labs.

• Tutorials about the use of public Cloud platforms
• Principles of Operating Systems and Concurrent Programming
• Distributed Systems
• Cloud Computing, from infrastructure to applications
• Systèmes d’Exploitation
• Formation Devops (Conteneurisation et Orchestration)
• DevOps
• Parallel Algorithms and Programming
• Material from the previous years

Tutorials about the use of public Cloud platforms

• Tutorials on Google Cloud

Principles of Operating Systems and Concurrent Programming

• 2024-2025

• Master 1

  • Thread Synchronization Primitives
  • Thread Synchronization Implementation

Distributed Systems

• 2024-2025

• Master 2

  • Introduction
  • The ordering of events
  • Session 1 – Exercises
  • Logical time
  • Session 2 – Exercises
  • Abstractions and failure detectors
  • Reliable broadcast
  • Session 4 – Exercises
  • Consensus
  • Session 5 – Exercises
  • Session 6 – Exercises

Cloud Computing, from infrastructure to applications

• 2024-2025

• Master 2

Systemes d’Exploitation

• 2024-2025
• L3 MI

• In French

  • Introduction
  • Les processus
  • Fichiers et entrées-sorties
  • Redirections et communication inter-processus
  • Sécurité

Formation Devops (Conteneurisation et Orchestration)

• 2024-2025
• M2 GI

• In French

  • Page web de la formation

DevOps

• 2024-2025
• Master 1

• In French

  • Introduction
  • Introduction à Git
  • Les Builders
  • Junit
  • Couverture de code
  • Workflows Git
  • Revue de code
  • Maven
  • Intégration continue
  • Les conteneurs

Old Material

Parallel Algorithms and Programming

• Master 1

  • Introduction
  • Performance and challenges
  • Parallel architectures and programming models
  • OpenMP
  • Collective operations
  • Introduction to MPI
  • Distributed-memory algorithms
  • Interconnection networks

Data Management in Large Scale Distributed Systems (Old Material)

• Master 2

  • Introduction
  • MapReduce and Hadoop
  • Apache Spark
  • Stream Processing
  • NoSQL Databases
  • File Formats

DevOps (Old Material)

• Master 1

• In French

  • Introduction
  • Deboguer
  • Introduction à Git
  • Les Builders
  • Junit
  • Les conteneurs (The following additional notes complement the slides: Notes sur les conteneurs)
  • Couverture de code
  • Les forges
  • Maven
  • Les numéros de version
  • Intégration continue

Convex and Distributed Optimization (Old Material)

• Master 2

  • Introduction to Spark
  • Instructions for installing Spark