CINXE.COM
Ep57 Xavier Leroy
<!DOCTYPE html> <html lang="en" class=" no-js"> <head> <!-- Google Consent Mode --> <script data-cookieconsent="ignore"> window.dataLayer = window.dataLayer || []; function gtag(){ dataLayer.push(arguments); } gtag("consent", "default", { ad_storage: "denied", analytics_storage: "denied", functionality_storage: "denied", personalization_storage: "denied", security_storage: "granted", wait_for_update: 500 }); gtag("set", "ads_data_redaction", true); gtag("set", "url_passthrough", false); </script> <!-- End Google Consent Mode--> <!-- Google Tag Manager --> <script data-cookieconsent="ignore"> (function(w,d,s,l,i){w[l]=w[l]||[];w[l].push({'gtm.start': new Date().getTime(),event:'gtm.js'});var f=d.getElementsByTagName(s)[0],j=d.createElement(s),dl=l!='dataLayer'?'&l='+l:'';j.async=true;j.src='https://www.googletagmanager.com/gtm.js?id='+i+dl;f.parentNode.insertBefore(j,f);})(window,document,'script','dataLayer','GTM-5BVDRXH'); </script> <!-- End Google Tag Manager --> <!-- Cookiebot CMP--> <script id="Cookiebot" src="https://consent.cookiebot.com/uc.js" data-cbid="9bb7fc8b-05a2-4292-85e6-45213b19c5ff" data-blockingmode="auto" type="text/javascript" ></script> <!-- End Cookiebot CMP --> <meta http-equiv="Content-Type" content="text/html; charset=UTF-8"> <meta charset="utf-8"> <meta http-equiv="X-UA-Compatible" content="IE=edge"> <meta name="viewport" content="width=device-width, initial-scale=1, maximum-scale=1, user-scalable=no"/> <link rel="stylesheet" href="/css/acm.css?antiCache=1716999351349" type="text/css"/> <link rel="stylesheet" href="/css/print.css?antiCache=1716999351349" type="text/css" media="print"/> <link rel="stylesheet" href="/css/cookieconsent.css" type="text/css"/> <script type="text/javascript" src="/js/classList.js"></script> <script type="text/javascript" src="/js/webfontloader.js"></script> <script type="text/javascript" src="/js/analytics.js"></script> <script data-cookieconsent="ignore" type="text/javascript" src="/js/modernizr.js"></script> <link rel="shortcut icon" href="/catalog/favicon.ico"> <meta class="foundation-data-attribute-namespace"> <meta class="foundation-mq-xxlarge"> <meta class="foundation-mq-xlarge-only"> <meta class="foundation-mq-xlarge"> <meta class="foundation-mq-large-only"> <meta class="foundation-mq-large"> <meta class="foundation-mq-medium-only"> <meta class="foundation-mq-medium"> <meta class="foundation-mq-small-only"> <meta class="foundation-mq-small"> <meta class="foundation-mq-topbar"> <title>Ep57 Xavier Leroy</title> <meta name="description" content="Landing Page for Xavier Leroy"/> <meta property="og:title" content="In 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."/> <meta property="og:description" content="In 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."/> <meta property="og:type" content="website"/> <meta property="og:url" content="https://learning.acm.org/bytecast/ep57-xavier-leroy"/> <meta property="og:image" content="https://learning.acm.org/binaries/content/gallery/acm/ctas/learning-center/bytecast/bytecast-ep57-leroy.jpg"/> <meta name="twitter:card" content="summary_large_image"/> <meta name="twitter:site" content="@theofficialacm"/> <meta name="twitter:title" content="In 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."/> <meta name="twitter:description" content="In 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."/> <meta name="twitter:image" content="https://learning.acm.org/binaries/content/gallery/acm/ctas/learning-center/bytecast/bytecast-ep57-leroy.jpg"/> <!-- Global site tag (gtag.js) - Google Ads: 968097012 --> <script async src="https://www.googletagmanager.com/gtag/js?id=AW-968097012"></script> <script> window.dataLayer = window.dataLayer || []; function gtag(){dataLayer.push(arguments);} gtag('js', new Date()); gtag('config', 'AW-968097012'); </script> <!-- Global site tag (gtag.js) - Google Ads: 968097012 --> <script async src="https://www.googletagmanager.com/gtag/js?id=AW-968097012"></script> <script> window.dataLayer = window.dataLayer || []; function gtag(){dataLayer.push(arguments);} gtag('set', 'linker', { 'domains': ['acm.org/','cvent.com/'], 'accept_incoming': true }); gtag('js', new Date()); gtag('config', 'AW-968097012'); </script></head> <body> <!-- Google Tag Manager (noscript) --> <noscript><iframe data-cookieblock-src="https://www.googletagmanager.com/ns.html?id=GTM-5BVDRXH" data-cookieconsent="marketing" height="0" width="0" style="display:none;visibility:hidden"></noscript> <!-- End Google Tag Manager (noscript) --> <!-- place holder --><div id="header" class="row"> <nav class="top-bar eyebrow show-for-medium-up" data-topbar data-options="is_hover: false"> <section class="top-bar-section"> <div id="skiptocontent"><a href="#SkipTarget">skip to main content</a></div> <ul class="right"> <li><a href="//dl.acm.org/" title="Digital Library">Digital Library</a></li> <li><a href="//cacm.acm.org/" title="CACM">CACM</a></li> <li><a href="https://jobs.acm.org/" title="Career Center">Career Center</a></li> <li><a href="//queue.acm.org/" title="Queue">Queue</a></li> <li><a href="//xrds.acm.org/" title="XRDS">XRDS</a></li> <li><a href="//www.acm.org/membership/join" title="Join ACM">Join ACM</a></li> </ul> </section> </nav> <div class="clearfix utilities-area"> <div class="logo-section"> <div class="navbar-header show-for-large-up"> <a class="navbar-brand" href="https://www.acm.org"> <img alt="ACM Logo" class="img-responsive" title="Home" src="/binaries/content/gallery/global/top-menu/acm_logo_tablet.svg"> </a> </div> <div class="navbar-header hide-for-large-up"> <a href="/"> <img alt="ACM Logo" class="img-responsive hide-for-large-up" title="Home" src="/binaries/content/gallery/global/top-menu/acm_logo_mobile.svg"> </a> </div> </div> <div id="acm-description" class="column large-5 show-for-large-up"> <div> ACM Learning Center Site<!-- We're an international society of educators, scientists, technologists and engineers dedicated to the advancement of computer science. We offer a world-class <a href="#">Digital Library</a>, <a href="#">publications</a>, <a href="#">conferences</a>, and more. --> </div> </div> <div id="ctas-and-search" class="column large-5 medium-6 no-pad-left ctas-and-search"> <ul class="block-grid right"> <li><a href="https://go.oreilly.com/acm">O'Reilly</a></li> <li><a href="https://acm.percipio.com/">Percipio</a></li> <li><a href="https://app.pluralsight.com/sso/acm">Pluralsight</a></li> <li class="hide-for-small"> <form class="acm-search-form" id="form_1"> <label for="input_1"> <span class="visually-hidden">Search Input</span> </label> <input type="text" name="q" id="input_1" class="acm-searchbox-input st-default-search-input"/> <label for="search-site_1" class="toggle"> <span class="visually-hidden">Search Submit</span> <i class="fa fa-search left"></i> <input type="button" class="acm-searchbox-submit left" value="Search" name="search-site_1" id="search-site_1" /> </label> </form> </li> </ul> </div> </div> <script type="text/javascript"> (function(w,d,t,u,n,s,e){w['SwiftypeObject']=n;w[n]=w[n]||function(){ (w[n].q=w[n].q||[]).push(arguments);};s=d.createElement(t); e=d.getElementsByTagName(t)[0];s.async=1;s.src=u;e.parentNode.insertBefore(s,e); })(window,document,'script','//s.swiftypecdn.com/install/v2/st.js','_st'); _st('install','PRgSA2MDbRdrDjimXsj9','2.0.0'); </script> <nav class="top-bar main-nav" data-topbar data-options="is_hover: false"> <ul class="title-area"> <li class="toggle-topbar menu-icon"><a href="/#"><span></span> </a></li> </ul> <section id="mobile-nav-topbar" class="top-bar-section"> <div class="mobile-links"> <div class="btn-group"> <a class="btn btn-primary" role="button" href="https://go.oreilly.com/acm">O'Reilly</a> <a class="btn btn-primary" role="button" href="https://acm.percipio.com/">Percipio</a> <a class="btn btn-primary" role="button" href="https://app.pluralsight.com/sso/acm">Pluralsight</a> </div> <div class="mobile-search"> <form class="acm-search-form" id="mobile_form_1"> <i class="fa fa-search left"></i> <label class="" for="search_mobile_1">Search</label> <input type="text" id="search_mobile_1" class="acm-searchbox-input st-default-search-input" name="q"/> </form> </div> </div> <ul> <li class="has-dropdown not-click"><a href="#">Home</a> <div class="dropdown clearfix"> <ul class="infonav clearfix"> <li class="infonav__linkList clearfix"> <a href="/" class="first">Learning Center Home</a> <ul class="infonav__linkList-list clearfix"> <li><a href="/about" title="About the Learning Center" >About the Learning Center</a></li> </ul> </li> <li class="infonav__landingPage"> <div> <p class="first">About ACM Learning Center</p> <p>The ACM Learning Center offers ACM members access to lifelong learning tools and resources. Our E-Learning collections offer complimentary access to more than 80,000 online books, courses, and videos from top content publishers. The ACM TechTalk series brings leading computing luminaries and visionaries to your screen. Members enjoy exclusive offers and discounts on IT industry certifications and vendor-specific training.</p></div> </li> <li class="infonav__ctaList"> <div class="infonav__ctaList-cta"> <div class="cta-text"> <a href='https://www.acm.org/membership/membership-options' target='_blank'>Membership Options and Rates</a></div> </div> <div class="infonav__ctaList-cta"> <div class="cta-text"> <a href='http://services.acm.org/public/brochures/sb_control.cfm?refpg=s' target='_blank'>Request ACM Membership Information</a></div> </div> </li> </ul> </div> </li> <li class="has-dropdown not-click"><a href="#">E-Learning</a> <div class="dropdown clearfix"> <ul class="infonav clearfix"> <li class="infonav__linkList clearfix"> <a href="/e-learning" class="first">E-Learning Home</a> <ul class="infonav__linkList-list clearfix"> <li><a href="/e-learning/oreilly" title="O'Reilly" >O'Reilly</a></li> <li><a href="/e-learning/pluralsight" title="Pluralsight" >Pluralsight</a></li> <li><a href="/e-learning/skillsoft" title="Skillsoft" >Skillsoft</a></li> </ul> </li> <li class="infonav__landingPage"> <div> <p class="first"></p> </div> </li> <li class="infonav__ctaList"> <div class="infonav__ctaList-cta"> <div class="cta-text"> <a href='https://www.acm.org/membership/membership-options' target='_blank'>Membership Options and Rates</a></div> </div> <div class="infonav__ctaList-cta"> <div class="cta-text"> <a href='http://services.acm.org/public/brochures/sb_control.cfm?refpg=s' target='_blank'>Request ACM Membership Information</a></div> </div> </li> </ul> </div> </li> <li class="has-dropdown not-click"><a href="#">Member Offers</a> <div class="dropdown clearfix"> <ul class="infonav clearfix"> <li class="infonav__linkList clearfix"> <a href="/member-offers" class="first">Member Offers Home</a> <ul class="infonav__linkList-list clearfix"> <li><a href="/member-offers/teradata" title="Teradata" >Teradata</a></li> <li><a href="/member-offers/comptia" title="CompTia" >CompTia</a></li> <li><a href="/member-offers/stevens-institute" title="Stevens Institute" >Stevens Institute</a></li> <li><a href="/member-offers/dell-emc" title="Dell EMC" >Dell EMC</a></li> <li><a href="/member-offers/nyu-tandon" title="NYU Tandon" >NYU Tandon</a></li> </ul> </li> <li class="infonav__landingPage"> <div> <p class="first">About Member Offers</p> <p>As an ACM member, you are eligible for tuition scholarships at online universities for continued learning and discounts on training toward popular industry certifications. Student members have special access to free learning resources.</p></div> </li> <li class="infonav__ctaList"> </li> </ul> </div> </li> <li class="has-dropdown not-click"><a href="#">TechTalks</a> <div class="dropdown clearfix"> <ul class="infonav clearfix"> <li class="infonav__linkList clearfix"> <a href="/techtalks" class="first">TechTalks Home</a> <ul class="infonav__linkList-list clearfix"> <li><a href="/techtalks-archive" title="TechTalks Archive" >TechTalks Archive</a></li> </ul> </li> <li class="infonav__landingPage"> <div> <p class="first">About TechTalks</p> <p>ACM members are always the first to learn about our popular series of free TechTalks, keeping you at the cutting edge of the latest technical and technological developments. Targeting computing practitioners but also suitable for students and educators, our TechTalks feature ACM A.M. Turing Award winners, ACM Fellows, respected researchers, and expert industry professionals.</p></div> </li> <li class="infonav__ctaList"> <div class="infonav__ctaList-cta"> <a href='https://events.zoom.us/ev/AnS0TL61il-lC-HpZSc_PtOmuob1gugyFp9pOP8oMtKNeL-gCH5W~Aho1aHCGUVV3qxnTaGNTHAr9ThJT6T2hunbW_fa9r3gCCLCeyF9gQCqCTQ' target='_blank'><img src="/binaries/ctaimagelarge/content/gallery/acm/ctas/people/rush-shahani-techtalk.jpg" alt="rush-shahani-techtalk.jpg"></a><div class="cta-text"> <a href='https://events.zoom.us/ev/AnS0TL61il-lC-HpZSc_PtOmuob1gugyFp9pOP8oMtKNeL-gCH5W~Aho1aHCGUVV3qxnTaGNTHAr9ThJT6T2hunbW_fa9r3gCCLCeyF9gQCqCTQ' target='_blank'>Rush Shahani TechTalk</a></div> </div> <div class="infonav__ctaList-cta"> <a href='https://events.zoom.us/ev/Aug9XSOWvaMn_glJD-pQfJ34IZnLZYYSPg6lCoU6jhZzE0fiiRpz~AqfKcOgXRwUotrDs-rfDNWzUsAD_flFeNU-vG9tSPpEhjjb2dWe_xVB9aw' target='_blank'><img src="/binaries/ctaimagelarge/content/gallery/acm/ctas/people/christine-robson-techtalk.jpg" alt="christine-robson-techtalk.jpg"></a><div class="cta-text"> <a href='https://events.zoom.us/ev/Aug9XSOWvaMn_glJD-pQfJ34IZnLZYYSPg6lCoU6jhZzE0fiiRpz~AqfKcOgXRwUotrDs-rfDNWzUsAD_flFeNU-vG9tSPpEhjjb2dWe_xVB9aw' target='_blank'>Christine Robson TechTalk</a></div> </div> <div class="infonav__ctaList-cta"> <a href='https://events.zoom.us/ev/AlEAyuY_fpmGG3-mSdtoTqLuXlCZ8MTgK3DBuDPV8-61XtlonECu~AvfzkKu8DQwJ5pb52gtD3MYnXGhqQ-admG4RE8JaYi492NDZE5NKPCeGaQ' target='_blank'><img src="/binaries/ctaimagelarge/content/gallery/acm/ctas/people/amanda-randles-techtalk.jpg" alt="amanda-randles-techtalk.jpg"></a><div class="cta-text"> <a href='https://events.zoom.us/ev/AlEAyuY_fpmGG3-mSdtoTqLuXlCZ8MTgK3DBuDPV8-61XtlonECu~AvfzkKu8DQwJ5pb52gtD3MYnXGhqQ-admG4RE8JaYi492NDZE5NKPCeGaQ' target='_blank'>Amanda Randles TechTalk</a></div> </div> </li> </ul> </div> </li> <li class="has-dropdown not-click active"><a href="#">ByteCast</a> <div class="dropdown clearfix"> <ul class="infonav clearfix"> <li class="infonav__linkList clearfix"> <a href="/bytecast" class="first">ByteCast Home</a> <ul class="infonav__linkList-list clearfix"> <li><a href="/bytecast/archive" title="ByteCast Archive" >ByteCast Archive</a></li> </ul> </li> <li class="infonav__landingPage"> <div> <p class="first">ACM ByteCast</p> <p>ACM ByteCast is a podcast series from ACM鈥檚 Practitioner Board in which hosts Rashmi Mohan, Bruke Kifle, and Scott Hanselman interview researchers, practitioners, and innovators who are at the intersection of computing research and practice. In each monthly episode, guests will share their experiences, the lessons they鈥檝e learned, and their own visions for the future of computing.</p> <p>Listen to the latest episode below, or wherever you get your podcasts.</p></div> </li> <li class="infonav__ctaList"> <div class="infonav__ctaList-cta"> <a href='/bytecast/ep59-nashlie-sephus' target='_blank'><img src="/binaries/ctaimagelarge/content/gallery/acm/ctas/people/nashlie-sephus.jpg" alt="Image of Nashlie Sephus"></a><div class="cta-text"> <a href='/bytecast/ep59-nashlie-sephus' target='_blank'>ByteCast Ep59: Nashlie Sephus</a></div> </div> <div class="infonav__ctaList-cta"> <a href='/bytecast/ep58-wen-mei-hwu' target='_blank'><img src="/binaries/ctaimagelarge/content/gallery/acm/ctas/people/wen-mei-hwu-bytecast.jpg" alt="Image of Wen-Mei Hwu"></a><div class="cta-text"> <a href='/bytecast/ep58-wen-mei-hwu' target='_blank'>ByteCast Ep58: Wen-Mei Hwu</a></div> </div> <div class="infonav__ctaList-cta"> <a href='/bytecast/ep57-xavier-leroy' target='_blank'><img src="/binaries/ctaimagelarge/content/gallery/acm/ctas/people/xavier-leroy-bytecast.jpg" alt="Image of Xavier Leroy"></a><div class="cta-text"> <a href='/bytecast/ep57-xavier-leroy' target='_blank'>ByteCast Ep57: Xavier Leroy</a></div> </div> </li> </ul> </div> </li> <li class="has-dropdown not-click"><a href="#">Resources</a> <div class="dropdown clearfix"> <ul class="infonav clearfix"> <li class="infonav__linkList clearfix"> <a href="/resources" class="first">Resources Home</a> <ul class="infonav__linkList-list clearfix"> <li><a href="https://selects.acm.org/" title="ACM Selects" >ACM Selects</a></li> </ul> </li> <li class="infonav__landingPage"> <div> <p class="first">About Resources</p> <p>Tune in to podcast interviews with global leaders in computing and IT, learn more about relevant ACM publications, conferences, job and career resources, networking opportunities, and other ways to get the most out of your ACM membership.</p></div> </li> <li class="infonav__ctaList"> <div class="infonav__ctaList-cta"> <div class="cta-text"> <a href='https://www.acm.org/membership/membership-options' target='_blank'>Membership Options and Rates</a></div> </div> <div class="infonav__ctaList-cta"> <div class="cta-text"> <a href='http://services.acm.org/public/brochures/sb_control.cfm?refpg=s' target='_blank'>Request ACM Membership Information</a></div> </div> </li> </ul> </div> </li> <li class="has-dropdown not-click"><a href="#">FAQs</a> <div class="dropdown clearfix"> <ul class="infonav clearfix"> <li class="infonav__linkList clearfix"> <a href="/faq" class="first">FAQs Home</a> <ul class="infonav__linkList-list clearfix"> <li><a href="/faq/oreilly-faqs" title="O'Reilly FAQs" >O'Reilly FAQs</a></li> <li><a href="/faq/pluralsight-faqs" title="Pluralsight FAQs" >Pluralsight FAQs</a></li> <li><a href="/faq/skillsoft-faqs" title="Skillsoft FAQs" >Skillsoft FAQs</a></li> </ul> </li> <li class="infonav__landingPage"> <div> <p class="first">About FAQs</p> <p>Find answers to the most common questions regarding our Skillsoft online learning platforms.</p></div> </li> <li class="infonav__ctaList"> <div class="infonav__ctaList-cta"> <a href='https://www.acm.org/membership/csfaq' target='_blank'><img src="/binaries/ctaimagelarge/content/gallery/acm/ctas/membership-faq.jpg" alt="ACM membership FAQ"></a><div class="cta-text"> <a href='https://www.acm.org/membership/csfaq' target='_blank'>Customer Service FAQs</a></div> </div> <div class="infonav__ctaList-cta"> <div class="cta-text"> ACM Staff Directory</div> </div> </li> </ul> </div> </li> <li class="has-dropdown not-click"><a href="#">Practitioner Board</a> <div class="dropdown clearfix"> <ul class="infonav clearfix"> <li class="infonav__linkList clearfix"> <a href="/practitioner-board" class="first">Practitioner Board</a> <ul class="infonav__linkList-list clearfix"> <li><a href="/local-mentoring-committee" title="Local Mentoring Committee" >Local Mentoring Committee</a></li> <li><a href="/minigraphs" title="Minigraphs Committee" >Minigraphs Committee</a></li> <li><a href="/professional-development-committee" title="Professional Development Committee" >Professional Development Committee</a></li> </ul> </li> <li class="infonav__landingPage"> <div> <p class="first">Practitioner Board</p> <p>The Practitioner Board is responsible for developing programs that support the professional needs of ACM members as well as promoting computing as a profession. The Practitioner Board and Professional Development Committee focus on products and services that support and enhance the professional and technical development of practicing computing professionals, including engineers, architects, IT specialists and managers.</p></div> </li> <li class="infonav__ctaList"> <div class="infonav__ctaList-cta"> <a href='/bytecast/ep59-nashlie-sephus' target='_blank'><img src="/binaries/ctaimagelarge/content/gallery/acm/ctas/people/nashlie-sephus.jpg" alt="Image of Nashlie Sephus"></a><div class="cta-text"> <a href='/bytecast/ep59-nashlie-sephus' target='_blank'>ByteCast Ep59: Nashlie Sephus</a></div> </div> <div class="infonav__ctaList-cta"> <a href='/bytecast/ep58-wen-mei-hwu' target='_blank'><img src="/binaries/ctaimagelarge/content/gallery/acm/ctas/people/wen-mei-hwu-bytecast.jpg" alt="Image of Wen-Mei Hwu"></a><div class="cta-text"> <a href='/bytecast/ep58-wen-mei-hwu' target='_blank'>ByteCast Ep58: Wen-Mei Hwu</a></div> </div> <div class="infonav__ctaList-cta"> <a href='/bytecast/ep57-xavier-leroy' target='_blank'><img src="/binaries/ctaimagelarge/content/gallery/acm/ctas/people/xavier-leroy-bytecast.jpg" alt="Image of Xavier Leroy"></a><div class="cta-text"> <a href='/bytecast/ep57-xavier-leroy' target='_blank'>ByteCast Ep57: Xavier Leroy</a></div> </div> </li> </ul> </div> </li> </ul> </section> </nav> <nav class="section-nav"> <div class="section-nav-wrapper"> <ul> <li><a href="/bytecast" title="ByteCast Home">ByteCast Home</a></li> <span></span> <li><a href="/bytecast/archive" title="ByteCast Archive">ByteCast Archive</a></li> </ul> </div> </nav> </div> <div id="main" class="has-section-nav"> <div class="article content-detail"> <div class="row"> <div class="columns small-12"> <ul class="breadcrumbs"> <li><a href="/">Home</a></li> <li ><a href="/bytecast">ByteCast</a></li> <li class="current"> <a href="/bytecast/ep57-xavier-leroy">Ep57 Xavier Leroy</a> </li> </ul> </div> </div> <article class="has-edit-button"> <div class="row"> <div class="large-8 medium-8 small-12 columns"> <h1> Ep57 Xavier Leroy</h1> <div class="cookieconsent-optout-marketing" style="padding-bottom:1rem">Please <a href="#" onclick="Cookiebot.renew(); return false;" style="text-decoration:underline;">accept marketing cookies</a> to listen to this episode.</div> <div style="display: block;"><iframe allowtransparency="true" data-name="pb-iframe-player" height="150" loading="lazy" scrolling="no" src="https://www.podbean.com/player-v2/?i=8nvw4-16a1583-pb&from=pb6admin&share=1&download=1&rtl=0&fonts=Arial&skin=1&font-color=&logo_link=episode_page&btn-skin=7" style="border: none; min-width: min(100%, 430px);height:150px;" title="Xavier Leroy - Episode 57" width="100%"></iframe></div> <p>In this episode of ACM ByteCast, Harald St枚rrle hosts ACM Fellow and Software System Award recipient <strong>Xavier Leroy</strong>, 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 real-world settings as critical as Airbus aircraft. In the past, he was a senior scientist at INRIA, a leading French research institute in computer science, where he is currently a member of the Cambium research team. His honors and recognitions also include the ACM SIGPLAN Programming Languages Achievement Award and the Milner Award from the Royal Society.</p> <p>Xavier shares the evolution of Ocaml, which grew out of Caml, an early ML (Meta Language) variant, and how it came to be adopted by Jane Street Capital for its financial applications. He also talks about his interest in formal verification, whose adoption in the software industry is still low due to high costs and the need for mathematical specifications. Harald and Xavier also dive into a discussion of AI tools like Copilot and the current limitations of AI-generated code in software engineering. The conversation also touches on ACM鈥檚 efforts to become a more global and diverse organization and opportunities to bridge the gap between academia and industry.</p> <p><a href="/binaries/content/assets/leaning-center/bytecast-show-notes/acm-bytecast---xavier-leroy---episode-57---show-notesupdated.pdf">Download the show notes</a>.</p> <p><a href="/binaries/content/assets/leaning-center/bytecast-transcripts/acm_bytecast_ep_57_xavier_leroy_full_audio_mix---transcript-update.pdf">Download the transcript</a>.</p></div> <div class="columns large-4 medium-4 small-12"> <!-- <div class="section top"> <div class="wrapper"> --> <p> </p> <p> </p> <p><img alt="" src="/binaries/content/gallery/acm/ctas/learning-center/bytecast/bytecast-ep57-leroy.jpg" /></p><!-- </div> </div> --> </div> </div> </article> </div> </div> <div class="row"> <footer> <nav> <div class="footer-nav"> <ul class="footer-nav-lists"> <li> About ACM</li> <li><a href="https://www.acm.org/about-acm" title="About ACM">About ACM</a></li> <li><a href="https://www.acm.org/about-acm/get-involved" title="About ACM">Volunteer</a></li> </ul> <ul class="footer-nav-lists"> <li> Membership</li> <li><a href="https://www.acm.org/membership/join-acm" title="Membership">Join ACM</a></li> <li><a href="https://www.acm.org/membership/acm-membership-renewal" title="Membership">Renew My Membership</a></li> <li><a href="https://www.acm.org/membership/membership-options" title="Membership">Membership Options</a></li> <li><a href="https://www.acm.org/membership/membership-benefits" title="Membership">Membership Benefits</a></li> <li><a href="https://www.acm.org/membership/myacm-at-a-glance" title="Membership">myACM Sign-In</a></li> </ul> <ul class="footer-nav-lists"> <li> Publications</li> <li><a href="https://www.acm.org/publications" title="Publications">About Publications</a></li> <li><a href="https://www.acm.org/publications/digital-library" title="Publications">Digital Library</a></li> <li><a href="https://authors.acm.org/" title="Publications">Submit A Paper</a></li> </ul> <ul class="footer-nav-lists"> <li> Chapters</li> <li><a href="https://www.acm.org/chapters/chapter-administrative-interface" title="Chapters">Chapter Administrative Interface</a></li> <li><a href="https://www.acm.org/chapters/local-activities" title="Chapters">Chapter Activities Calendar</a></li> <li><a href="https://www.acm.org/chapters/start-chapter" title="Chapters">Start A Chapter</a></li> </ul> <ul class="footer-nav-lists"> <li> Awards</li> <li><a href="https://awards.acm.org" title="Awards">About ACM's Awards</a></li> </ul> <ul class="footer-nav-lists"> <li> Conferences</li> <li><a href="https://www.acm.org/conferences" title="Conferences">ACM's Conferences</a></li> </ul> <ul class="footer-nav-lists"> <li> Code of Ethics</li> <li><a href="https://www.acm.org/code-of-ethics" title="Code of Ethics">ACM's Code of Ethics</a></li> <li><a href="https://www.acm.org/code-of-ethics/enforcement-procedures" title="Code of Ethics">Enforcement Procedures</a></li> </ul> <ul class="footer-nav-lists"> <li> Media Center</li> <li><a href="https://www.acm.org/media-center" title="Media Center">ACM Media Center</a></li> </ul> </div> </nav> <div> <div> <div class="logo_social_group"> <hr /> <img src='/binaries/content/gallery/acm/logos/logo_footer_acm.png' alt='ACM Logo' /> <ul class="footer__social"> <li> <a href="https://www.facebook.com/AssociationForComputingMachinery/" target="_blank"> <img src="/binaries/content/gallery/acm/social-media/icon_facebook.png" alt="Facebook logo" /> </a> </li> <li> <a href="https://twitter.com/theofficialacm" target="_blank"> <img src="/binaries/content/gallery/acm/social-media/icon_x_twitter.png" alt="Twitter logo" /> </a> </li> <li> <a href="https://www.linkedin.com/company/association-for-computing-machinery" target="_blank"> <img src="/binaries/content/gallery/acm/social-media/icon_linkedin.png" alt="LinkedIn logo" /> </a> </li> <li> <a href="https://www.reddit.com/user/TheOfficialACM" target="_blank"> <img src="/binaries/content/gallery/acm/social-media/icon_reddit.png" alt="Reddit logo" /> </a> </li> <li> <a href="https://www.youtube.com/user/TheOfficialACM" target="_blank"> <img src="/binaries/content/gallery/acm/social-media/icon_youtube.png" alt="YouTube logo" /> </a> </li> <li> <a href="https://www.instagram.com/theofficialacm/" target="_blank"> <img src="/binaries/content/gallery/acm/social-media/icon_instagram.png" alt="Instagram" /> </a> </li> <li> <a href="https://www.flickr.com/photos/theofficialacm" target="_blank"> <img src="/binaries/content/gallery/acm/social-media/icon_flickr.png" alt="Flickr" /> </a> </li> <li> <a href="https://mastodon.acm.org/@ACM" target="_blank"> <img src="/binaries/content/gallery/acm/social-media/icon_mastodon.png" alt="Mastodon" /> </a> </li> </ul> </div> </div> </div> <div> <div> <ul class="footer__legal clearfix"> <li><a href="/">Home</a></li> <li><a href="https://www.acm.org">ACM Home</a></li> <li><a href="/sitemap">Sitemap</a></li> <li><a href="https://www.acm.org/about-acm/contact-us">Contact Us</a></li> <li><a href="https://www.acm.org/membership/acm-hq-contact">Member Services</a></li> <li><a href="https://www.acm.org/about-acm/privacy-policy">Privacy Policy</a></li> <li><a href="https://www.acm.org/accessibility">Accessibility</a></li> <li class="footer__copyright">Copyright © 2024, ACM, Inc</li> </ul> </div> </div> </footer> </div> <script data-cookieconsent="ignore" type="text/javascript" src="/js/acm.js?antiCache=1716999351349"></script> <script type="text/javascript" data-cookieconsent="ignore"> //<![CDATA[ $(document).ready(function(){ var wrapper = document.querySelector(".section-nav"); var nav = priorityNav.init({ mainNavWrapper: ".section-nav-wrapper", breakPoint: 0, navDropdownLabel: "MORE" }); }); //]]> </script> <script>$(document).foundation();</script> <script type="text/javascript" src="//s7.addthis.com/js/300/addthis_widget.js#pubid=ra-5654b74db1437702" async="async"></script> <script async src="https://www.googletagmanager.com/gtag/js?id=UA-215767196-1"></script> <script> window.dataLayer = window.dataLayer || []; function gtag(){ dataLayer.push(arguments); } gtag('js', new Date()); gtag('config', 'UA-215767196-1'); </script> </body> </html>