Ideas: Bug hunting with Shan Lu

Microsoft Research Podcast

Player FM - Internet Radio Done Right

94 subscribers

تمت الإضافة منذ قبل six عام

المحتوى المقدم من Researchers across the Microsoft research community. يتم تحميل جميع محتويات البودكاست بما في ذلك الحلقات والرسومات وأوصاف البودكاست وتقديمها مباشرة بواسطة Researchers across the Microsoft research community أو شريك منصة البودكاست الخاص بهم. إذا كنت تعتقد أن شخصًا ما يستخدم عملك المحمي بحقوق الطبع والنشر دون إذنك، فيمكنك اتباع العملية الموضحة هنا https://ar.player.fm/legal.

Exile

1
Episode 10: From Refugee to Radical 44:09

منذ 2 years44:09

التشغيل لاحقا

قوائم

إعجاب

احب

44:09

When a young Eva Kollisch arrives as a refugee in New York in 1940, she finds a community among socialists who share her values and idealism. She soon discovers ‘the cause’ isn’t as idyllic as it seems. Little does she know this is the beginning of a lifelong commitment to activism and her determination to create radical change in ways that include belonging, love and one's full self. In addition to Eva Kollisch’s memoirs Girl in Movement (2000) and The Ground Under My Feet (2014), LBI’s collections include an oral history interview with Eva conducted in 2014 and the papers of Eva’s mother, poet Margarete Kolllisch, which document Eva’s childhood experience on the Kindertransport. Learn more at www.lbi.org/kollisch . Exile is a production of the Leo Baeck Institute , New York | Berlin and Antica Productions . It’s narrated by Mandy Patinkin. Executive Producers include Katrina Onstad, Stuart Coxe, and Bernie Blum. Senior Producer is Debbie Pacheco. Associate Producers are Hailey Choi and Emily Morantz. Research and translation by Isabella Kempf. Sound design and audio mix by Philip Wilson, with help from Cameron McIver. Theme music by Oliver Wickham. Voice acting by Natalia Bushnik. Special thanks to the Kollisch family for the use of Eva’s two memoirs, “Girl in Movement” and “The Ground Under My Feet”, the Sophia Smith Collection at Smith College and their “Voices of Feminism Oral History Project”, and Soundtrack New York.…

منذ عام واحد 45:16

MP3•منزل الحلقة

Struggles with programming languages helped research manager Shan Lu find her calling as a bug hunter. She discusses one bug that really haunted her, the thousands she’s identified since, and how she’s turning to LLMs to help make software more reliable.

200 حلقات

#Tech #Machine Learning #Researchers across the Microsoft research community

Ideas: Bug hunting with Shan Lu

Microsoft Research Podcast

94 subscribers

published منذ عام واحد

MP3•منزل الحلقة

200 حلقات

#Tech #Machine Learning #Researchers across the Microsoft research community

كل الحلقات

Microsoft Research Podcast

1
The AI Revolution in Medicine, Revisited: An Introduction 11:48

منذ 1 day11:48

11:48

Host Peter Lee, Microsoft Research president, discusses the motivation behind the new series and the GPT-4 encounter that helped him view the tech not only as a potential tool for improving healthcare but a chance to reexamine what it means to care for people.

Microsoft Research Podcast

1
Ideas: Quantum computing redefined with Chetan Nayak 57:04

منذ 16 يومًا57:04

57:04

Microsoft announced the creation of the first topoconductor and first QPU architecture with a topological core. Dr. Chetan Nayak, a technical fellow of Quantum Hardware at the company, discusses how the breakthroughs are redefining the field of quantum computing.

Microsoft Research Podcast

1
Ideas: Building AI for population-scale systems with Akshay Nambi 25:41

منذ 24 يومًا25:41

25:41

In this episode, guest host Chris Stetkiewicz talks with Microsoft Principal Researcher Akshay Nambi about his focus on developing AI-driven technology that addresses real-world challenges at scale. Drawing on firsthand experiences, Nambi combines his expertise in electronics and computer science to create systems that enhance road safety, agriculture, and energy infrastructure. He’s currently working on AI-powered tools to improve education, including a digital assistant that can help teachers work more efficiently and create effective lesson plans and solutions to help improve the accuracy of models underpinning AI tutors.…

Microsoft Research Podcast

1
Ideas: Bug hunting with Shan Lu 45:16

منذ 6 weeks45:16

45:16

Microsoft Research Podcast

1
Ideas: AI for materials discovery with Tian Xie and Ziheng Lu 49:58

منذ 7 weeks49:58

49:58

How do you generate and test materials that don’t exist yet? Researchers Tian Xie and Ziheng Lu share the story behind MatterGen and MatterSim, AI tools poised to transform materials discovery and help drive advances in energy, manufacturing, and sustainability.

Microsoft Research Podcast

