CS101 : algorithmique et programmation C

• Années : 2022-23, 2023-24, 2024-25, 2025-25
• Les transparents du cours (dernière mise à jour 30/12/22)
• Le cahier de TD. Une correction du TD5
• TDM (version 2022): TDM1, TDM2, TDM3 (avec tdm3.c), TDM4 (avec tdm4.c), TDM5.
• Quelques programmes du cours, des TDs, des TPs (crible, tris, entrées/sorties, etc)
• Feuille de syntaxe C.
• Correction du DM1.
• Correction du CC1.
• Examen CS101 Sujet+éléments de correction (ainsi que des commentaires de correction). Examen 2023. Examen 2024. Examen 2025.

PIX111

• Années : 2022-23, 2023-24, 2024-25, 2025-26
• énoncés version 25-26
• mini jeu 1: sudoku: énoncé pdf, et code fourni.
• mini jeu 2: pendu: énoncé pdf, et code fourni.
• mini-jeu 3 : motus: énoncé pdf et code fourni (2025)
• Quelques corrections et des questions pour se préparer à l'évaluation (2022-23): archive.
• Annale: examen PIX111 (janvier 2023): Sujet+éléments de correction, et le code associé.

CE313: architecture des microprocesseurs

• Années: 2022-23 (respo), 2023-24 (chargée de TP)
• Les transparents du cours 22-23 (partie LG + bonus)
• Le cahier de TD.
• Le TP1.
• Feuille de mini-ISA RiscV
• Exam 2022 : énoncé complet avec éléments de correction des parties 1 (questions courtes) et 2 (RISCV)

IN330/CS351 Algorithmique et programmation C

• 2022-23 (chargée de TP), 2024-25 (chargée de TD/TP).
• 2022: L'énoncé du projet , et le StarterKit, la documentation : Annexe1-MIPS, Annexe2-InstructionsMIPS.
• 2024 (IN330) : refonte du projet (avec Sébastien Michelland) : slides explicatifs, énoncé 1, énoncé 2 & 3, et code fourni 1, code fourni 2.

CS302 (All): Systèmes (fev 2023)

• Transparents du cours de processus, remplacement de O.A.
Les fichiers de demo.

CS328 (SES: 3app) et IN423 (4A FISA): Algorithmique avancée

