视频 Episode 4: A distribution channel for AI innovation 2025年6月3日 | Jonathan M. Carlson, Will Guyman, Matthew Lungren, Cameron Runde, Smitha Saligrama In this episode, the panel explores… 02:31
视频 Episode 3: Collaborating faster 2025年6月3日 | Jonathan M. Carlson, Will Guyman, Matthew Lungren, Cameron Runde, Smitha Saligrama Healthcare innovation is moving mor… 07:18
视频 Episode 2: A multi-disciplinary approach 2025年6月3日 | Jonathan M. Carlson, Will Guyman, Matthew Lungren, Cameron Runde, Smitha Saligrama In this episode, the team explores … 05:34
视频 Episode 1: Tackling complex healthcare challenges 2025年6月3日 | Jonathan M. Carlson, Will Guyman, Matthew Lungren, Cameron Runde, Smitha Saligrama In this episode, Microsoft Research… 04:51
论文与出版物 Dynamic Region Ownership for Concurrency Safety Fridtjof Peer Stoldt, Brandt Bucher, Sylvan Clebsch, Matthew Johnson, Matthew J. Parkinson, Guido Van Rossum, Eric Snow, Tobias Wrigstad PACMPL | June 2025, 第 9 卷(PLDI) 项目
论文与出版物 PulseCore: An Impredicative Concurrent Separation Logic for Dependently Typed Programs Gabriel Ebner, Guido Martínez, Aseem Rastogi, Thibault Dardinier, Megan Frisella, Tahina Ramananandro, Nikhil Swamy 2025 Programming Language Design and Implementation | June 2025 项目
论文与出版物 SWE-bench Goes Live! Linghao Zhang, Shilin He, Chaoyun Zhang, Yu Kang, Bowen Li, Chengxing Xie, J. Wang, Maoquan Wang, Yufan Huang, Shengyu Fu, Elsie Nallipogu, Qingwei Lin 林庆维, Yingnong Dang, Saravan Rajmohan, Dongmei Zhang NeurIPS 2025 | May 2025 项目
论文与出版物 Apiary: An OS for the Modern FPGA Katie Lim, Matthew Giordano, Irene Zhang, Baris Kasikci, Thomas Anderson 2025 Workshop on Hot Topics in Operating Systems | May 2025