1
Ideas: AI and democracy with Madeleine Daepp and Robert Osazuwa Ness 51:23

منذ 11 weeks51:23

51:23

As the “biggest election year in history” comes to an end, researchers Madeleine Daepp and Robert Osazuwa Ness and Democracy Forward GM Ginny Badanes discuss AI’s impact on democracy, including Daepp and Ness’s research into the tech’s use in Taiwan and India.

Microsoft Research Podcast

1
NeurIPS 2024: The co-evolution of AI and systems with Lidong Zhou 17:36

منذ 11 weeks17:36

17:36

Just after his NeurIPS 2024 keynote on the co-evolution of systems and AI, Microsoft CVP Lidong Zhou joins the podcast to discuss how rapidly advancing AI impacts the systems supporting it and the opportunities to use AI to enhance systems engineering itself. Learn more : Verus: A Practical Foundation for Systems Verification | Publication, November 2024 SuperBench: Improving Cloud AI Infrastructure Reliability with Proactive Validation | Publication, July 2024 BitNet: Scaling 1-bit Transformers for Large Language Models | Publication, October 2023…

Microsoft Research Podcast

1
NeurIPS 2024: AI for Science with Chris Bishop 21:49

منذ 12 weeks21:49

21:49

In this special edition of the podcast, Technical Fellow and Microsoft Research AI for Science Director Chris Bishop joins guest host Eliza Strickland in the Microsoft Booth at the 38th annual Conference on Neural Information Processing Systems (NeurIPS) in Vancouver, British Columbia, to talk about deep learning’s potential to improve the speed and scale at which scientific advancements can be made.…

Microsoft Research Podcast

1
Abstracts: NeurIPS 2024 with Jindong Wang and Steven Euijong Whang 11:34

منذ 12 weeks11:34

11:34

Researcher Jindong Wang and Associate Professor Steven Euijong Whang explore the NeurIPS 2024 work ERBench. ERBench leverages relational databases to create LLM benchmarks that can verify model rationale via keywords in addition to checking answer correctness. Read the paper Get datasets and codes

Microsoft Research Podcast

1
Abstracts: NeurIPS 2024 with Weizhu Chen  8:27

منذ 13 weeks8:27

8:27

Next-token prediction trains a language model on all tokens in a sequence. VP Weizhu Chen discusses his team’s 2024 NeurIPS paper on how distinguishing between useful and “noisy” tokens in pretraining can improve token efficiency and model performance. Read the paper Get the code

Microsoft Research Podcast

1
Abstracts: NeurIPS 2024 with Pranjal Chitale 10:45

منذ 13 weeks10:45

10:45

Pranjal Chitale discusses the 2024 NeurIPS work CVQA. Spanning 31 languages and the cultures of 30 countries, this VQA benchmark was created with native speakers and cultural experts to evaluate model performance across diverse linguistic and cultural contexts. Read the paper Get the dataset

Microsoft Research Podcast

1
Abstracts: NeurIPS 2024 with Dylan Foster 10:42

منذ 13 weeks10:42

10:42

Can existing algorithms designed for simple reinforcement learning problems be used to solve more complex RL problems? Researcher Dylan Foster discusses the modular approach he and his coauthors explored in their 2024 NeurIPS paper on RL under latent dynamics. Read the paper

Microsoft Research Podcast

1
Ideas: Economics and computation with Nicole Immorlica 36:15

منذ 13 weeks36:15

36:15

When Senior Principal Research Manager Nicole Immorlica discovered she could use math to make the world a better place for people, she was all in. She discusses working in computer science theory and economics, including studying the impact of algorithms and AI on markets.

Microsoft Research Podcast

1
Ideas: The journey to DNA data storage 42:39

منذ 15 weeks42:39

42:39

Research manager Karin Strauss and members of the DNA Data Storage Project reflect on the path to developing a synthetic DNA–based system for archival data storage, including the recent open-source release of its most powerful algorithm for DNA error correction. Get the Trellis BMA code: GitHub - microsoft/TrellisBMA: Trellis BMA: coded trace reconstruction on IDS channels for DNA storage…

Microsoft Research Podcast

1
Abstracts: November 14, 2024 13:30

منذ 16 weeks13:30

13:30

The efficient simulation of molecules has the potential to change how the world understands biological systems and designs new drugs and biomaterials. Tong Wang discusses AI2BMD, an AI-based system designed to simulate large biomolecules with speed and accuracy. Read the paper Get the code

مرحبًا بك في مشغل أف ام!

يقوم برنامج مشغل أف أم بمسح الويب للحصول على بودكاست عالية الجودة لتستمتع بها الآن. إنه أفضل تطبيق بودكاست ويعمل على أجهزة اندرويد والأيفون والويب. قم بالتسجيل لمزامنة الاشتراكات عبر الأجهزة.