75 événements Filtres actifs Xavier Leroy (2018 - aujourd'hui) Filtrer 20 avril 2023 Séminaire 20 avr 2023 11:15 - 12:15 Séminaire Pierre-Etienne Meunier Une algèbre de modifications, ou : le contrôle de versions pour tous Structures de données persistantes Cours 20 avr 2023 09:30 - 11:00 Cours Xavier Leroy À la recherche du vecteur perdu : limites théoriques et conclusions Structures de données persistantes 13 avril 2023 Séminaire 13 avr 2023 11:15 - 12:15 Séminaire Arthur Charguéraud Transience : comment allier persistance et performance Structures de données persistantes Cours 13 avr 2023 09:30 - 11:00 Cours Xavier Leroy De la dérivation formelle à la navigation dans une structure : contextes, zippers, index, etc. Structures de données persistantes 06 avril 2023 Séminaire 06 avr 2023 11:15 - 12:15 Séminaire KC Sivaramakrishnan Mergeable replicated data types Structures de données persistantes Cours 06 avr 2023 09:30 - 11:00 Cours Xavier Leroy Systèmes de numération, types non réguliers, et bootstrapping structurel Structures de données persistantes 30 mars 2023 Séminaire 30 Mar 2023 11:15 - 12:15 Séminaire Jean-Christophe Filliatre Structures de données semi-persistantes Structures de données persistantes Cours 30 Mar 2023 09:30 - 11:00 Cours Xavier Leroy Comment rendre persistante une structure impérative ? Structures de données persistantes 23 mars 2023 Séminaire 23 Mar 2023 11:15 - 12:15 Séminaire Tobias Nipkow Verification of functional data structures: Correctness and complexity Structures de données persistantes Cours 23 Mar 2023 09:30 - 11:00 Cours Xavier Leroy Concilier amortissement et persistance : de l'importance de la paresse Structures de données persistantes 16 mars 2023 Cours 16 Mar 2023 09:30 - 11:00 Cours Xavier Leroy Arbres équilibrés + copie de branches = dictionnaires persistants Structures de données persistantes 09 mars 2023 Cours 09 Mar 2023 09:30 - 11:00 Cours Xavier Leroy Rien ne se perd, tout se crée : introduction aux structures de données persistantes Structures de données persistantes 30 juin 2022 Colloque du 29 juin 2022 → 30 juin 2022 Colloque Xavier Leroy Probabilistic Programming 29 juin 2022 Colloque du 29 juin 2022 → 30 juin 2022 Colloque Xavier Leroy Probabilistic Programming 21 avril 2022 Séminaire 21 avr 2022 11:15 - 12:15 Séminaire Frank Piessens Transient Execution Attacks and Defenses Sécurité du logiciel : quel rôle pour les langages de programmation ? Cours 21 avr 2022 09:30 - 11:00 Cours Xavier Leroy Calculer sur des données chiffrées ou privées Sécurité du logiciel : quel rôle pour les langages de programmation ? 14 avril 2022 Séminaire 14 avr 2022 11:15 - 12:15 Séminaire Sandrine Blazy Obfuscation du logiciel : brouiller le code pour protéger les programmes Sécurité du logiciel : quel rôle pour les langages de programmation ? Cours 14 avr 2022 09:30 - 11:00 Cours Xavier Leroy Compilation et sécurité Sécurité du logiciel : quel rôle pour les langages de programmation ? 07 avril 2022 Séminaire 07 avr 2022 11:15 - 12:15 Séminaire Karine Heydemann Attaques par injection de faute et protections logicielles Sécurité du logiciel : quel rôle pour les langages de programmation ? Cours 07 avr 2022 09:30 - 11:00 Cours Xavier Leroy Typage et sécurité Sécurité du logiciel : quel rôle pour les langages de programmation ? 31 mars 2022 Séminaire 31 Mar 2022 11:15 - 12:15 Séminaire Karthikeyan Bhargavan Verified Implementations for Real-World Cryptographic Protocols Sécurité du logiciel : quel rôle pour les langages de programmation ? Cours 31 Mar 2022 09:30 - 11:00 Cours Xavier Leroy Tempus fugit : attaques par observation du temps Sécurité du logiciel : quel rôle pour les langages de programmation ? 24 mars 2022 Séminaire 24 Mar 2022 11:15 - 12:15 Séminaire Catuscia Palamidessi Differential Privacy: From the Central Model to the Local Model and their Generalization Sécurité du logiciel : quel rôle pour les langages de programmation ? Cours 24 Mar 2022 09:30 - 11:00 Cours Xavier Leroy Isolation logicielle Sécurité du logiciel : quel rôle pour les langages de programmation ? 17 mars 2022 Séminaire 17 Mar 2022 11:15 - 12:15 Séminaire Olivier Levillain Influence de la qualité des spécifications sur la sécurité logicielle Sécurité du logiciel : quel rôle pour les langages de programmation ? Cours 17 Mar 2022 09:30 - 11:00 Cours Xavier Leroy Flux d'information Sécurité du logiciel : quel rôle pour les langages de programmation ? 10 mars 2022 Cours 10 Mar 2022 09:30 - 11:00 Cours Xavier Leroy Sécurité du logiciel : introduction et études de cas Sécurité du logiciel : quel rôle pour les langages de programmation ? 15 avril 2021 Séminaire 15 avr 2021 11:15 - 12:15 Séminaire Philippa Gardner Gillian: a Multi-language Platform for Compositional Symbolic Analysis Logiques de programmes : quand la machine raisonne sur ses logiciels Cours 15 avr 2021 09:30 - 11:00 Cours Xavier Leroy Logiques pour les langages fonctionnels et l'ordre supérieur Logiques de programmes : quand la machine raisonne sur ses logiciels 08 avril 2021 Séminaire 08 avr 2021 11:15 - 12:15 Séminaire Jacques-Henri Jourdan Protocoles personnalisés en logique de séparation : ressources fantômes et invariants dans la logique Iris Logiques de programmes : quand la machine raisonne sur ses logiciels Pagination Page courante 1 Page 2 Page 3 Page suivante Dernière page
Séminaire 20 avr 2023 11:15 - 12:15 Séminaire Pierre-Etienne Meunier Une algèbre de modifications, ou : le contrôle de versions pour tous Structures de données persistantes
Cours 20 avr 2023 09:30 - 11:00 Cours Xavier Leroy À la recherche du vecteur perdu : limites théoriques et conclusions Structures de données persistantes
Séminaire 13 avr 2023 11:15 - 12:15 Séminaire Arthur Charguéraud Transience : comment allier persistance et performance Structures de données persistantes
Cours 13 avr 2023 09:30 - 11:00 Cours Xavier Leroy De la dérivation formelle à la navigation dans une structure : contextes, zippers, index, etc. Structures de données persistantes
Séminaire 06 avr 2023 11:15 - 12:15 Séminaire KC Sivaramakrishnan Mergeable replicated data types Structures de données persistantes
Cours 06 avr 2023 09:30 - 11:00 Cours Xavier Leroy Systèmes de numération, types non réguliers, et bootstrapping structurel Structures de données persistantes
Séminaire 30 Mar 2023 11:15 - 12:15 Séminaire Jean-Christophe Filliatre Structures de données semi-persistantes Structures de données persistantes
Cours 30 Mar 2023 09:30 - 11:00 Cours Xavier Leroy Comment rendre persistante une structure impérative ? Structures de données persistantes
Séminaire 23 Mar 2023 11:15 - 12:15 Séminaire Tobias Nipkow Verification of functional data structures: Correctness and complexity Structures de données persistantes
Cours 23 Mar 2023 09:30 - 11:00 Cours Xavier Leroy Concilier amortissement et persistance : de l'importance de la paresse Structures de données persistantes
Cours 16 Mar 2023 09:30 - 11:00 Cours Xavier Leroy Arbres équilibrés + copie de branches = dictionnaires persistants Structures de données persistantes
Cours 09 Mar 2023 09:30 - 11:00 Cours Xavier Leroy Rien ne se perd, tout se crée : introduction aux structures de données persistantes Structures de données persistantes
Séminaire 21 avr 2022 11:15 - 12:15 Séminaire Frank Piessens Transient Execution Attacks and Defenses Sécurité du logiciel : quel rôle pour les langages de programmation ?
Cours 21 avr 2022 09:30 - 11:00 Cours Xavier Leroy Calculer sur des données chiffrées ou privées Sécurité du logiciel : quel rôle pour les langages de programmation ?
Séminaire 14 avr 2022 11:15 - 12:15 Séminaire Sandrine Blazy Obfuscation du logiciel : brouiller le code pour protéger les programmes Sécurité du logiciel : quel rôle pour les langages de programmation ?
Cours 14 avr 2022 09:30 - 11:00 Cours Xavier Leroy Compilation et sécurité Sécurité du logiciel : quel rôle pour les langages de programmation ?
Séminaire 07 avr 2022 11:15 - 12:15 Séminaire Karine Heydemann Attaques par injection de faute et protections logicielles Sécurité du logiciel : quel rôle pour les langages de programmation ?
Cours 07 avr 2022 09:30 - 11:00 Cours Xavier Leroy Typage et sécurité Sécurité du logiciel : quel rôle pour les langages de programmation ?
Séminaire 31 Mar 2022 11:15 - 12:15 Séminaire Karthikeyan Bhargavan Verified Implementations for Real-World Cryptographic Protocols Sécurité du logiciel : quel rôle pour les langages de programmation ?
Cours 31 Mar 2022 09:30 - 11:00 Cours Xavier Leroy Tempus fugit : attaques par observation du temps Sécurité du logiciel : quel rôle pour les langages de programmation ?
Séminaire 24 Mar 2022 11:15 - 12:15 Séminaire Catuscia Palamidessi Differential Privacy: From the Central Model to the Local Model and their Generalization Sécurité du logiciel : quel rôle pour les langages de programmation ?
Cours 24 Mar 2022 09:30 - 11:00 Cours Xavier Leroy Isolation logicielle Sécurité du logiciel : quel rôle pour les langages de programmation ?
Séminaire 17 Mar 2022 11:15 - 12:15 Séminaire Olivier Levillain Influence de la qualité des spécifications sur la sécurité logicielle Sécurité du logiciel : quel rôle pour les langages de programmation ?
Cours 17 Mar 2022 09:30 - 11:00 Cours Xavier Leroy Flux d'information Sécurité du logiciel : quel rôle pour les langages de programmation ?
Cours 10 Mar 2022 09:30 - 11:00 Cours Xavier Leroy Sécurité du logiciel : introduction et études de cas Sécurité du logiciel : quel rôle pour les langages de programmation ?
Séminaire 15 avr 2021 11:15 - 12:15 Séminaire Philippa Gardner Gillian: a Multi-language Platform for Compositional Symbolic Analysis Logiques de programmes : quand la machine raisonne sur ses logiciels
Cours 15 avr 2021 09:30 - 11:00 Cours Xavier Leroy Logiques pour les langages fonctionnels et l'ordre supérieur Logiques de programmes : quand la machine raisonne sur ses logiciels
Séminaire 08 avr 2021 11:15 - 12:15 Séminaire Jacques-Henri Jourdan Protocoles personnalisés en logique de séparation : ressources fantômes et invariants dans la logique Iris Logiques de programmes : quand la machine raisonne sur ses logiciels
