XiaoMi-AI文件搜索系统
World File Search SystemPLDI
Xiaodi Wu – 马里兰大学计算机科学副教授
PC 成员 ⋄ 第九届量子计算、通信和密码理论会议（TQC 2014）。 ⋄ 第二十届量子信息处理年会（QIP 2017）。 ⋄ 第二十一届量子信息处理年会（QIP 2018）。 ⋄ 与 ICSE 2020 和 ICSE 2021 共同举办的量子软件工程国际研讨会 (Q-SE 2020、Q-SE 2021)。 ⋄ 第十五届量子计算、通信和密码理论会议 (TQC 2020)。 ⋄ 2021 年 IEEE 国际量子计算与工程会议 (QCE 2021)。 ⋄ 第 43 届 ACM SIGPLAN 编程语言设计与实现会议 (PLDI 2022)。 ⋄（领域主席）第 10 届学习表征国际会议（ICLR 2022）。⋄ 量子计算理论实践研讨会 QCTIP 2022。⋄（领域主席）第 36 届神经信息处理系统会议（NeurIPS 2022）。⋄（领域主席）第 40 届机器学习国际会议（ICML 2023）。⋄（领域主席）第 37 届神经信息处理系统会议（NeurIPS 2023）。⋄ 第 51 届 ACM SIGPLAN 编程语言原理研讨会（POPL 2024）。⋄ 第 45 届 ACM SIGPLAN 编程语言设计与实现会议（PLDI 2024）。⋄（领域主席）第 41 届机器学习国际会议（ICML 2024）。 ⋄（领域主席）第 38 届神经信息处理系统会议（NeurIPS 2024）。⋄（高级 PC）第 39 届 AAAI 人工智能会议（AAAI 2025）。⋄ 第 46 届 ACM SIGPLAN 编程语言设计与实现会议（PLDI 2025）。⋄（领域主席）第 42 届机器学习国际会议（ICML 2025）。
black计算机科学助理教授
组织者 2024 年 Sammaniversary 研讨会，庆祝 Saman Amarasinghe 60 岁生日。在麻省理工学院举办。 2024 年稀疏研讨会（原 CTSTA） 汇集稀疏张量代数、图算法和关系代数编程系统领域的顶尖研究人员的研讨会。与 PLDI 在同一地点举行。 2023 年稀疏张量代数编译器技术研讨会 汇集稀疏张量代数编译和计算领域的顶尖研究人员的研讨会。与 PLDI 在同一地点举行。 2019 年稀疏张量代数编译器技术特邀研讨会 邀请来自 11 所大学、6 家公司和 3 个国家实验室的稀疏张量代数编译和计算领域的顶尖研究人员。 2012–2013 年 MIT 编程语言场外务虚会 七位 CSAIL 教授及其研究小组参加。围绕许多简短的演讲重新组织了节目，主持了小组讨论，邀请了外部演讲者，并发表了开幕词。
Ravi Mangal
荣誉和奖项被邀请参加NII Shonan会议，参加受信任的自动节目2025的邀请参加Dagstuhl的dagstuhl研讨会，以讨论自主系统的韧性和抗侵犯性2024邀请参加DARPA AI前进工作室2023年邀请参加DAGSTUHL奖学金，从而区分机器学习和log fornecy fornecy fornecy fornecy fornecy fornec fornec fornec fornec fornec fornec fornec fornec fornec fornec 202 222 22 22 22 22222. 2014年PLDI 2014年ESOP奖提名人
- 智信（Jiani Huang）：研究声明
现代机器学习彻底改变了各种领域的问题解决，包括软件工程，科学发现和医学。随着语言，图像和多模式数据的基础模型的进步，最终用户可以完成复杂的任务，否则将需要大量的专业知识和资源。然而，尽管有这些显着的进步，但深度学习仍面临许多局限性。重要的是，它在需要结构，逻辑和计划的问题上挣扎 - 传统符号推理表现出色的地方。在他的2011年经典思维中快速慢，卡尼曼将人类的认知描述为与神经网络类似于神经网络的直观，关联的“系统1”与逻辑上的“系统2”之间的相互作用。将这两个范式的互补优势结合到统一系统中是人工智能的基本挑战。Neurosymbolic编程是一个有希望的新兴范式，旨在应对这一挑战。我的研究重点是神经符号编程的基础，即跨越正式的语义，语言设计和学习算法，以及其在涉及自然语言推理，计算机视觉和多模式整合的现实世界中的应用。为此，我追求了两个互补的研究方向：扇贝，通用神经成像节目的框架，发表在（Neurips 2021），（PLDI 2023），（PLDI 2023），（AAAI 2024）中，以及在基础中的基础和趋势（FNT 2024）的基础和趋势（FNT 2024）中的邀请专着和趋势;以及一系列逐渐高级的应用，以增强推理的复杂性并整合了越来越多样化的模式，这些方式发表在（ICML 2020），（ACL 2023）和（TR 2024）中。
简历.pdf
1. Anita Buckley、Pavel Chuprikov、Rodrigo Otoni、Robert Soulé、Robert Rand 和 Patrick Eugster (2024)。用于指定量子网络的代数语言。编程语言设计和实现 (PLDI)。2. Anita Buckley、Pavel Chuprikov、Rodrigo Otoni、Robert Rand、Robert Soulé 和 Patrick Eugster (2023)。面向量子网络的代数规范。量子网络和分布式量子计算 (QuNet)。3. Yuxiang Peng、Kesha Hietala、Runzhou Tao、Liyi Li、Robert Rand、Michael Hicks 和 Xiaodi Wu (2023)。Shor 分解算法的正式认证端到端实现。美国国家科学院院刊 (PNAS)。 4. Finn Voichick、Liyi Li、Robert Rand 和 Michael Hicks (2023)。Qunity：一种用于量子和经典计算的统一语言。编程语言原理 (POPL)。5. Giovanni De Micheli、Jie-Hong R. Jiang、Robert Rand、Kaitlin Smith 和 Mathias Soeken (2022)。量子计算和量子技术的进展：设计自动化视角。IEEE 电路与系统新兴和精选主题杂志。6. Kartik Singhal、Kesha Hietala、Sarah Marshall 和 Robert Rand (2022)。Q# 作为量子算法语言。量子物理与逻辑 (QPL)。7. Kesha Hietala、Robert Rand、Shih-Han Hung、Liyi Li 和 Michael Hicks (2021)。证明量子程序正确。交互式定理证明 (ITP)。8. Kesha Hietala、Robert Rand、Shih-Han Hung、Xiaodi Wu 和 Michael Hicks (2021)。量子电路的经过验证的优化器。编程语言原理 (POPL)。9. Robert Rand、Aarthi Sundaram、Kartik Singhal 和 Brad Lackey (2020)。量子程序的 Gottesman 类型。量子物理和逻辑 (QPL)。10. Robert Rand、Kesha Hietala 和 Michael Hicks (2019)。形式验证与量子不确定性。编程语言进步峰会 (SNAPL)。11. Robert Rand、Jennifer Paykin、Dong-Ho Lee 和 Steve Zdancewic (2018)。ReQWIRE：关于可逆量子电路的推理。量子物理和逻辑 (QPL)。 12. Jennifer Paykin、Robert Rand 和 Steve Zdancewic (2017)。QWIRE：量子电路的核心语言。编程语言原理 (POPL)。13. Robert Rand、Jennifer Paykin 和 Steve Zdancewic (2017)。QWIRE 实践：Coq 中量子电路的形式化验证。量子物理与逻辑 (QPL)。