paperbot · PL 论文追踪

全部论文 待读 收藏

P2 Quantum Computing is Getting Real

量子计算正走向现实
ASPLOS Proceedings of the Twenty-Third International Conference on Architectural Support for Programming Languages and Operating Systems2018匹配度 2/10 · 论文是量子计算领域的综述/愿景文章,虽提及语言设计、软硬件验证等 PL 相关挑战,但与用户核心方向(ML/Agentic 程序的静态分析、LLM 与静态分析/形式化验证交叉、浮点或贝叶斯程序分析)几乎没有直接关联。引用 3 inbox
Frederic T. Chong
crossref: 2026-09-12

AI 速览

一句话:指出量子计算进入实用拐点,并概述语言、验证、体系结构与编译优化等重大研究挑战。

本文指出量子计算正处于转折点:50量子比特机器已建成,100量子比特机器即将出现,1000量子比特机器可能仅需数年。此类机器有望改变可计算性观念,并在量子化学、优化和量子模拟等领域实用。然而实用量子算法与真实机器间仍存在显著资源差距,且缺乏从事软件与体系结构研究的计算机科学家。作者概述了弥合差距的重大挑战,包括编程语言设计、软硬件验证、抽象边界定义与穿透、跨层优化、并行与通信管理、计算映射与调度、控制复杂度降低、机器特定优化和错误模式学习等,并介绍了启动量子计算研究所需的资源与基础设施。

问题
实用量子算法与真实量子机器之间存在显著资源差距,且量子软件与体系结构方面的计算机科学家严重短缺。
方法
作者以研究挑战综述的方式,列举编程语言设计、软硬件验证、跨层优化、映射调度、错误模式学习等重大方向,并介绍相关研究资源与基础设施。
评估
本文为挑战与资源综述,未报告具体实验评估;其评估方式可理解为对开放问题与研究基础设施的梳理。
原文摘要(Abstract)

Quantum computing is at an inflection point, where 50-qubit (quantum bit) machines have been built, 100-qubit machines are just around the corner, and even 1000-qubit machines are perhaps only a few years away. These machines have the potential to fundamentally change our concept of what is computable and demonstrate practical applications in areas such as quantum chemistry, optimization, and quantum simulation. Yet a significant resource gap remains between practical quantum algorithms and real machines. There is an urgent shortage of the necessary computer scientists to work on software and architectures to close this gap. I will outline several grand research challenges in closing this gap, including programming language design, software and hardware verification, defining and perforating abstraction boundaries, cross-layer optimization, managing parallelism and communication, mapping and scheduling computations, reducing control complexity, machine-specific optimizations, learning error patterns, and many more. I will also describe the resources and infrastructure available for starting research in quantum computing and for tackling these challenges.

链接与引用

DOI 原文 ·

BibTeX
@inproceedings{paperbot4272,
  title = {Quantum Computing is Getting Real},
  author = {Frederic T. Chong},
  booktitle = {ASPLOS},
  year = {2018},
  doi = {10.1145/3173162.3177152}
}