Cover Image

Model-Driven Engineering for Quantum Programming: A Case Study on Ground State Energy Calculation

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Polat, Furkan, Tuncer, Hasan, Moin, Armin, Challenger, Moharram
Format:	Preprint
Published:	2024
Subjects:	Quantum Physics Programming Languages Software Engineering
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Enhancing Architecture Frameworks by Including Modern Stakeholders and their Views/Viewpoints
by: Moin, Armin, et al.
Published: (2023)

GUPPY: Pythonic Quantum-Classical Programming
by: Koch, Mark, et al.
Published: (2025)

Is Productivity in Quantum Programming Equivalent to Expressiveness?
by: Corrales-Garro, Francini, et al.
Published: (2025)

Imperative Quantum Programming with Ownership and Borrowing in Guppy
by: Koch, Mark, et al.
Published: (2025)

State of the Quantum Software Engineering Ecosystem
by: Siavash, Nazanin, et al.
Published: (2026)

Traq: Estimating the Quantum Cost of Classical Programs
by: Peduri, Anurudh, et al.
Published: (2025)

ProMoTA: a model-driven framework for end-to-end traceability analysis
by: Mustafiz, Sadaf, et al.
Published: (2026)

Optimization Framework for Reducing Mid-circuit Measurements and Resets
by: Chen, Yanbin, et al.
Published: (2025)

Dead Gate Elimination
by: Chen, Yanbin, et al.
Published: (2025)

Automated Quantum Software and AI Engineering
by: Siavash, Nazanin, et al.
Published: (2026)

High-level reasoning while low-level actuation in Cyber-Physical Systems: How efficient is it?
by: Karaduman, Burak, et al.
Published: (2025)

QuanBench+: A Unified Multi-Framework Benchmark for LLM-Based Quantum Code Generation
by: Slim, Ali, et al.
Published: (2026)

Exploring LLM-Driven Explanations for Quantum Algorithms
by: d'Aloisio, Giordano, et al.
Published: (2024)

QbC: Quantum Correctness by Construction
by: Peduri, Anurudh, et al.
Published: (2023)

Model-Driven Quantum Code Generation Using Large Language Models and Retrieval-Augmented Generation
by: Siavash, Nazanin, et al.
Published: (2025)

Language-Driven Engineering An Interdisciplinary Software Development Paradigm
by: Steffen, Bernhard, et al.
Published: (2024)

On Repairing Quantum Programs Using ChatGPT
by: Guo, Xiaoyu, et al.
Published: (2024)

JustinANN: Realistic Test Generation for Java Programs Driven by Annotations
by: Cui, Baoquan, et al.
Published: (2025)

Qadence: a differentiable interface for digital-analog programs
by: Seitz, Dominik, et al.
Published: (2024)

"ENERGY STAR" LLM-Enabled Software Engineering Tools
by: Thakur, Himon, et al.
Published: (2026)

ReFuzzer: Feedback-Driven Approach to Enhance Validity of LLM-Generated Test Programs
by: Shree, Iti, et al.
Published: (2025)

CodeContests-O: Powering LLMs via Feedback-Driven Iterative Test Case Generation
by: Cai, Jianfeng, et al.
Published: (2026)

Decompiling Rust: An Empirical Study of Compiler Optimizations and Reverse Engineering Challenges
by: Zhou, Zixu
Published: (2025)

Innovative Approaches to Teaching Quantum Computer Programming and Quantum Software Engineering
by: Haghparast, Majid, et al.
Published: (2024)

LPR: Large Language Models-Aided Program Reduction
by: Zhang, Mengxiao, et al.
Published: (2023)

AI-Assisted Modeling: DSL-Driven AI Interactions
by: Smyth, Steven, et al.
Published: (2025)

Unveiling Code Clones in Quantum Programming: An Empirical Study with Qiskit
by: Manoku, Kenta, et al.
Published: (2025)

Strengthening Programming Comprehension in Large Language Models through Code Generation
by: Ren, Xiaoning, et al.
Published: (2025)

Formally Verifiable Generated ASN.1/ACN Encoders and Decoders: A Case Study
by: Bucev, Mario, et al.
Published: (2024)

Quantum Testing in the Wild: A Case Study with Qiskit Algorithms
by: Ramalho, Neilson Carlos Leite, et al.
Published: (2025)

Quantum-Based Software Engineering
by: Zhao, Jianjun
Published: (2025)

C*: Unifying Programming and Verification in C
by: Cao, Yiyuan, et al.
Published: (2025)

Concept-Based Generic Programming in C++
by: Stroustrup, Bjarne
Published: (2025)

An Incremental Algorithm for Algebraic Program Analysis
by: Zhou, Chenyu, et al.
Published: (2024)

LLM-Guided Compositional Program Synthesis
by: Khan, Ruhma, et al.
Published: (2025)

Program Structure Aware Precondition Generation
by: Dinella, Elizabeth, et al.
Published: (2023)

Challenges of Multilingual Program Specification and Analysis
by: Furia, Carlo A., et al.
Published: (2024)

How Programming Concepts and Neurons Are Shared in Code Language Models
by: Kargaran, Amir Hossein, et al.
Published: (2025)

Conceptual Mutation Testing for Student Programming Misconceptions
by: Prasad, Siddhartha, et al.
Published: (2023)

Towards Analyzing N-language Polyglot Programs
by: Prakash, Jyoti, et al.
Published: (2026)