paperbot · PL 论文追踪

全部论文 待读 收藏

P2 M2QCode: A Model-Driven Framework for Generating Multi-Platform Quantum Programs

M2QCode:面向多平台量子程序生成的模型驱动框架
ASE 2025 40th IEEE/ACM International Conference on Automated Software Engineering (ASE)2025匹配度 2/10 · 论文属于编程语言/DSL与建模方向,但核心是模型驱动生成多平台量子程序,未涉及静态分析、LLM/Agent、浮点程序分析或贝叶斯程序分析等用户核心问题;仅与“编程语言/建模”有非常宽泛的领域交集。引用 0 inbox
Xiaoyu Guo, Shinobu Saito, Jianjun Zhao
crossref: 2026-09-12

AI 速览

一句话:提出基于模型驱动开发的框架,可从统一模型自动生成多种量子编程语言代码。

随着量子计算的发展与量子霸权里程碑的出现,诸多量子编程语言(QPL)被提出以支持量子算法开发,但模型驱动开发(MDD)在量子系统工程中的应用仍鲜有探索。本文提出一种基于 MDD 的方法,用于支持量子系统的结构化设计与实现。该框架以模型为核心表示,通过模型到代码的转换自动生成面向多种量子编程语言的量子程序,从而提升异构量子平台间开发的效率与一致性,避免针对每个平台重复手写代码。作者通过多个案例研究验证了方法的有效性与实用性。

问题
量子系统工程中缺乏模型驱动开发的支持,难以在多种异构量子编程语言与平台之间进行结构化设计与一致的代码实现。
方法
提出 MDD 框架 M2QCode,以统一模型描述量子程序,并通过模型转换自动生成多种量子编程语言的代码。
评估
通过多个案例研究展示了该框架的有效性与实用性。
原文摘要(Abstract)

With the growing interest in quantum computing, the emergence of quantum supremacy has marked a pivotal milestone in the field. As a result, numerous quantum programming languages (QPLs) have been introduced to support the development of quantum algorithms. However, the application of Model-Driven Development (MDD) in quantum system engineering remains largely underexplored. This paper presents an MDD-based approach to support the structured design and implementation of quantum systems. Our framework enables the automatic generation of quantum code for multiple QPLs, thereby enhancing development efficiency and consistency across heterogeneous quantum platforms. The effectiveness and practicality of our approach have been demonstrated through multiple case studies.

链接与引用

DOI 原文 ·

BibTeX
@inproceedings{paperbot9438,
  title = {M2QCode: A Model-Driven Framework for Generating Multi-Platform Quantum Programs},
  author = {Xiaoyu Guo and Shinobu Saito and Jianjun Zhao},
  booktitle = {ASE},
  year = {2025},
  doi = {10.1109/ase63991.2025.00301}
}