Shows
Sports Hub Weekends PodcastLeroy & Cerrone Show // Xavier Irvin Joins The Show // Seasoned Bruins Fans Welcome Doobie To The Family - 12/27 (Hour 2)(0:00) Leroy Irvin & Cerrone Battle begin Hour #2 with some Bruins talk - with special guest, Xavier "Doobie" Irvin, son of co-host Leroy. Doobie shares his thoughts on the team and defends the front office for their recent track record.(10:45) Bruins fans line up to offer Doobie some advice on what to expect as a fan of the Bruins.(20:53) Seasoned Bruins fans continue to welcome Doobie to the Bruins family. Some very clever analogies to describe the pain Xavier is headed towards.(30:31) Leroy & Cerrone discuss whether the NBA snatched back Christmas Day from the NFL.-------------------------------------------...
2025-12-2737 min
Carrusel de las Artes“El evangelio de la revolución”, los cristianos en las luchas sociales latinoamericanasEste documental pone de relieve la participación de religiosos y creyentes en las revoluciones de México, Nicaragua, El Salvador y Brasil. Su autor, el francés François-Xavier Drouet conversó con nosotros sobre su trabajo. También en este programa, el homenaje del festival de fotoperiodismo “Visa pour l’image” a los fotoperiodistas palestinos que siguen documentando la guerra en Gaza, a pesar del riesgo que supone para sus vidas. Llega a las salas de cine francesas “El evangelio de la revolución”, película documental del francés François-Xavier Drouet, que recuerda los movimientos revoluci...
2025-09-0814 min
TOUT EST MARQUE#14 : TUT TUT révolutionne la livraison des colis grâce aux particuliers - Vincent CHABBERT - FondateurTOUT EST MARQUE – Vincent CHABBERT, fondateur et CEO de TUT TUT, nous présente l'histoire de cette jeune marque créée en 2021 à Avignon. TUT TUT c'est la plateforme leader de la livraison de colis chez les particuliers par des particuliers. Tut Tut est une plateforme de livraison collaborative créée en 2021 et basée à Avignon. La start-up est passée de 19.000 euros de chiffre d’affaires en 2021 à 6 millions d'euros en 2024. Elle prévoit de doubler ce chiffre en 2025.
La promesse marketing de cette marque tient en quelques mots :
"Vos colis, vos courses, vos commandes Click&Collect, votre...
2025-07-1023 min
Pase PrivadoPrograma 248 (02-04-2025): BENJAMIN BIOLAY (7)Hoy, en Pase Privado, continuamos el repaso de cuatro semanas por la obra de Benjamin Biolay, concretamente lo que grabó y editó entre 2018 y 2022, con los discos tanto a su nombre como colaboraciones con otros artistas.
Suenan:
- Benjamin Biolay: Retienes la nuit
- Benjamin Biolay & Melvil Poupaud: Tout mais pas ça
- Marc Lavoine & Benjamin Biolay: Un chagrin ne vient jamais
- Morcheeba & Benjamin Biolay: Paris sur mer
- Bajofondo & Benjamin Biolay: Absente (Outre-Mer)
- Benjamin Biolay: Comment est ta peine?
- Benjamin Biolay: Souviens-toi l’eté dernier
- Benjamin Biolay: Parc fermé (con Adé)
- Fréderic Lo & Benjamin...
2025-04-0259 min
The DawgFellas Podcast106. From The Lamesa Fun Show To The Bully Fall Brawl Ft. Leroy Trevino & Xavier GuerraApril 5, 2025 in Lamesa, Texas... Red Devil Kennels Lamesa's 1stv Annual Fun Show!!! 400 South 1st St, Lamesa, Tx show starts at 1pm!!! For more info contacr Leroy Trevino via FacebookNovember 15, 2025 Merle Mint Bullies & Parkway Kennels Presents The Bully Fall Brawl. 2x Sanctioned TCBR Show/ Fun Show & Car Show!!! Lubbock Memorial Civic Center, 1501 Mac Davis Lane, Lubbock, Texas. For more info contact Xavier Guerra or Jaime Garcia via Facebook. Mark your calendars, March 15th, 2025. Plainview, Texas is the spot for the Wild West Bully Expo 2! Double USBR Sanctioned show, Fun show as well a...
2025-03-101h 27
Colloques du Collège de France - Collège de FranceColloque de rentrée 2024 - Genre et Sciences : Histoire de la masculinisation d'une science : l'informatiqueColloque de rentrée 2024 - Genre et Sciences : Histoire de la masculinisation d'une science : l'informatiqueSession 1 : État des lieuxXavier LeroyProfesseur du Collège de FranceSéance animée par Françoise CombesRésuméLa proportion de femmes en informatique, tant dans l'industrie que dans le monde académique, est l'une des plus faibles parmi les disciplines scientifiques. Il n'en a pas toujours été ainsi : parmi les pionniers qui ont fait émerger l'informatique moderne entre 1945 e...
2024-10-1733 min
ACM ByteCastXavier Leroy - Episode 57In this episode of ACM ByteCast, Harald Störrle hosts ACM Fellow and Software System Award recipient Xavier Leroy, professor at Collège de France and member of the Académie des Sciences. Best known for his role as a primary developer of the OCaml programming language, Xavier is an internationally recognized expert on functional programming languages and compilers, focusing on their reliability and security, and has a strong interest in formal methods, formal proofs, and certified compilation. He is the lead developer of CompCert, the first industrial-strength optimizing compiler with a mechanically checked proof of correctness, with applications to r...
2024-08-1534 min
Good StoryEpisode 75 Xavier Sua'filo Countdown to the.NFL DraftWe talk about the journey and the experience of being a NFL player.
2024-04-2046 min
Sciences du logiciel - Xavier LeroySéminaire - Daan Leijen : Design and Compilation of Efficient Effect Handlers in the Koka LanguageXavier LeroyCollège de FranceScience du logicielAnnée 2023-2024Séminaire - Daan Leijen : Design and Compilation of Efficient Effect Handlers in the Koka LanguageDaan LeijenMicrosoft Research
2024-03-1455 minSciences du logiciel - Xavier Leroy08 - Structures de contrôle : de « goto » aux effets algébriques : 08 - Structures de contrôle : de « goto » aux effets algébriques : Logiques de programmes pour le contrôle et les effetsXavier LeroyCollège de FranceScience du logicielAnnée 2023-202408 - Structures de contrôle : de « goto » aux effets algébriques : 08 - Structures de contrôle : de « goto » aux effets algébriques : Logiques de programmes pour le contrôle et les effets
2024-03-141h 22Sciences du logiciel - Xavier LeroySéminaire - Matija Pretnar : Effect handlers and mathematically inspired language constructsXavier LeroyCollège de FranceScience du logicielAnnée 2023-2024Séminaire - Matija Pretnar : Effect handlers and mathematically inspired language constructsMatija PretnarUniversité de Ljubljana
2024-03-071h 03Sciences du logiciel - Xavier Leroy07 - Structures de contrôle : de « goto » aux effets algébriques : Typage et analyse statique des effetsXavier LeroyCollège de FranceScience du logicielAnnée 2023-202407 - Structures de contrôle : de « goto » aux effets algébriques : Typage et analyse statique des effets
2024-03-071h 19Sciences du logiciel - Xavier LeroySéminaire - Olivier Danvy : Les continuations : cinq minutes pour les apprendre, toute une vie pour les comprendreXavier LeroyCollège de FranceScience du logicielAnnée 2023-2024Séminaire - Olivier Danvy : Les continuations : cinq minutes pour les apprendre, toute une vie pour les comprendreOlivier DanvyNational University of Singapore
2024-02-2958 minSciences du logiciel - Xavier Leroy06 - Structures de contrôle : de « goto » aux effets algébriques : Théorie des effets : des monades aux effets algébriquesXavier LeroyCollège de FranceScience du logicielAnnée 2023-202406 - Structures de contrôle : de « goto » aux effets algébriques : Théorie des effets : des monades aux effets algébriques
2024-02-291h 16Sciences du logiciel - Xavier LeroySéminaire - Andrew Kennedy : Compiling with ContinuationsXavier LeroyCollège de FranceScience du logicielAnnée 2023-2024Séminaire - Andrew Kennedy : Compiling with ContinuationsAndrew KennedyMeta
2024-02-2244 minSciences du logiciel - Xavier Leroy05 - Structures de contrôle : de « goto » aux effets algébriques : Pratique des effets : des exceptions aux gestionnaires d'effetsXavier LeroyCollège de FranceScience du logicielAnnée 2023-202405 - Structures de contrôle : de « goto » aux effets algébriques : Pratique des effets : des exceptions aux gestionnaires d'effets
2024-02-221h 19Sciences du logiciel - Xavier LeroySéminaire - Delphine Demange : Représentations intermédiaires pour la compilation : s'affranchir du graphe de flot de contrôleXavier LeroyCollège de FranceScience du logicielAnnée 2023-2024Séminaire - Delphine Demange : Représentations intermédiaires pour la compilation : s'affranchir du graphe de flot de contrôleDelphine DemangeUniversité de Rennes
2024-02-151h 01Sciences du logiciel - Xavier Leroy04 - Structures de contrôle : de « goto » aux effets algébriques : Programmer ses structures de contrôle : continuations et opérateurs de contrôleXavier LeroyCollège de FranceScience du logicielAnnée 2023-202404 - Structures de contrôle : de « goto » aux effets algébriques : Programmer ses structures de contrôle : continuations et opérateurs de contrôle
2024-02-151h 23
Esto es sobre...Cris Blanco: Ver las cosas de otra formaNací en el barrio obrero de Peña Grande en Madrid. Aunque me licencié en Interpretación por la RESAD en 2002 desde que salí siempre he dirigido mis propios trabajos escénicos. También actúo siempre en ellos, y alguna vez en el cine. Como intérprete, he trabajado con Xavier Leroy, Cuqui Jerez, Los Bárbaros y Juan Domínguez, entre otros, y en cine con Icíar Bollaín, Roser Aguilar y Belén Funes.
Vivo en Barcelona desde 2012 y desde 2019 soy profesora del Institut del Teatre. Mi circuito durante mucho tiempo ha sido el de la danza, y entie...
2024-02-0848 minSciences du logiciel - Xavier LeroySéminaire - Caroline Collange : Comment concilier parallélisme et contrôle ? Approches des architectures de processeurs généralistes et graphiquesXavier LeroyCollège de FranceScience du logicielAnnée 2023-2024Séminaire - Caroline Collange : Comment concilier parallélisme et contrôle ? Approches des architectures de processeurs généralistes et graphiquesCaroline CollangeInria
2024-02-0851 minSciences du logiciel - Xavier Leroy03 - Structures de contrôle : de « goto » aux effets algébriques : Chassez le contrôle... : la programmation déclarativeXavier LeroyCollège de FranceScience du logicielAnnée 2023-202403 - Structures de contrôle : de « goto » aux effets algébriques : Chassez le contrôle... : la programmation déclarative
2024-02-081h 24Sciences du logiciel - Xavier Leroy02 - Structures de contrôle : de « goto » aux effets algébriques : Structures de contrôle avancées : des subroutines aux coroutines et au parallélismeXavier LeroyCollège de FranceScience du logicielAnnée 2023-202402 - Structures de contrôle : de « goto » aux effets algébriques : Structures de contrôle avancées : des subroutines aux coroutines et au parallélisme
2024-02-011h 15Sciences du logiciel - Xavier Leroy01 - Structures de contrôle : de « goto » aux effets algébriques : Naissance des structures de contrôle : du « goto » à la programmation structuréeXavier LeroyCollège de FranceScience du logicielAnnée 2023-202401 - Structures de contrôle : de « goto » aux effets algébriques : Naissance des structures de contrôle : du « goto » à la programmation structurée
2024-01-251h 19
Le Club RadioAu revoir monsieur Xavier Leroy !Dernier Club Radio de la saison ! Et pour l'occasion, émission spéciale. Xavier Leroy, chef d'établissement du lycée Notre-Dame au Mans, et pionnier du Club radio, dit au revoir aux auditeurs de RCF Sarthe après onze années passées à la tête de l'établissement.Mais avant de prendre une retraite bien méritée, il dresse le bilan de ces "années Notre-Dame" et nous présente son successeur, Olivier Pley.Hébergé par Audiomeans. Visitez audiomeans.fr/politique-de-confidentialite pour plus d'informations.
2023-07-0311 min
3 questions àMeurthe-et-Moselle : les pompiers prêts à faire face aux feux de l'été"On a besoin d'anticipation dans le feu de forêt. C'est anticiper grâce aux indicateurs météo et définir un plan de bataille qu'on modifie chaque jour en fonction du risque."Commandant Xavier Leroy, référent technique départemental feux de forêts au sein du SDIS de Meurthe-et-MoselleFace aux risques d’incendies de plus en plus élevés durant l’été, les pompiers de Meurthe-et-Moselle se préparent, notamment en suivant des formations spécifiques de lutte contre les feux de forêts et de végétaux. Ils travaillent en lien étroit avec Mé...
2023-06-2003 min
The Stack Overflow PodcastFor those who just don't Git itPierre-Étienne’s interest in computing began with the functional programming language OCaml, created by Xavier Leroy. Before OCaml, Pierre-Étienne explains, “everyone thought functional programming was doomed to be extremely slow.”Pijul is a free, open-source distributed version control system. You can get started here. Want a GitHub-like interface? Find it here.Read the article that led to this conversation: Beyond Git: The other version control systems developers use. Pierre-Étienne is currently working on a new project with the creators of the open-source game engine Godot. We hosted Godot cofounder and lead devel...
2023-05-2322 minSciences du logiciel - Xavier LeroySéminaire - Pierre-Etienne Meunier : Une algèbre de modifications, ou : le contrôle de versions pour tousXavier LeroyCollège de FranceScience du logicielAnnée 2022-2023Structures de données persistantesSéminaire - Pierre-Etienne Meunier : Une algèbre de modifications, ou : le contrôle de versions pour tous
2023-04-201h 00Sciences du logiciel - Xavier Leroy07 - Structures de données persistantes : À la recherche du vecteur perdu : limites théoriques et conclusionsXavier LeroyCollège de FranceScience du logicielAnnée 2022-2023Structures de données persistantesÀ la recherche du vecteur perdu : limites théoriques et conclusionsJusqu'à quel point une structure de données persistante peut être efficace ? Y a-t-il forcément un surcoût par rapport à une structure transiente ? Le dernier cours essaiera de répondre à ces questions, d'abord en passant en revue les meilleures implémentations connues des tableaux persistants, purement fonctionnelles ou non, puis en étudiant les bornes inférieures sur l'efficacité des...
2023-04-201h 25Sciences du logiciel - Xavier LeroySéminaire - Arthur Charguéraud : Comment allier persistance et performanceXavier LeroyCollège de FranceScience du logicielAnnée 2022-2023Structures de données persistantesSéminaire - Arthur Charguéraud : Comment allier persistance et performanceCet exposé explore trois approches permettant d'optimiser les performances de programmes exploitant des structures persistantes. La première approche consiste à optimiser les structures purement fonctionnelles en augmentant l'arité des feuilles et des nœuds des arbres. La deuxième approche consiste à exploiter les effets de bords pour réaliser la persistance. La troisième approche consiste à mod...
2023-04-1349 minSciences du logiciel - Xavier Leroy06 - Structures de données persistantes : De la dérivation formelle à la navigation dans une structure : contextes, zippers, index, etc.Xavier LeroyCollège de FranceScience du logicielAnnée 2022-2023Structures de données persistantesDe la dérivation formelle à la navigation dans une structure : contextes, zippers, index, etc.Il est souvent utile de pouvoir désigner une partie d'une structure de données (par exemple, un sous-arbre d'un arbre) et opérer sur cette partie de manière locale. Dans les algèbres de termes, cela se modélise à l'aide de contextes. Cependant, les « zippers » de Huet, une présentation duale des contextes, perm...
2023-04-131h 17Sciences du logiciel - Xavier LeroySéminaire - KC Sivaramakrishnan : Mergeable Replicated Data TypesXavier LeroyCollège de FranceScience du logicielAnnée 2022-2023Structures de données persistantesSéminaire - KC Sivaramakrishnan : Mergeable Replicated Data TypesReplicated data types (RDTs) are specialised data structures that allow for concurrent modification of multiple replicas, even when they are geographically dispersed, without requiring coordination between them. However, constructing efficient and correct RDTs is challenging due to the complexity involved in reasoning about independently evolving states of replicas and resolving conflicts between them.In t...
2023-04-0753 minSciences du logiciel - Xavier Leroy05 - Structures de données persistantes : Systèmes de numération et types non réguliersXavier LeroyCollège de FranceScience du logicielAnnée 2022-2023Structures de données persistantesSystèmes de numération et types non réguliersUn système de numération permet de représenter efficacement de grands nombres en donnant des poids différents aux chiffres successifs (par exemple, 1, 10, 100, 1 000, etc.). Cette idée inspire aussi la conception de structures persistantes remarquablement efficaces, notamment pour les listes à accès direct et les files de priorité. Nous décrirons ensuite l'utilisation de types algébriques non régu...
2023-04-071h 16Sciences du logiciel - Xavier LeroySéminaire - Jean-Christophe Filliatre : Structures de données semi-persistantesXavier LeroyCollège de FranceScience du logicielAnnée 2022-2023Structures de données persistantesSéminaire - Jean-Christophe Filliatre : Structures de données semi-persistantes
2023-03-3050 minSciences du logiciel - Xavier Leroy04 - Structures de données persistantes : Comment rendre persistante une structure impérative ?Xavier LeroyCollège de FranceScience du logicielAnnée 2022-2023Structures de données persistantesConcilier amortissement et persistance : de l'importance de la paresseDans ce cours, nous nous intéresserons aux structures de données persistantes dont l'implémentation utilise « sous le capot » des structures impératives et de la mutation en place, tout en préservant une interface purement fonctionnelle. Nous partirons des tableaux fonctionnels de Baker, qui combinent un tableau impératif et des liste de différences, puis introduirons progressivem...
2023-03-301h 17Sciences du logiciel - Xavier LeroySéminaire - Tobias Nipkow : Verification of functional data structures: Correctness and complexityXavier LeroyCollège de FranceScience du logicielAnnée 2022-2023Structures de données persistantesSéminaire - Tobias Nipkow : Verification of functional data structures: Correctness and complexityThe talk gives a brief overview of our book "Functional Algorithms, Verified!" and its approach to verifying not just correctness but also running time of a large collection of functional algorithms. Then, two examples are presented in more detail: real time queues and double-ended queues that are implemented purely functionally with the help of s...
2023-03-2350 minSciences du logiciel - Xavier Leroy03 - Structures de données persistantes : Concilier amortissement et persistance : de l'importance de la paresseXavier LeroyCollège de FranceScience du logicielAnnée 2022-2023Structures de données persistantesConcilier amortissement et persistance : de l'importance de la paresseL'amortissement est un principe de conception de structures de données qui vise à garantir un coût moyen par opération sur toute séquence d'opérations, le coût élevé de certaines opérations étant amorti par le coût faible d'opérations précédentes. Après un rappel des principes de l'amortissement et de l'analyse en temps...
2023-03-231h 17
FranceFineArt🔊 “Valérie Belin” L’incertaine beauté du mondeau MUba Eugène Leroy – Musée des Beaux-Arts, Tourcoing du 17 mars au 27 août 2023“Valérie Belin” L’incertaine beauté du mondeau MUba Eugène Leroy – Musée des Beaux-Arts, Tourcoingdu 17 mars au 27 août 2023Interview de Valérie Belin,par Anne-Frédérique Fer, à Paris, le 16 mars 2023, durée 19’41.© FranceFineArt.https://francefineart.com/2023/03/17/3408_valerie-belin_musee-des-beaux-arts-tourcoing/Communiqué de presse Commissariat de l’exposition :Valérie Belin, Mélanie Lerat, directrice et Christelle Manfredi, directrice adjointe du MUba Eugène Leroy.Après un temps fort autour de la peinture d...
2023-03-1719 minSciences du logiciel - Xavier Leroy02 - Structures de données persistantes : Arbres équilibrés + copie de branches = persistanceXavier LeroyCollège de FranceScience du logicielAnnée 2022-2023Structures de données persistantesArbres équilibrés + copie de branches = persistanceCopier et modifier une branche d'un arbre équilibré, tout en partageant les sous-arbres non modifiés avec l'arbre d'origine, est une technique simple et générale pour construire de nombreuses structures de données persistantes ayant des complexités O(log n). Le cours montrera cette technique à l'œuvre sur des structures de type « dictionnaire » : arbres de recherche, arbres préfixes, arbres pré...
2023-03-161h 24Sciences du logiciel - Xavier Leroy01 - Structures de données persistantes : Introduction aux structures persistantes et à la programmation purement fonctionnelleXavier LeroyCollège de FranceScience du logicielAnnée 2022-2023Structures de données persistantesIntroduction aux structures persistantes et à la programmation purement fonctionnelleCe premier cours décrira l'émergence des structures de données persistantes dans deux contextes historiques différents : l'émergence des langages de programmation purement fonctionnels et de leurs approches équationnelles de dérivation et de vérification des programmes, d'une part, et de l'autre l'apparition de besoins nouveaux, notamment en algorithmique géométrique, de partager efficacement les représenta...
2023-03-091h 17
Les Lois de l'Attraction#50 - Comment déployer une marque employeur dans un Groupe multi-enseignes ?Laetitia Sylvestre est Responsable Marque Employeur et Communication RH chez Saint-Gobain Distribution Bâtiment France, et elle a commencé la Marque employeur en 2007... une époque où seulement quelques initiés savaient ce que cela voulait dire !
Après plus de 10 ans en agences de Communication RH, elle décide de rejoindre Saint-Gobain pour un poste « chez l’annonceur » avec un bel objectif, accompagner les 3000 recrutements de la filiale Distribution.
Après une présentation rapide de son parcours, Laetitia nous détaille la méthode qui l’a amenée à créer un très beau projet de marque...
2023-02-1453 minLe Club RadioUn forum pour l'orientation post 3e avec les lycées catholiques de SartheCe samedi 28 janvier, l'Union des lycées catholiques du Mans organise pour la première fois un forum d'orientation post 3e. Dix établissements catholiques de toute la Sarthe seront présents, pour présenter leur offre de formation en seconde générale, technologique ou professionnelle.Présentation avec Xavier Leroy, directeur du lycée Notre-Dame du Mans.(Photo jointe)Hébergé par Audiomeans. Visitez audiomeans.fr/politique-de-confidentialite pour plus d'informations.
2023-01-2309 minColloques du Collège de France - Collège de FranceColloque de rentrée 2022 - Déchiffrement(s) : des hiéroglyphes à l'ADN : ClôtureÉvénement majeur de la vie scientifique de l'établissement, le colloque de rentrée, dont le programme comprend à la fois des professeurs du Collège de France et des conférenciers invités, traite chaque année d'un thème aux nombreuses ramifications, dont les enjeux contemporains gagnent à être analysés au prisme des disciplines et des champs du savoir.Le 22 septembre 1822, Jean-François Champollion, dans un état d'excitation extrême, achève sa fameuse Lettre à Monsieur Dacier, secrétaire perpétuel de l'Académie royale des Inscriptions et Belles-Lettres. Il y expliquait comment il avait percé le mys...
2022-10-2104 minLe Club RadioUne rentrée active au lycée Notre-Dame au MansLe retour du Club Radio, une licence pro, la reprise des échanges culturels.. La rentrée s'annonce chargée au lycée Notre-Dame au Mans.Pour nous en parler, Xavier Leroy, chef d'établissement et David Ordonnaud, professeur de philosophie et référent du Club Radio.Hébergé par Audiomeans. Visitez audiomeans.fr/politique-de-confidentialite pour plus d'informations.
2022-09-0511 minSciences du logiciel - Xavier Leroy07 - Sécurité du logiciel : quel rôle pour les langages de programmation ?Xavier LeroyCollège de FranceScience du logicielAnnée 2021-2022Sécurité du logiciel : quel rôle pour les langages de programmation ?Compiler un programme source en code machine peut être l'occasion de le rendre plus résistant à certaines attaques. Cependant, de nombreuses optimisations de compilation, pourtant sémantiquement correctes, peuvent affaiblir la sécurité du programme. Nous verrons comment caractériser ces différences de sécurité entre un fragment de programme source et son code compilé à l'aide d'outils sémantiques classiques : l'équivalence observationnelle et...
2022-04-211h 04Sciences du logiciel - Xavier Leroy06 - Sécurité du logiciel : quel rôle pour les langages de programmation ?Xavier LeroyCollège de FranceScience du logicielAnnée 2021-2022Sécurité du logiciel : quel rôle pour les langages de programmation ?Compiler un programme source en code machine peut être l'occasion de le rendre plus résistant à certaines attaques. Cependant, de nombreuses optimisations de compilation, pourtant sémantiquement correctes, peuvent affaiblir la sécurité du programme. Nous verrons comment caractériser ces différences de sécurité entre un fragment de programme source et son code compilé à l'aide d'outils sémantiques classiques : l'équivalence observationnelle et...
2022-04-141h 18Sciences du logiciel - Xavier Leroy05 - Sécurité du logiciel : quel rôle pour les langages de programmation ?Xavier LeroyCollège de FranceScience du logicielAnnée 2021-2022Sécurité du logiciel : quel rôle pour les langages de programmation ?Qu'il soit vérifié dynamiquement (pendant l'exécution) ou statiquement (par analyse préalable), le typage est un aspect essentiel des langages de programmation de haut niveau. Dans ce cours, nous étudierons les contributions du typage à la sécurité des logiciels, des garanties de base (sûreté des valeurs et de la mémoire) indispensables pour l'isolation logicielle à des garanties d'intégrité plus fines s'appuyant su...
2022-04-071h 24Sciences du logiciel - Xavier Leroy04 - Sécurité du logiciel : quel rôle pour les langages de programmation ?Xavier LeroyCollège de FranceScience du logicielAnnée 2021-2022Sécurité du logiciel : quel rôle pour les langages de programmation ?L'isolation d'un logiciel possiblement malveillant ou compromis est nécessaire pour qu'il ne puisse pas compromettre d'autres logiciels s'exécutant dans le même environnement et encore moins les mécanismes de sécurité du système d'exploitation et du matériel. Nous passerons en revue plusieurs mécanismes d'isolation : mémoire virtuelle, software fault isolation (SFI), sandboxing, et contrôle d'accès au niveau des int...
2022-03-311h 09Sciences du logiciel - Xavier Leroy03 - Sécurité du logiciel : quel rôle pour les langages de programmation ?Xavier LeroyCollège de FranceScience du logicielAnnée 2021-2022Sécurité du logiciel : quel rôle pour les langages de programmation ?L'isolation d'un logiciel possiblement malveillant ou compromis est nécessaire pour qu'il ne puisse pas compromettre d'autres logiciels s'exécutant dans le même environnement et encore moins les mécanismes de sécurité du système d'exploitation et du matériel. Nous passerons en revue plusieurs mécanismes d'isolation : mémoire virtuelle, software fault isolation (SFI), sandboxing, et contrôle d'accès au niveau des int...
2022-03-241h 20Sciences du logiciel - Xavier Leroy02 - Sécurité du logiciel : quel rôle pour les langages de programmation ?Xavier LeroyCollège de FranceScience du logicielAnnée 2021-2022Sécurité du logiciel : quel rôle pour les langages de programmation ?Certaines informations sont plus confidentielles que d'autres, ou plus digne de confiance que d'autres. Après une introduction aux politiques de confidentialité de Bell-Lapadula et d'intégrité de Biba, nous étudierons comment contrôler les flux d'information à travers un programme, ou bien dynamiquement, ou bien statiquement à l'aide de systèmes de types ou de logiques de programmes.
2022-03-171h 06Sciences du logiciel - Xavier Leroy01 - Sécurité du logiciel : quel rôle pour les langages de programmation ?Xavier LeroyCollège de FranceScience du logicielAnnée 2021-2022Sécurité du logiciel : quel rôle pour les langages de programmation ?Comment rendre un logiciel résistant non seulement aux « bugs » et aux pannes involontaires, mais aussi aux attaques et à l'utilisation malveillante ? C'est le problème général de la sécurité du logiciel, que nous introduirons dans ce premier cours. Nous étudierons ensuite quelques attaques récentes et les vulnérabilités logicielles qu'elles exploitent.
2022-03-101h 20
Aussie Hoopla NBL & NBA PodcastXavier Cooks (Sydney Kings) on his season so far and Australian Boomers experiencesXavier Cooks is in his third season with the Sydney Kings but due to injuries has played only 26 games over his NBL career, averaging 9 points, 8 rebounds and 2 assists per game since entering the league in 2019. This season, with a full bill of health, Cooks is having a career-best season, averaging 13 points, 9 rebounds and 3 assists while leading Sydney to a top-five record thus far. He joins Aussie Hoopla's Dan Boyce to talk about the teams big win over the Perth Wildcats this week, his decision to play college basketball and overseas by debuting in the NBL...
2022-02-0330 min
Young, Wild & Talented 🎙#7 - Max Leroy - The New York Times - Product Director, Audience & Community Dans cet épisode, nous allons découvrir le parcours de Max Leroy. Max est un amoureux de NYC et des USA depuis son plus jeune âge. Aprèsavoir voyager en Europe et aux US pour « Collaborative Cities », undocumentaire sur l’économie partagée, Max s’installe à NYC en 2013 et fondeEnquire, une application mobile de questions / réponses anonymes pour lescommunautés / quartiers. Il réalise notamment une levée de fonds avec XavierNiels. Un projet avec des hauts et des bas qui s’achèvera malheureusement 1ane...
2021-11-081h 45
2021-10-0400 min
2021-10-0400 min
2021-10-0400 minOCaml Workshop 2014The State of OCaml (invited), Xavier LeroyThe State of OCaml (invited), Xavier Leroy
2021-10-0400 min
OCaml Workshop 2014The State of OCaml (invited), Xavier LeroyThe State of OCaml (invited), Xavier Leroy
2021-10-0400 min
Le Club RadioLa rentrée du club radio au lycée Notre-DameLe lycée Notre-Dame au Mans a fait sa rentrée. Avant de retrouver les nouveaux membres du Club radio ND sur notre antenne, on fait le point sur ce qui fait l'actualité du lycée Notre-Dame au Mans et sur ce beau partenariat avec RCf Sarthe. Au micro de Marie-Laure Dio, Xavier Leroy, chef d'établissement du lycée Notre-Dame, David Ordonaud, professeur de philosophie et coordinateur du club radio ND, ainsi que Emma et Zachariah, élèves du Lycée et membre du club radio.Hébergé par Audiomeans. Visitez audiomeans.fr/politique-de-confidentialite pour plus d...
2021-09-2011 min
OCaml Workshop 202125 Years of OCaml: Xavier LeroyProfessor Xavier Leroy -- the primary original author and leader of the OCaml project -- reflects on 25 years of the OCaml language at his OCaml Workshop 2021 keynote speech.
2021-08-2700 min
OCaml Workshop 202125 Years of OCaml: Xavier LeroyProfessor Xavier Leroy -- the primary original author and leader of the OCaml project -- reflects on 25 years of the OCaml language at his OCaml Workshop 2021 keynote speech.
2021-08-2700 min
OCaml Workshop 202125 Years of OCaml: Xavier LeroyProfessor Xavier Leroy -- the primary original author and leader of the OCaml project -- reflects on 25 years of the OCaml language at his OCaml Workshop 2021 keynote speech.
2021-08-2700 min
Iowa Type Theory CommuteStandard ML: the Newmar King-Aire of module systemsSML has arguably the most complicated/powerful module system of any existing programming language. It is a luxury RV to Haskell's camper van. I take a high-level look, following a very nice paper by Xavier Leroy, titled "A modular module system".
2021-05-1013 minSciences du logiciel - Xavier Leroy07 - Logiques de programmes : quand la machine raisonne sur ses logicielsXavier LeroyCollège de FranceScience du logicielAnnée 2020-2021Logiques de programmes : quand la machine raisonne sur ses logicielsDans le cinquième cours, nous avons étudié quatre extensions des logiques de séparation des précédents cours qui permettent ou facilitent la spécification et la vérification d'une plus large classe de programmes.La première extension est l'opérateur d'implication séparante, familièrement appelé « baguette magique » en raison de sa forme, qui est l'adjoint de la conjonction sé...
2021-04-151h 18Sciences du logiciel - Xavier Leroy06 - Logiques de programmes : quand la machine raisonne sur ses logicielsXavier LeroyCollège de FranceScience du logicielAnnée 2020-2021Logiques de programmes : quand la machine raisonne sur ses logicielsDans le cinquième cours, nous avons étudié quatre extensions des logiques de séparation des précédents cours qui permettent ou facilitent la spécification et la vérification d'une plus large classe de programmes.La première extension est l'opérateur d'implication séparante, familièrement appelé « baguette magique » en raison de sa forme, qui est l'adjoint de la conjonction sé...
2021-04-081h 29Sciences du logiciel - Xavier Leroy05 - Logiques de programmes : quand la machine raisonne sur ses logicielsXavier LeroyCollège de FranceScience du logicielAnnée 2020-2021Logiques de programmes : quand la machine raisonne sur ses logicielsDans le cinquième cours, nous avons étudié quatre extensions des logiques de séparation des précédents cours qui permettent ou facilitent la spécification et la vérification d'une plus large classe de programmes.La première extension est l'opérateur d'implication séparante, familièrement appelé « baguette magique » en raison de sa forme, qui est l'adjoint de la conjonction sé...
2021-04-011h 22Sciences du logiciel - Xavier Leroy04 - Logiques de programmes : quand la machine raisonne sur ses logicielsXavier LeroyCollège de FranceScience du logicielAnnée 2020-2021Logiques de programmes : quand la machine raisonne sur ses logicielsLes processeurs multicœurs sont un exemple d'architecture parallèle à mémoire partagée, où plusieurs unités de calcul travaillent simultanément sur une mémoire commune. La programmation de ces architectures est difficile : il faut maîtriser les interférences possibles entre les actions des processus, et éviter les courses critiques (race conditions) entre des écritures et des lectures simultanées.Quelles log...
2021-03-251h 21Sciences du logiciel - Xavier Leroy03 - Logiques de programmes : quand la machine raisonne sur ses logicielsXavier LeroyCollège de FranceScience du logicielAnnée 2020-2021Logiques de programmes : quand la machine raisonne sur ses logicielsDans le troisième cours, nous avons étudié les structures de données et la vérification de programmes qui les manipulent. Les tableaux sont la plus ancienne des structures de données. Une extension simple de la logique de Hoare avec une règle pour l'affectation à un élément d'un tableau permet de spécifier et de vérifier de nombreux programmes utilisant des tableaux, comm...
2021-03-181h 25Sciences du logiciel - Xavier Leroy02 - Logiques de programmes : quand la machine raisonne sur ses logicielsXavier LeroyCollège de FranceScience du logicielAnnée 2020-2021Logiques de programmes : quand la machine raisonne sur ses logicielsLe deuxième cours a été consacré à l'étude approfondie des « logiques de Hoare », c'est-à-dire des logiques de programmes qui suivent l'approche introduite par C. A. R. Hoare en 1969. Nous avons défini une telle logique de programmes pour le langage IMP, un petit langage impératif à contrôle structuré que nous avions déjà étudié dans le cours 2019-2020 « Sémantiques mécanisées ». Nous avons ensuit...
2021-03-111h 22
da ideia à luzCriação Ep#40 - 02/03/2021 - André Boll e a criação da luz para o solo de dança “Trança”André Boll Iniciou seus estudos em iluminação em 1989 no Curso de Arte Dramática da Universidade Federal do Rio Grande do Sul onde cursou Artes Cênicas. Desde então projeta luz para espetáculos de teatro, música e dança. Ministra cursos e palestras a convite de instituições como o CPT (Centro de Pesquisas Teatrais), Festival de Joinville, Universidade Anhembi Morumbi e SP Escola de Teatro.
Atuou como diretor técnico nos eventos Dança em Pauta, de 2004 a 2007, Itaú Rumos Dança 2007, festivais internacionais destacando-se entre eles o Festival Contemporâneo de Dança, Panorama S...
2021-03-072h 19Sciences du logiciel - Xavier Leroy01 - Logiques de programmes : quand la machine raisonne sur ses logicielsXavier LeroyCollège de FranceScience du logicielAnnée 2020-2021Logiques de programmes : quand la machine raisonne sur ses logicielsRésuméComment s'assurer qu'un logiciel fait ce qu'il est censé faire ? Les méthodes classiques de vérification et de validation du logiciel, reposant sur le test, les revues et les analyses, ne suffisent pas toujours. La vérification déductive permet d'aller plus loin en établissant des propriétés vraies de toutes les exécutions possibles d'un programme, via des raiso...
2021-03-041h 14
Count Drahoon's Feature of FrightThat 70’s Horror Show
Download
Cast:
Count Drahoon…Taylor Gentry
Daryl…Zach King
Leroy Brown/Blahoon…Andre Churchwell
Erik Phantom/Sandman…Drew Hinds
Queen Zimba Legendre…C.J. Walton
Logan…Alex Maynard
Jessica…Chris Williams
Lloyd Kaufman…Will Lasley
Lunaticia…Allison Goldtrap
Narrator…J. Austin Duke
Musical Guest…Wuden
Crew:
Director of Photography…Corey Guthrie
Sound Engineering…Aaron Trimble
Art Graphics…Xavier Partridge
Editor/Writer/Producer/Director…Taylor Gentry
Social Media Links:
Dra...
2020-11-3050 min
Le Club RadioLa rentrée des classes au lycée Notre-DameAprès le confinement et une fin d'année scolaire perturbée, les lycéens de Notre-Dame on fait leur véritable retour au lycée en présentiel. Une rentrée forcément pas comme les autres, sur laquelle revient aujourd'hui Xavier Leroy, directeur du lycée Notre-Dame du Mans.Hébergé par Audiomeans. Visitez audiomeans.fr/politique-de-confidentialite pour plus d'informations.
2020-09-2109 min
Médias ND - L'émissionLa rentrée des classes au lycée Notre-DameAprès le confinement et une fin d'année scolaire perturbée, les lycéens de Notre-Dame on fait leur véritable retour au lycée en présentiel. Une rentrée forcément pas comme les autres, sur laquelle revient aujourd'hui Xavier Leroy, directeur du lycée Notre-Dame du Mans au coté de l'équipe de Médias ND
2020-09-2109 min
1 Jour, 1 EntrepreneurArrêtez d'apprendre ! Ça sert à rien, c'est dangereux et ça rend idiot avec Nicolas SadiracNicolas est est un ancien Hacker, il a fondé et dirigé l’école 42 avec Xavier Niel le milliardaire et PDG de Free. Les 3 bombes de valeur : 1. Apprendre des connaissances n’a plus de sens dans un monde ou les smartphone et les ordinateurs enregistrent et les restituent mieux que nous 2. Les deux clés pour l’avenir de l’homme sont la créativité et la collaboration 3. Entreprendre c’est l’intersection entre sa passion/son plaisir et apporter de de la valeur aux autres 👉🏻 Pour contacter Nicolas : https://www.linkedin.com/in/nico...
2020-09-1434 minSciences du logiciel - Xavier Leroy08 - Sémantiques mécanisées : quand la machine raisonne sur ses langagesXavier LeroyCollège de FranceScience du logicielAnnée 2019-2020Sémantiques mécanisées : quand la machine raisonne sur ses langages
2020-02-131h 11Sciences du logiciel - Xavier Leroy07 - Sémantiques mécanisées : quand la machine raisonne sur ses langagesXavier LeroyCollège de FranceScience du logicielAnnée 2019-2020Sémantiques mécanisées : quand la machine raisonne sur ses langages
2020-02-061h 25Sciences du logiciel - Xavier Leroy06 - Sémantiques mécanisées : quand la machine raisonne sur ses langagesXavier LeroyCollège de FranceScience du logicielAnnée 2019-2020Sémantiques mécanisées : quand la machine raisonne sur ses langages
2020-01-301h 16Sciences du logiciel - Xavier Leroy05 - Sémantiques mécanisées : quand la machine raisonne sur ses langagesXavier LeroyCollège de FranceScience du logicielAnnée 2019-2020Sémantiques mécanisées : quand la machine raisonne sur ses langages
2020-01-161h 20Sciences du logiciel - Xavier Leroy04 - Sémantiques mécanisées : quand la machine raisonne sur ses langagesXavier LeroyCollège de FranceScience du logicielAnnée 2019-2020Sémantiques mécanisées : quand la machine raisonne sur ses langages
2020-01-091h 57Sciences du logiciel - Xavier Leroy03 - Sémantiques mécanisées : quand la machine raisonne sur ses langagesXavier LeroyCollège de FranceScience du logicielAnnée 2019-2020Sémantiques mécanisées : quand la machine raisonne sur ses langages
2019-12-191h 22Sciences du logiciel - Xavier Leroy02 - Sémantiques mécanisées : quand la machine raisonne sur ses langagesXavier LeroyCollège de FranceScience du logicielAnnée 2019-2020Sémantiques mécanisées : quand la machine raisonne sur ses langages
2019-12-121h 20Sciences du logiciel - Xavier Leroy01 - Sémantiques mécanisées : quand la machine raisonne sur ses langagesXavier LeroyCollège de FranceScience du logicielAnnée 2019-2020Sémantiques mécanisées : quand la machine raisonne sur ses langages
2019-11-281h 49Sciences du logiciel - Xavier Leroy11 - Programmer = démontrer ? La correspondance de Curry-Howard aujourd'huiXavier LeroyCollège de FranceScience du logicielAnnée 2018-2019Programmer = démontrer ? La correspondance de Curry-Howard aujourd'hui
2019-01-301h 01Sciences du logiciel - Xavier Leroy10 - Programmer = démontrer ? La correspondance de Curry-Howard aujourd'huiXavier LeroyCollège de FranceScience du logicielAnnée 2018-2019Programmer = démontrer ? La correspondance de Curry-Howard aujourd'hui
2019-01-231h 07Sciences du logiciel - Xavier Leroy09 - Programmer = démontrer ? La correspondance de Curry-Howard aujourd'huiXavier LeroyCollège de FranceScience du logicielAnnée 2018-2019Programmer = démontrer ? La correspondance de Curry-Howard aujourd'hui
2019-01-161h 08Sciences du logiciel - Xavier Leroy08 - Programmer = démontrer ? La correspondance de Curry-Howard aujourd'huiXavier LeroyCollège de FranceScience du logicielAnnée 2018-2019Programmer = démontrer ? La correspondance de Curry-Howard aujourd'hui
2019-01-091h 00Sciences du logiciel - Xavier Leroy07 - Programmer = démontrer ? La correspondance de Curry-Howard aujourd'huiXavier LeroyCollège de FranceScience du logicielAnnée 2018-2019Programmer = démontrer ? La correspondance de Curry-Howard aujourd'hui
2019-01-091h 00Sciences du logiciel - Xavier Leroy06 - Programmer = démontrer ? La correspondance de Curry-Howard aujourd'huiXavier LeroyCollège de FranceScience du logicielAnnée 2018-2019Programmer = démontrer ? La correspondance de Curry-Howard aujourd'hui
2018-12-191h 06Sciences du logiciel - Xavier Leroy05 - Programmer = démontrer ? La correspondance de Curry-Howard aujourd'huiXavier LeroyCollège de FranceScience du logicielAnnée 2018-2019Programmer = démontrer ? La correspondance de Curry-Howard aujourd'hui
2018-12-121h 09Sciences du logiciel - Xavier Leroy04 - Programmer = démontrer ? La correspondance de Curry-Howard aujourd'huiXavier LeroyCollège de FranceScience du logicielAnnée 2018-2019Programmer = démontrer ? La correspondance de Curry-Howard aujourd'hui
2018-12-051h 07Sciences du logiciel - Xavier Leroy03 - Programmer = démontrer ? La correspondance de Curry-Howard aujourd'huiXavier LeroyCollège de FranceScience du logicielAnnée 2018-2019Programmer = démontrer ? La correspondance de Curry-Howard aujourd'hui
2018-11-281h 07Sciences du logiciel - Xavier Leroy02 - Programmer = démontrer ? La correspondance de Curry-Howard aujourd'huiXavier LeroyCollège de FranceScience du logicielAnnée 2018-2019Programmer = démontrer ? La correspondance de Curry-Howard aujourd'hui
2018-11-211h 01Sciences du logiciel - Xavier Leroy01 - Programmer = démontrer ? La correspondance de Curry-Howard aujourd'huiXavier LeroyCollège de FranceScience du logicielAnnée 2018-2019Programmer = démontrer ? La correspondance de Curry-Howard aujourd'hui
2018-11-211h 13Sciences du logiciel - Xavier LeroyLeçon inaugurale - Xavier Leroy : Le logiciel, entre l'esprit et la matièreXavier LeroyCollège de FranceScience du logicielAnnée 2018-2019Leçon inaugurale : Le logiciel, entre l'esprit et la matière.Les travaux de recherche de Xavier LEROY portent d'une part sur les nouveaux langages et outils de programmation, et d'autre part sur la vérification formelle de logiciels critiques afin de garantir leur sûreté et leur sécurité. Il est l'architecte et l'un des principaux développeurs du langage de programmation fonctionnelle OCaml ainsi que du compilateur C formellement vérifié CompCert, deux grands logic...
2018-11-151h 03
Collège de France - SélectionLeçon inaugurale - Xavier Leroy : Le logiciel, entre l'esprit et la matièreXavier LeroyCollège de FranceScience du logicielAnnée 2018-2019Leçon inaugurale : Le logiciel, entre l'esprit et la matière.Les travaux de recherche de Xavier LEROY portent d'une part sur les nouveaux langages et outils de programmation, et d'autre part sur la vérification formelle de logiciels critiques afin de garantir leur sûreté et leur sécurité. Il est l'architecte et l'un des principaux développeurs du langage de programmation fonctionnelle OCaml ainsi que du compilateur C formellement vérifié CompCert, deux grands logic...
2018-11-151h 03
Twilight DeluxeOn And On Playlist
My Funk Goes On & On by Dam Funk on Stones Throw (Stones Throw)
Heart Heart by Geraldine Hunt on Prism (Prism)
I Need Your Love by Joy on Eastern Records (Eastern Records)
Turn The Music On by Orlando Johnson on Zig Zag Records (Zig Zag Records)
Rigor Mortis by Cameo on Chocolate City (Chocolate City)
Don't Be So Cool by Cameo on Casablanca (Casablanca)
So Fine by Howard Johnson on A&M (A&M)
Master Rocker by Bernard Wright on Arista (Arista)
Work That Sucker To Death by Xavier on Liberty (Liberty)
Help Me Out by...
2018-06-0100 min
PIFFFcast - Le podcast du cinéma de genrePIFFFcast 30 - Les Perles Du Cinéma De Genre FrançaisRevenge, Ghostland, La Nuit a dévoré le monde… Ce début d'année 2018 voit un soubresaut salutaire du cinéma de genre français, que nous avons eu envie d'accompagner en exhumant quelques pépites oubliées de notre cinoche tricolore qui, s'il a copieusement pioncé pendant des décennies, n'a jamais cessé de s'éveiller ponctuellement. Mais ne nous délivrez pas du mal de Joël Séria, La Traque de Serge Leroy, Le Seuil du vide de Jean-François Davy et Simple mortel de Pierre Jolivet sont ces pépites. Alors bonne (re)découverte, et matez français !Avec...
2018-02-281h 12
Functional GeekeryAdam ChlipalaIn this episode I talk with Adam Chlipala. We talk Coq, proof assistants, getting started, tooling, domains for advancement using proofs, Ur/Web, and much, much more.
Our Guest, Adam Chlipala
Adam’s home page
Conference Announcements
BusConf will be taking place the 3rd-5th of August in Frankfurt, Germany. Registration is open, and more information can be found at http://www.bus-conf.org/.
Elixir.LDN will be taking place on August 17th. To help encourage inclusion and diversity 30 Free Scholarship places are available. Visit http://www.elixir.london/ to...
2017-07-251h 05
Focus StoreFocus Store S03E02 (Xavier Dolan, Steve Tesich, Transparent, Thom Yorke)Quatre objets culturels qui font la Une des journaux et des réseaux sociaux, et quatre journalistes du magazine Focus Vif qui en discutent, chacun depuis sa spécialité.
La spécialité d'Ysaline Parisis, outre réveiller nos imaginaires enkylosés avec sa délicatesse de fée clochette, c'est la littérature.
La spécialité de Nicolas Clément, outre la beauté, c'est le cinéma et la BD.
La spécialité de Guy Vertraeten, outre les blagues de Toto, c'est un peu tout et c'est ça qui est bien.
Et la spécialité de Myriam Leroy, outre parler dans le poste...
2014-10-151h 05
Focus StoreFocus store S02E13 (Xavier Dolan, Mad Men, Kundera, Damon Albarn)Dans ce 29e épisode, vous trouverez: des gens qui se mouchent au micros, d'infâmes trahisons, du LOL en barre, mais aussi, critiqués par l'équipe de Focus Vif, les objets culturels dont tout le monde parle:
*"Tom à la ferme", le nouveau long-métrage de Xavier Dolan: Pose arty ou vrai propos? (vers 1'30'')
*"La fête de l'insignifiance", le dernier roman de Milan Kundera. 144 pages: Petit livre, ou livre peu épais? (vers 13'35'')
*"Everyday Robots", l'album solo de Damon Albarn: Une démarche 100% honnête, dit-il. Aurait-il dû mentir un peu? (vers 27'00'')
*"Mad Men": La to...
2014-04-2559 min