• Nouveau cours 2023-24, passera en 4A en 2024-25 (pas d'instance en 24-25), 25-26 avec Yann Kieffer.
• Les transparents du cours
• cahier de TD.
• TP version 2023-24 (de 3h) : TP1,TP2,TP3,TP4.
• Annales : examen de session 1 (2023-24) avec éléments de correction.
• Annales : examen 2526

CS442 (EIS): Applications Synchrones

• Resp. cours depuis 2021, moitié du cours. Version 2022-23 du cours ci-dessous. Dernière instance du cours 2024-25
• Les transparents du cours (partie LG)
• Les exercices de Lustre.
• Les énoncés de TP et leurs sources sont sur le git étudiant.
• Document: lustre refman
• Annale: examen 21-22.

CS443 (IRC): Bases de données

• Respo 2 ans (dont 1/2) en 2021-22 (moitié) et 2022-23, documents transférés aux ATER qui ont repris ce cours.
• Les transparents du cours.
• Le cahier de TD 2022-23.
• Un peu de syntaxe SQL.
• Les énoncés de TP et leurs sources sont sur le git étudiant
• Annale: examen 2021.

CS444 (IRC): Compilation

• Respo entre 2021-22 à 25-26. Les documents ci dessous sont ceux de 22-23.
• Les transparents du cours.
• Le cahier de TD.
• Le cahier de TP. Les sources fournies sont sur le git étudiant (lien sur la droite).
• Feuille de mini-ISA RiscV.
• Annale: examen 2021-22.

OS430 (IRC) et SE518 (EIS): Sécurité matérielle et logicielle

• co responsable avec D. Hely depuis 23-24: partie logicielle
• documents à venir
• Les transparents du cours.
• Les TPs de la partie SW :
• Annale : examen OS430 de 23-24

SE508 (EIS): Sûreté logicielle

• Documents à venir

Compilation (ENSL et UCBL)

• Depuis 2020, la page des cours de compilation en M1 à Lyon 1 et l'ENS de Lyon est ici, et la chaîne Youtube ici
• MIF08 (compilation) : j'ai été responsable du cours de 2016 à 2020 (4 instances du cours). Les vidéos du cours 2020/21 ont été mutualisées avec CAP (voir ci-dessus)
• CAP (Compilation et Analyse de Programme, ENS de Lyon): respo du cours de 2016 à 2020.
• 2019/2020 (intensif) et 2021/2021: slides de cours.
• Version 2019/20 du cahier de TP (architecture RISCV) et du cahier de TD
• Annales (2016-2020) : mif08-annales

Autres cours

• Système (L) @ Lyon1/L2
• Architecture (L) @ Lyon1/L2
• Temps Réel(M)/Systèmes avancés @ Lyon1/FST devenu Systèmes Avancés(M) @ Lyon1/FST
• Système (M) @ Lyon1/CCI
• AlgoProg CAPES (M1 CAPES@Lyon1)
• Software Eng. and Compilation (M2) @ENSLyon
• Complexité (M1) @Lyon 1
• Program Verification (M2) @ENSLyon
• Maple (CPGE) @ Lyon

Algo, prog, etc.

• Prog Structurée (L3) @Polytech Lille
• Prog Avancée (L3) @Polytech Lille
• Info Fondamentale (M1) @ Polytech Lille
• 2011/2012 Polytech Lille Bases de Données, IMA S5 : TP et projet avec F. Hoogstoel.
• 2009-2012 Langages et traducteurs, GIS S6, avec Franck
  Seynhaeve. J'encadre les TP (Lexing/Parsing, attributs, en Lex et Accent)
• 2010-2012 Réseaux (TP), avec Xavier Redon, Les supports sont ici (GIS3)..
• 2010-11 : Analyse numérique (L3)

COURS LYON1: License3: Optimisation [MIF062] 2008/2009

• Les documents de S. Bouakaz sur la partie Algo numérique.
• Le plan du cours/PARTIE OPTIM.
• COURS EN GREVE (LG) document du 16 février (contient le td1), document du 23 février (contient le td2).
• D'après les cours de Paul Feautrier, Nicolas Thiery, ...
• Un autre support de cours en ligne : Princeton.
• La partie de Grégory Thibault : meta2.pdf
• TD1a : Résolution de systèmes Linéaires, Problèmes linéaires sous forme normale : énoncé, corrigé.
• TD2a : Algorithme du Simplexe, à la main et à l'ordi : énoncé, corrigé.
• TD3a : Simplexe et dual : énoncé, corrigé.
• LA REF : Linear Programming, Vasek Chvatal, Editor W. H. Freeman
• Une autre ref : Theory of Linear and Integer Programming by Alexander Schrijver, ed. Wiley.
• LPSOLVE : lib pour la prog linéaire : page , docu.
• CVX OPT : lib python pour l'optimisation convexe : page.
• SAGE : Open Source Mathematic Software : page.
• Quelques consignes pour rendre un tp/projet.

TD LYON1: Master1: Codage, Cryptage 2008/2009

• Master 1, UFR d'informatique, LYON1 : M1IF30, Responsable Y. Gérard.
• Deuxième Semestre
• Cours le lundi de 16h à 18h TD le lundi de 13h45 à 15h45.
• Le support de cours.
• Les partiels des années précédentes : mars05, mars06, mars07, avril08.
• La liste des projets des années précédentes. La page des projets
• Des exos de maths pour la crypto, de Dominique Duval là. Une liste de théorèmes utiles à leur résolution.
• Handbook of Applied Crypto, dispo en ligne . Un autre livre pdf : Basic Cryptographics. Quelques livres à trouver à la bibliothèque : Cryptographie appliquée, Scheier (traduction en fr, Thomson publishing) ; Introduction to Cryptography, Buchmann (Springer).
• Le site de Acrypto (asso) fournit une intéressante bibliographie et des fiches pratiques : extraire une racine modulop p, ...
• La doc de SAGE pour la crypto.
• Le projet GPG(gnu privacy guard).
• Suivi des bouquins MISC : là. Le site de la revue MISC.
• La mailing liste du cours

TD/TP LYON1: Master1: Compilation 2008/2009

• Master 1, UFR d'informatique, LYON1 : M1IF12
• 6 séances de TD, 6 séances de TP.
• Page du Cours
• Des cours de compilation ? le poly de Tanguy Risset(ENS Lyon). La page Wikipedia/Compiler, avec des livres de compils en pdf. Des transparents .
• Quelques exos de bon goût sur la page de Fabrice Rastello.
• Exos sur les grammaires attribuées : énoncé (avec un peu de correction dedans !)
• Les expressions régulières en flex sont par exemple sur cette page
• Utilisation de flex uniquement wordcount.
• Flex+Bison, avec un exemple de fichier passé en argument (exo 4 du tp1): main.c, lexer, parser, et Makefile.
• Ajouts sur le td3 (grammaires et analyseurs LL).
• TP2 : pour le groupe 1 uniquement : Instructions pour le tp2 A FINIR pour la prochaine fois !!
• Génération de code 3 adresses : voir le cours de S.Gire (pages 64 à 68) et le résumé sur la page : Cours/UBO.
• Optimisations flots de données : voir ici
• TD 5 : Table id, symboles; Génération de code 3@ et optims : énoncé td5+corrigé.

TD/TP PCI LYON1: L1, Environnement, bureautique, web, ... 2008/2009

• Premier cycle universitaire, premier semestre.
• Site de l'UE (TVL1001L pour Apogée).
• 12 séances de 2h de TP.

TD/TP Initiation à l'informatique, Linux, Langage Pascal 2007/2008

• Premier cycle Insa, 1A et 2A.
• Tout est sur le moodle du premier cycle.

TP Langages de Programmation 2 (Ocaml) (Polytech-Ricm, niveau L3, 2ième semestre) 2006/2007

• Infos : La page officielle du cours et celle spécifique aux tps.
• Emploi du temps etc : Page de la formation.
• Gr 2, jeudi 1fois/2, UFR salle 2, 9h45-13h avec Mathias Peron.
• Énoncés de tps en collaboration avec Mathias Peron :
  • TP1 MISE EN ROUTE : énoncé et éléments de correction.
  • TP2 LISTE ET ITERATEURS : énoncé, éléments de correction.
  • TP3 MODULES ET FONCTEURS : énoncé et sa feuille d'accompagnement ml, éléments de correction.
  • TP4 FLOTS/PARSING : énoncé avec ses fichiers d'accompagnement : exparsing et lecture_fichier, correction-partie1 , correction-entière , le fichier utilisé pour l'évaluation.
  • NEW !!!! Un aide-mémoire syntaxe/sémantique des flots et une mise au point expressions arithmétiques et parseurs.
  • TP5 FRACTALES énoncé, éléments de correction.
• Le ds de tp : énoncé et correction(ML)
• Attention les corrections sont des "éléments de correction" et peuvent ne pas être à jour, contiennent peu de commentaires et de tests.

TD Modèles de calcul et Validation d'algorithmes (L3 MIAGE, 2ième semestre) 2005/2006

• Infos : La page officielle du cours
• Langages réguliers : des constructions théoriques et une micro-feuille de td supplémentaire (sa correction), ainsi que des exemples d'utilisation du Lemme de l'étoile.
• Langages hors-contexte : un automate à pile pour les palindromes.
• Automates finis et automates à pile : des éléments de réponse pour le dm.
• Automates finis et automates à pile : des éléments de réponse pour le DS du lundi 13 mars 2006.
• MCAL-exam : des éléments de réponse pour l'exam du mercredi 19 avril 2006.

TD Sémantique des langages de programmation (M1, 1er semestre) 2006/2007

• Infos : La page officielle du cours.
• Des éléments de correction des exos 3 et 5 de la feuille 1.
• Transparents de sémantique du lanage while avec blocs et procédures : (!!!!!! pas garantis sans erreurs !!!!) : dyn/dyn, dyn/stat, stat/stat.
• Un exercice de génération de code et sa correction (avec la pile à l'exécution)
• L'exam et le partiel de l'an dernier.
• Le dm et l'exam de cette année, et un début de corrigé

TD Sémantique des langages de programmation (M1, 1er semestre) 2005/2006

• Infos : La page officielle du cours.
• Emploi du temps etc : Page du master Math-info/Info.
• Mon groupe est le : G4 . Horaires Lundi 9h45/11h15 f117 et Mardi 11h30/13h f114
• (vieux) Polys en 4 pages/feuilles : intro, sémantique
• Un transparent avec les règles de While en sémantique naturelle et en Sémantique structurelle.
• Une feuille à trous pour remplir les règles des procédures et des blocs du langage While en sémantique naturelle (portées statiques/dynamiques). Une feuille avec les règles et un exercice intéressant pour voir comment s'en sortir avec les appels récursifs.
• Un transparent avec les règles de déduction en Logique de Hoare.
• Un transparent avec quelques définitions/théorèmes pour prouver la terminaison.

TD Langages et Traducteurs (Polytech-Ricm, niveau M1, 1er semestre) 2005/2006

• Infos : La page officielle du cours.
• Emploi du temps etc : Page de la formation.
• Gr 2, Horaire Mardi 13h30-15h. polytech 123
• Éléments de correction des tds : td1, td2, td3, td4, td5/quick (version corrigée sans la typo), quelques précisions ici), td6, td7, td8, td9, td10, td11/12.
• Éléments de correction des exos à chercher td1bis, td2bis, td3bis, td4bis, td7bis, td8-9bis, td11-12bis.
• Des éléments de réponse pour le quick 05.
• Des éléments de réponse pour l'exam 05.

TD et TP Algo/C/Unix (L1, 1er semestre) 2004/2005

• Infos : La page INF111 de M. Périn
• Un poly de cours à l'UCBL :Arnaud.Legrand
• Un éditeur et compilateur sous windows : Dev-C++
• Avancement des td/tp : txt.
• Feuille 1 Mise en route (variable, logique) : Enoncé, Corrigé
• Feuille 2 Premiers progs c : Enoncé, hello.c, programme_de_base.c, programme_de_base_sans_commentaires.c, Corrigé (texte)
• Feuille TP 2 : Enoncé
• Feuille TP 3 QUIZZ : Enoncé (merci Isabelle !) et le .c, ainsi que maversion
• Feuille 3 Boucles for et while Enoncé, Corrigé (boucles for) , Corrigé (boucles while)
• Feuille 3bis Boucles for et while, re Enoncé, Corrigé.
• Ca marche pas ! Une feuille pour être plus performant/moins dépendant en TP : ici.
• Feuille TP 4 Notes / Régions / Caractères : Enoncé , corrigé1, et regions.c, caracteresenC.txt.
• Feuille 4 Tableaux et entiers aléatoires (TD4.2 et TP5) Enoncé,
• Feuille 5 Petit topo sur la décomposition en base b feuille, ainsi que le decomp.c.
• Feuille 6 Tableaux et caractères (TD et TP "nouvelles") Enoncé, ascii.c, nouvelle.c,
• Feuille 7 Révisions Enoncé, et correction txt.
• PARTIEL 22/10/2004 Enoncé, et correction de l'exo, et correction du pb.
• TP 7 -- Tris graphiques Enoncé, et tribulle.c,
• Tableaux 2d et chaînes de caractères Enoncé, Corrigé partiel.
• Quick 9/11/2004 Enoncé, et correction.
• TP8 -- Carrés Magiques L'énoncé est pages 64/67 cahier TP, une correction : carres_magiques.c.
• Feuille 9, Méthode d'Euler (TD/TP9) Enoncé, et euler.c.
• Puissance 4, exam de décembre 2003 Enoncé, et Corrigé.
• PROJET PLANETES (3 séances de TP) Enoncé, Avancement, Enoncé séance 2 avec son code. Mon corrigé.
• Feuille 10, X puissance n Enoncé, et Corrigé.
• Feuille 11, Redirection unix et algorithmes de texte Énoncé, et Corrigé.
• TP 11, Mots mêlés Énoncé, et Corrigé.
• Feuille12, Révisions Énoncé, et Annexe PDF. Corrigé.
• Aide mémoire pointeurs ici.
• TP 12, Coupes d'un tableau Énoncé, squelette fourni, et Corrigé.
• EXAMEN le 15 décembre 2004. a savoir.
• Une archive de tout ce que l'on a fait : sujets+ corrigés : zip.

TP MAPLE (PCSI) Mai/Juin 2003

• Matrices : Enoncé, Corrigé : ex1, ex2 , ex3.
• Espaces Euclidiens : Enoncé, Corrigé : ex1, ex2 , ex3.
• Géométrie : Enoncé, Corrigé : ex1, ex2 , ex3a, ex3b.

TP Pascal (CPEC 2A) 2001/2003

• Polynômes : énoncé (pdf, squelette, maple) et corrigé (.pas).
• MinMax : énoncé (pdf, squelette) et corrigé (pdf, .pas).
• Récursion vs Itération : énoncé (pdf, prog_x, squelette, jeu) et corrigé (.html).
• Simulation d'expériences probabilistes : énoncé (pdf1, pdf2, pdf3) et corrigé (pdf).
  
• Suites et Séries : énoncé (pdf, maple) et corrigé (.html).
• Calcul approché de Pi : énoncé (pdf, squelette) et corrigé (.html).
• Tris : énoncé (pdf, squelette) et corrigé (pdf, .html).
• Exponentiation : énoncé (pdf, squelette1, squelette2) et corrigé (entiers, matrices).
• Simulation d'expériences probabilistes II : énoncé (pdf) et corrigé (pdf).
• ENS 2002: coupes d'un tableau : énoncé et corrigé.
• X 2002: gain à la bourse : énoncé et corrigé.
• Séance de bachotage : exos. Correction ici.
• DM : enoncé et corrigé.
• Poly : essentiel_pascal.