6 papers
When Abstraction Breaks Physics: Rethinking Modular Design in Quantum Software
Jianjun Zhao
Abstraction is a fundamental principle in classical software engineering, which enables modularity, reusability, and scalability. However, quantum programs adhere to fundamentally…
M2QCode: A Model-Driven Framework for Generating Multi-Platform Quantum Programs
Xiaoyu Guo, Shinobu Saito, Jianjun Zhao
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…
QuanBench: Benchmarking Quantum Code Generation with Large Language Models
Xiaoyu Guo, Minggu Wang, Jianjun Zhao
Large language models (LLMs) have demonstrated good performance in general code generation; however, their capabilities in quantum code generation remain insufficiently studied. Th…
Zero-shot Face Editing via ID-Attribute Decoupled Inversion
Yang Hou, Minggu Wang, Jianjun Zhao
Recent advancements in text-guided diffusion models have shown promise for general image editing via inversion techniques, but often struggle to maintain ID and structural consiste…
QuanUML: Towards A Modeling Language for Model-Driven Quantum Software Development
Xiaoyu Guo, Shinobu Saito, Jianjun Zhao
This paper introduces QuanUML, an extension of the Unified Modeling Language (UML) tailored for quantum software systems. QuanUML integrates quantum-specific constructs, such as qu…
Quantum Concolic Testing
Shangzhou Xia, Jianjun Zhao, Fuyuan Zhang +1
This paper presents the first concolic testing framework explicitly designed for quantum programs. The framework introduces quantum constraint generation methods for quantum contro…