Search Results

Documents authored by Murillo, Juan Manuel

Document
DOI: 10.4230/OASIcs.Programming.2025.17
Locus: A Proposal for Quantum Software Composition

Authors: Javier Zayas Gallardo, Francisco Chicano, Carlos Canal, and Juan Manuel Murillo

Published in: OASIcs, Volume 134, Companion Proceedings of the 9th International Conference on the Art, Science, and Engineering of Programming (Programming 2025)

Abstract
The way quantum programs based on circuits are built today has many analogies with how assembler routines were developed in the past. This way of writing programs is not only tedious but also makes it difficult to achieve good quality attributes such as reusability or maintainability. One of the main advances in improving the quality of classical software, as well as increasing programmers' productivity, was raising the level of abstraction in programming languages. This allowed developers to move away from direct bit-level operations - such as rotation, shifting, addition, or carry handling - toward working with a set of basic data types like Integer, Float, or Character, along with well-defined operations on them. We believe that introducing similar mechanisms in the field of Quantum Programming will help to achieve comparable benefits in quantum software. This paper presents the authors' preliminary efforts in this direction, introducing the concept of locus.
Cite as

Javier Zayas Gallardo, Francisco Chicano, Carlos Canal, and Juan Manuel Murillo. Locus: A Proposal for Quantum Software Composition. In Companion Proceedings of the 9th International Conference on the Art, Science, and Engineering of Programming (Programming 2025). Open Access Series in Informatics (OASIcs), Volume 134, pp. 17:1-17:10, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)

Copy BibTex To Clipboard

@InProceedings{zayasgallardo_et_al:OASIcs.Programming.2025.17,
  author =	{Zayas Gallardo, Javier and Chicano, Francisco and Canal, Carlos and Murillo, Juan Manuel},
  title =	{{Locus: A Proposal for Quantum Software Composition}},
  booktitle =	{Companion Proceedings of the 9th International Conference on the Art, Science, and Engineering of Programming (Programming 2025)},
  pages =	{17:1--17:10},
  series =	{Open Access Series in Informatics (OASIcs)},
  ISBN =	{978-3-95977-382-9},
  ISSN =	{2190-6807},
  year =	{2025},
  volume =	{134},
  editor =	{Edwards, Jonathan and Perera, Roly and Petricek, Tomas},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.Programming.2025.17},
  URN =		{urn:nbn:de:0030-drops-243018},
  doi =		{10.4230/OASIcs.Programming.2025.17},
  annote =	{Keywords: Locus, Quantum programming, Quantum circuits}
}
Document
DOI: 10.4230/DagRep.14.12.63
Quantum Software Engineering (Dagstuhl Seminar 24512)

Authors: Shaukat Ali, Johanna Barzen, Andrea Delgado, Hausi A. Müller, and Juan Manuel Murillo

Published in: Dagstuhl Reports, Volume 14, Issue 12 (2025)

Abstract
The Dagstuhl Seminar 24512 on "Quantum Software Engineering" was held from December 15 to 20, 2024. It brought together 26 participants from industry and academia from 13 different countries, including senior and junior researchers as well as practitioners in the field of Quantum Software Engineering. The aim of the seminar was to advance software engineering methods and tools for the engineering of hybrid quantum systems by promoting personal interaction and open discussion among researchers who are already working in this emerging area of knowledge. The first day of the seminar was devoted to the topic "When software engineering meets quantum mechanics", while the second day focused on "Quantum software engineering and its challenges." During both days, 16 invited presentations were given. The rest of the seminar was organized into three working groups to address the topics "Quantum Software Design, Modelling and Architecturing", "Adaptive Hybrid Quantum Systems", and "Quantum Software Quality Assurance". The seminar was a very fruitful experience for all participants both in terms of scientific outcomes and in terms of the personal relationships that were generated to jointly address future experiences.
Cite as

Shaukat Ali, Johanna Barzen, Andrea Delgado, Hausi A. Müller, and Juan Manuel Murillo. Quantum Software Engineering (Dagstuhl Seminar 24512). In Dagstuhl Reports, Volume 14, Issue 12, pp. 63-84, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)

Copy BibTex To Clipboard

@Article{ali_et_al:DagRep.14.12.63,
  author =	{Ali, Shaukat and Barzen, Johanna and Delgado, Andrea and M\"{u}ller, Hausi A. and Murillo, Juan Manuel},
  title =	{{Quantum Software Engineering (Dagstuhl Seminar 24512)}},
  pages =	{63--84},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2025},
  volume =	{14},
  number =	{12},
  editor =	{Ali, Shaukat and Barzen, Johanna and Delgado, Andrea and M\"{u}ller, Hausi A. and Murillo, Juan Manuel},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.14.12.63},
  URN =		{urn:nbn:de:0030-drops-230469},
  doi =		{10.4230/DagRep.14.12.63},
  annote =	{Keywords: adaptive hybrid quantum systems, Linear algebra, Quantum algorithms, Quantum architecture, Quantum circuit compilation, Quantum computing, Quantum machine learning, Quantum modeling, Quantum networking, Quantum optimization, Quantum runtime systems, Quantum simulation, quantum software design, Quantum software development, Quantum software engineering, quantum software quality assurance, Quantum software stack and platforms}
}
Any Issues?
X

Feedback on the Current Page

CAPTCHA

Thanks for your feedback!

Feedback submitted to Dagstuhl Publishing

Could not send message

Please try again later or send an E-mail
© 2023-2025 Schloss Dagstuhl – LZI GmbH About DROPS Imprint Privacy Contact