Fetching the paper…
Reading the bibliography…
Quantum software plays a critical role in exploiting the full potential of quantum computing systems.
Quantum programming: from theories to implementations
Mingsheng Ying, Yuan Feng, Runyao Duan, Yangjia Li, and Nengkun Yu. 2012 · 1909
Earlier work this paper cites.
Can quantum-mechanical description of physical reality be considered complete?
Albert Einstein, Boris Podolsky, and Nathan Rosen. 1935 · 1935
Earlier work this paper cites.
Discussion of probability relations between separated systems. In Mathematical Proceedings of the Cambridge Philosophical Society , Vol. 31. Cambridge University Press, 555–563
Erwin Schrödinger. 1935 · 1935
Earlier work this paper cites.
The logic of quantum mechanics
Garrett Birkhoff and John Von Neumann. 1936 · 1936
Earlier work this paper cites.
Systems engineering methods
Harold Chestnut. 1967 · 1967
Earlier work this paper cites.
Assigning meanings to program. In Proc. Symposia in Applied Mathematics, 1967 , Vol. 19. 19–32
RW FLOYD. 1967 · 1967
Earlier work this paper cites.
An axiomatic basis for computer programming
Charles Antony Richard Hoare. 1969 · 1969
Earlier work this paper cites.
Software Engineering: Report of a conference sponsored by the NATO Science Committee, Garmisch, Germany, 7th-11th October 1968
Peter Naur and Brian Randell. 1969 · 1969
Earlier work this paper cites.
Managing the development of large software systems: concepts and techniques. In Proceedings of the WESCON
Winston W Royce. August, 1970 · 1970
Earlier work this paper cites.
Structured programming
Ole-Johan Dahl, Edsger Wybe Dijkstra, and Charles Antony Richard Hoare. 1972 · 1972
Earlier work this paper cites.
Software Engineering
Barry W. Boehm. 1976 · 1976
Earlier work this paper cites.
The entity-relationship model—toward a unified view of data
Peter Pin-Shan Chen. 1976 · 1976
Earlier work this paper cites.
A pattern language: towns, buildings, construction
Christopher Alexander. 1977 · 1977
Earlier work this paper cites.
Composite/structured design
Glenford J. Myers. 1978 · 1978
Earlier work this paper cites.
The art of software testing
Glenford J Myers. 1979 · 1979
Earlier work this paper cites.
Structured design: fundamentals of a discipline of computer program and systems design
Edward Yourdon and Larry L Constantine. 1979 · 1979
Earlier work this paper cites.
A specification language
Jean-Raymond Abrial, SA Schuman, and Bertrand Meyer. 1980 · 1980
Earlier work this paper cites.
Software maintenance management
Bennett P Lientz and E Burton Swanson. 1980 · 1980
Earlier work this paper cites.
The principles of quantum mechanics
Paul Adrien Maurice Dirac. 1981 · 1981
Earlier work this paper cites.
Validation, verification, and testing of computer software
W Richards Adrion, Martha A Branstad, and John C Cherniavsky. 1982 · 1982
Earlier work this paper cites.
Simulating physics with computers
Richard P Feynman. 1982 · 1982
Earlier work this paper cites.
Algorithmic program diagnosis. In Proceedings of the 9th ACM SIGPLAN-SIGACT symposium on Principles of programming languages . 299–308
Ehud Y Shapiro. 1982 · 1982
Earlier work this paper cites.
Software testing techniques
B Beiser. 1983 · 1983
Earlier work this paper cites.
Algorithmic program debugging
Ehud Y Shapiro. 1983 · 1983
Earlier work this paper cites.
Programming pearls: confessions of a coder
Jon Bentley. 1985 · 1985
Earlier work this paper cites.
The science and art of debugging
JH Bradley. 1985 · 1985
Earlier work this paper cites.
Quantum theory, the Church–Turing principle and the universal quantum computer
David Deutsch. 1985 · 1985
Earlier work this paper cites.
Evolutionary acquisition of command and control systems
Edward Hirsch. 1985 · 1985
Earlier work this paper cites.
Using Pattern Languages for Object-Oriented Programs. In OOPSLA-87
K BECK. 1987 · 1987
Earlier work this paper cites.
A spiral model of software development and enhancement
Barry W Boehm. 1988 · 1988
Earlier work this paper cites.
Reverse engineering and design recovery: a taxonomy
Elliot J. Chikofsky and James H Cross. 1990 · 1990
Earlier work this paper cites.
IEEE standard glossary of software engineering terminology. Institute of Electrical and Electronics Engineers
IEEE Computer Society. Software Engineering Technical Committee. 1990 · 1990
Earlier work this paper cites.
A general framework for debugging
Keijiro Araki, Zengo Furukawa, and Jingde Cheng. 1991 · 1991
Earlier work this paper cites.
Rapid solution of problems by quantum computation
David Deutsch and Richard Jozsa. 1992 · 1992
Earlier work this paper cites.
Software reuse
Charles W Krueger. 1992 · 1992
Earlier work this paper cites.
Program debugging environments, design and utilization
Beatrice Lazzerini and Lanfranco Lopriore. 1992 · 1992
Earlier work this paper cites.
Foundations for the study of software architecture
Dewayne E Perry and Alexander L Wolf. 1992 · 1992
Earlier work this paper cites.
Software systems engineering: The case for a new discipline
Stephen J Andriole and Peter A Freeman. 1993 · 1993
Earlier work this paper cites.
Quantum complexity theory. In Proceedings of the twenty-fifth annual ACM symposium on Theory of Computing . 11–20
Ethan Bernstein and Umesh Vazirani. 1993 · 1993
Earlier work this paper cites.
Assigning meanings to programs
Robert W Floyd. 1993 · 1993
Earlier work this paper cites.
Interpretation of quantum jump and diffusion processes illustrated on the Bloch sphere
HM Wiseman and GJ Milburn. 1993 · 1993
Earlier work this paper cites.
Quantum annealing: a new method for minimizing multidimensional functions
Aleta Berk Finnila, MA Gomez, C Sebenik, Catherine Stenson, and Jimmie D Doll. 1994 · 1994
Earlier work this paper cites.
Algorithms for quantum computation: discrete logarithms and factoring. In Proceedings 35th annual symposium on foundations of computer science . Ieee, 124–134
Peter W Shor. 1994 · 1994
Earlier work this paper cites.
Design Patterns Elements of reusable object-oriented sofware
Erich Gamma, Richard Helm, Ralph Johnson, and John Vlissides. 1995 · 1995
Earlier work this paper cites.
A quantum leap for computers?
James Glanz. 1995 · 1995
Earlier work this paper cites.
Specification and analysis of system architecture using Rapide
David C. Luckham, John J. Kenney, Larry M. Augustin, James Vera, Doug Bryan, and Walter Mann. 1995 · 1995
Earlier work this paper cites.
Abstractions for software architecture and tools to support them
Mary Shaw, Robert DeLine, Daniel V. Klein, Theodore L. Ross, David M. Young, and Gregory Zelesnik. 1995 · 1995
Earlier work this paper cites.
Scheme for reducing decoherence in quantum computer memory
Peter W Shor. 1995 · 1995
Earlier work this paper cites.
Metric development for object-oriented software
James M Bieman. 1996 · 1996
Earlier work this paper cites.
A survey of architecture description languages. In Proceedings of the 8th international workshop on software specification and design . IEEE, 16–25
Paul C Clements. 1996 · 1996
Earlier work this paper cites.
Pattern-oriented software architecture: a system of patterns
Buschmann Frank, Meunier Regine, Rohnert Hans, Sommerlad Peter, and Stal Michael. 1996 · 1996
Earlier work this paper cites.
A fast quantum mechanical algorithm for database search. In Proceedings of the twenty-eighth annual ACM symposium on Theory of computing . 212–219
Lov K Grover. 1996 · 1996
Earlier work this paper cites.
Conventions for quantum pseudocode
Emmanuel Knill. 1996 · 1996
Earlier work this paper cites.
Dynamic structure in software architectures
Jeff Magee and Jeff Kramer. 1996 · 1996
Earlier work this paper cites.
Software architecture: perspectives on an emerging discipline
Shaw Mary and Garlan David. 1996 · 1996
Earlier work this paper cites.
Extending the lambda calculus to express randomized and quantumized algorithms
Philip Maymin. 1996 · 1996
Earlier work this paper cites.
Measuring software reuse: principles, practices, and economic models
Jeffrey S Poulin. 1996 · 1996
Earlier work this paper cites.
Error correcting codes in quantum theory
Andrew M Steane. 1996 · 1996
Earlier work this paper cites.
Semidefinite programming
Lieven Vandenberghe and Stephen Boyd. 1996 · 1996
Earlier work this paper cites.
Using Z: specification, refinement, and proof
Jim Woodcock and Jim Davies. 1996 · 1996
Earlier work this paper cites.
Quantum complexity theory
Ethan Bernstein and Umesh Vazirani. 1997 · 1997
Earlier work this paper cites.
Finding hard instances of the satisfiability problem: A survey
Stephen A Cook and David G Mitchell. 1997 · 1997
Earlier work this paper cites.
Software engineering
Merlin Dorfman and Richard H. Thayer (eds.). 1997 · 1997
Earlier work this paper cites.
Property-based testing: a new approach to testing for assurance
George Fink and Matt Bishop. 1997 · 1997
Earlier work this paper cites.
Acme: an architecture description interchange language
David Garlan, Robert Monroe, and David Wile. 1997 · 1997
Earlier work this paper cites.
A formal approach to software architecture
J ALLEN Robert. 1997 · 1997
Earlier work this paper cites.
Maintenance of operational systems–an overview
Edmond VanDoren. 1997 · 1997
Earlier work this paper cites.
Quantum annealing in the transverse Ising model
Tadashi Kadowaki and Hidetoshi Nishimori. 1998 · 1998
Earlier work this paper cites.
Power of one bit of quantum information
Emanuel Knill and Raymond Laflamme. 1998 · 1998
Earlier work this paper cites.
Resilient quantum computation: error models and thresholds
Emanuel Knill, Raymond Laflamme, and Wojciech H Zurek. 1998 · 1998
Earlier work this paper cites.
Component-based software engineering
Wojtek Kozaczynski and Grady Booch. 1998 · 1998
Earlier work this paper cites.
A procedural formalism for quantum computing
Bernhard Ömer. 1998 · 1998
Earlier work this paper cites.
Software Visualization: Programming as a Multimedia Experience
John Stasko, John Domingue, Marc H Brown, and Blaine Price. 1998 · 1998
Earlier work this paper cites.
Automated design of quantum circuits. In NASA International Conference on Quantum Computing and Quantum Communications . Springer, 113–125
Colin P Williams and Alexander G Gray. 1998 · 1998
Earlier work this paper cites.
Efficient simulation of quantum systems by quantum computers
Christof Zalka. 1998 · 1998
Earlier work this paper cites.
The unified modeling language user guide
Grady Booch, James Rumbaugh, and Ivar Jacobson. 1999 · 1999
Earlier work this paper cites.
Demonstrating the viability of universal quantum computation using teleportation and single-qubit operations
Daniel Gottesman and Isaac L Chuang. 1999a · 1999
Earlier work this paper cites.
Quantum teleportation is a universal computational primitive
Daniel Gottesman and Isaac L Chuang. 1999b · 1999
Earlier work this paper cites.
The unified software development process
Ivar Jacobson, Grady Booch, and James Rumbaugh. 1999 · 1999
Earlier work this paper cites.
Comprehension with [in] virtual environment visualisations. In Proceedings Seventh International Workshop on Program Comprehension . IEEE, 4–11
Claire Knight and Malcolm Munro. 1999 · 1999
Earlier work this paper cites.
Plug-in quantum software
John Preskill. 1999 · 1999
Earlier work this paper cites.
The unified modeling language reference manual
James Rurnbaugh, Ivar Jacobson, and Grady Booch. 1999 · 1999
Earlier work this paper cites.
Polynomial-time algorithms for prime factorization and discrete logarithms on a quantum computer
Peter W Shor. 1999 · 1999
Earlier work this paper cites.
Experiment and the foundations of quantum physics
Anton Zeilinger. 1999 · 1999
Earlier work this paper cites.
Quality attribute design primitives
Len Bass, Mark Klein, and Felix Bachmann. 2000 · 2000
Earlier work this paper cites.
Software maintenance and evolution: a roadmap. In Proceedings of the Conference on the Future of Software Engineering . 73–87
Keith H Bennett and Václav T Rajlich. 2000 · 2000
Earlier work this paper cites.
Testing object-oriented systems: models, patterns, and tools
Robert Binder. 2000 · 2000
Earlier work this paper cites.
Software engineering: a roadmap. In Proceedings of the Conference on the Future of Software Engineering . 3–22
Anthony Finkelsteiin and Jeff Kramer. 2000 · 2000
Earlier work this paper cites.
Software process: a roadmap. In Proceedings of the Conference on the Future of Software Engineering . 25–34
Alfonso Fuggetta. 2000 · 2000
Earlier work this paper cites.
Encyclopedia of Mathematics, Supplement III, chapter Theory of quantum computation
EH Knill and MA Nielsen. 2000 · 2000
Earlier work this paper cites.
Advanced debugging methods . Vol. 568
Raimondas Lencevicius. 2000 · 2000
Earlier work this paper cites.
Quantum programming in QCL
Bernhard Ömer. 2000 · 2000
Earlier work this paper cites.
Quantum programming. In International Conference on Mathematics of Program Construction . Springer, 80–99
Jeff W Sanders and Paolo Zuliani. 2000 · 2000
Earlier work this paper cites.
Component-based software engineering
George T Heineman and William T Councill. 2001 · 2001
Earlier work this paper cites.
Reuse-based software engineering: techniques, organization, and controls
Hefedh Mili, Ali Mili, Sherif Yacoub, and Edward Addy. 2001 · 2001
Earlier work this paper cites.
Bug patterns in Java
Eric Allen. 2002 · 2002
Earlier work this paper cites.
Toward an architecture for quantum programming
Stefano Bettelli. February 2002 · 2002
Earlier work this paper cites.
Quantum software engineering. In Workshop on Grand Challenges for Computing Research
John Clark and Susan Stepney. 2002 · 2002
Earlier work this paper cites.
An approximate Fourier transform useful in quantum factoring
Don Coppersmith. 2002 · 2002
Earlier work this paper cites.
Systematic software testing
Rick David Craig and Stefan P Jaskiel. 2002 · 2002
Earlier work this paper cites.
Patterns of enterprise application architecture
Martin Fowler. 2002 · 2002
Earlier work this paper cites.
Fundamentals of software engineering
Carlo Ghezzi, Mehdi Jazayeri, and Dino Mandrioli. 2002 · 2002
Earlier work this paper cites.
Classical and quantum computation
Alexei Yu Kitaev, Alexander Shen, Mikhail N Vyalyi, and Mikhail N Vyalyi. 2002 · 2002
Earlier work this paper cites.
Quantum computation and quantum information
Michael A Nielsen and Isaac Chuang. 2002 · 2002
Earlier work this paper cites.
Core J2EE patterns: best practices and design strategies
Deepak Alur, John Crupi, and Dan Malks. 2003 · 2003
Earlier work this paper cites.
Toward an architecture for quantum programming
Stefano Bettelli, Tommaso Calarco, and Luciano Serafini. 2003 · 2003
Earlier work this paper cites.
Software maintenance: concepts and practice
Penny Grubb and Armstrong A Takang. 2003 · 2003
Earlier work this paper cites.
Quantum software reusability
Andreas Klappenecker and Martin Rötteler. 2003 · 2003
Cited alongside, same era.
Structured quantum programming
Bernhard Ömer. 2003 · 2003
Cited alongside, same era.
A hierarchical approach to computer-aided design of quantum circuits. In 6th International Symposium on Representations and Methodology of Future Computing Technologies . 201–209
Marek Perkowski, Martin Lukac, Pawel Kerntopf, Mikhail Pivtoraiko, Michele Folgheraiter, Yong Woo Choi, Jung-wook Kim, Dongsoo Lee, Woong Hwangbo, and Hyungock Kim. 2003 · 2003
Cited alongside, same era.
Modernizing legacy systems: software technologies, engineering processes, and business practices
Robert C Seacord, Daniel Plakosh, and Grace A Lewis. 2003 · 2003
Cited alongside, same era.
Quantum computation, categorical semantics and linear logic
AJ Van Tonder. 2003 · 2003
Cited alongside, same era.
Dynamic quantum logic for quantum programs
Quantum programming languages
Kesha Hietala. 2016 · 2016
Later among the works it cites.
Quantum algorithms: an overview
Ashley Montanaro. 2016 · 2016
Later among the works it cites.
Scalable quantum simulation of molecular energies
Peter JJ O’Malley, Ryan Babbush, Ian D Kivlichan, Jonathan Romero, Jarrod R McClean, Rami Barends, Julian Kelly, Pedram Roushan, Andrew Tranter, Nan Ding, et al · 2016
Later among the works it cites.
A quantum macro assembler. In 2016 IEEE High Performance Extreme Computing Conference (HPEC) . IEEE, 1–8
Scott Pakin. 2016 · 2016
Later among the works it cites.
A practical quantum instruction set architecture
Robert S Smith, Michael J Curtis, and William J Zeng. 2016 · 2016
Later among the works it cites.
Foundations of quantum programming
Mingsheng Ying. 2016 · 2016
alphaXiv searches the wider corpus for related work and actual follow-ups.
alphaXiv is searching for related work…
Olivier Brunet and Philippe Jorrand. 2004 · 2004
Cited alongside, same era.
Communicating quantum processes
Simon J Gay and Rajagopal Nagarajan. 2004 · 2004
Cited alongside, same era.
Between logic and quantic: a tract
Jean-Yves Girard. 2004 · 2004
Cited alongside, same era.
Grand challenges in computing research
T. Hoare and R. Milner (eds.). 2004 · 2004
Cited alongside, same era.
From quantum physics to programming languages: a process algebraic approach. In International Workshop on Unconventional Programming Paradigms . Springer, 1–16
Philippe Jorrand and Marie Lalire. 2004 · 2004
Cited alongside, same era.
A process algebraic approach to concurrent and distributed quantum computation: operational semantics
Marie Lalire and Philippe Jorrand. 2004 · 2004
Cited alongside, same era.
Towards a quantum programming language
Peter Selinger. 2004b · 2004
Cited alongside, same era.
Later among the works it cites.
Reuse method for quantum circuit synthesis. In International Conference on Applied Mathematics, Modeling and Computational Science . Springer, 3–12
Cyril Allouche, Marc Baboulin, T Goubault de Brugière, and Benoît Valiron. 2017 · 2017
Later among the works it cites.
Quantum machine learning
Jacob Biamonte, Peter Wittek, Nicola Pancotti, Patrick Rebentrost, Nathan Wiebe, and Seth Lloyd. 2017 · 2017
Later among the works it cites.
Programming languages and compiler design for realistic quantum hardware
Frederic T Chong, Diana Franklin, and Margaret Martonosi. 2017 · 2017
Later among the works it cites.
Forest SDK
Regetti Computing. 2017 · 2017
Later among the works it cites.
Block sphere - Wikipedia
Wikipedia Contributors. 2017 · 2017
Later among the works it cites.
Open quantum assembly language
Andrew W Cross, Lev S Bishop, John A Smolin, and Jay M Gambetta. 2017 · 2017
Later among the works it cites.
Visualizing 2-Qubit Entanglement
Craig Gidney. 2017 · 2017
Later among the works it cites.
Practical optimization for hybrid quantum-classical algorithms
Gian Giacomo Guerreschi and Mikhail Smelyanskiy. 2017 · 2017
Later among the works it cites.
Semantics of higher-order quantum computation via geometry of interaction
Ichiro Hasuo and Naohiko Hoshino. 2017 · 2017
Later among the works it cites.
QX: a high-performance quantum computer simulation platform. In Proceedings of the Conference on Design, Automation & Test in Europe . 464–469
N Khammassi, I Ashraf, X Fu, CG Almudever, and K Bertels. 2017 · 2017
Later among the works it cites.
Quantum information and computation for chemistry
Jonathan Olson, Yudong Cao, Jonathan Romero, Peter Johnson, Pierre-Luc Dallaire-Demers, Nicolas Sawaya, Prineha Narang, Ian Kivlichan, Michael Wasielewski, and Alán Aspuru-Guzik. 2017 · 2017
Later among the works it cites.
Continuous variables quantum computation over the vibrational modes of a single trapped ion
Luis Ortiz-Gutiérrez, Bruna Gabrielly, Luis F Muñoz, Kainã T Pereira, Jefferson G Filgueiras, and Alessandro S Villar. 2017 · 2017
Later among the works it cites.
qPCF: a language for quantum circuit computations. In International Conference on Theory and Applications of Models of Computation . Springer, 455–469
Luca Paolini and Margherita Zorzi. 2017 · 2017
Later among the works it cites.
QWIRE: a core language for quantum circuits
Jennifer Paykin, Robert Rand, and Steve Zdancewic. 2017 · 2017
Later among the works it cites.
Elucidating reaction mechanisms on quantum computers
Markus Reiher, Nathan Wiebe, Krysta M Svore, Dave Wecker, and Matthias Troyer. 2017 · 2017
Later among the works it cites.
A categorical model for a quantum circuit description language. In Proceedings 14th International Conference on Quantum Physics and Logic (QPL 2017) . 164–178
Francisco Rios and Peter Selinger. 2017 · 2017
Later among the works it cites.
Design automation for quantum architectures. In Design, Automation & Test in Europe Conference & Exhibition (DATE), 2017 . IEEE, 1312–1317
Martin Roetteler, Krysta M Svore, Dave Wecker, and Nathan Wiebe. 2017 · 2017
Later among the works it cites.
Quantum programming: a review. In 2017 IEEE 14th International Scientific Conference on Informatics . IEEE, 353–358
Milan Spišiak and Ján Kollár. 2017 · 2017
Later among the works it cites.
ProjectQ
ProjectQ Team. 2017 · 2017
Later among the works it cites.
Mixed-quantum-dot solar cells
Zhenyu Yang, James Z Fan, Andrew H Proppe, F Pelayo García de Arquer, David Rossouw, Oleksandr Voznyy, Xinzheng Lan, Min Liu, Grant Walters, Rafael Quintero-Bermudez, et al · 2017
Later among the works it cites.
Invariants of quantum programs: characterisations and generation
Mingsheng Ying, Shenggang Ying, and Xiaodi Wu. 2017 · 2017
Later among the works it cites.
Toward the first quantum simulation with quantum speedup
Andrew M Childs, Dmitri Maslov, Yunseong Nam, Neil J Ross, and Yuan Su. 2018 · 2018
Later among the works it cites.
Testing probabilistic programming systems. In Proceedings of the 2018 26th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering . 574–586
Saikat Dutta, Owolabi Legunsen, Zixin Huang, and Sasa Misailovic. 2018 · 2018
Later among the works it cites.
Open source software in quantum computing
Mark Fingerhuth, Tomáš Babej, and Peter Wittek. 2018 · 2018
Later among the works it cites.
QDB: From quantum algorithms towards correct quantum programs
Yipeng Huang and Margaret Martonosi. 2018 · 2018
Later among the works it cites.
cqasm v1. 0: towards a common quantum assembly language
Nader Khammassi, Gian G Guerreschi, Imran Ashraf, Justin W Hogaboam, Carmen G Almudever, and Koen Bertels. 2018 · 2018
Later among the works it cites.
Strawberry Fields: A software platform for photonic quantum computing
Nathan Killoran, Josh Izaac, Nicolás Quesada, Ville Bergholm, Matthew Amy, and Christian Weedbrook. 2018 · 2018
Later among the works it cites.
QuantumOptics. jl: A Julia framework for simulating open quantum systems
Sebastian Krämer, David Plankensteiner, Laurin Ostermann, and Helmut Ritsch. 2018 · 2018
Later among the works it cites.
Q | S I ⟩ Q|SI\rangle : a quantum programming environment. In Symposium on Real-Time and Hybrid Systems . Springer, 133–164
Shusen Liu, Xin Wang, Li Zhou, Ji Guan, Yinan Li, Yang He, Runyao Duan, and Mingsheng Ying. 2018 · 2018
Later among the works it cites.
Quantum computational chemistry
Sam McArdle, Suguru Endo, Alan Aspuru-Guzik, Simon Benjamin, and Xiao Yuan. 2018 · 2018
Later among the works it cites.
Cybersecurity in an era with quantum computers: will we be ready?
Michele Mosca. 2018 · 2018
Later among the works it cites.
Quantum programming made easy. In 2018 Joint International Workshop on Linearity and Trends in Linear Logic and Applications, Linearity-TLLA 2018 , Vol. 292. 133–147
Luca Paolini, Luca Roversi, and Margherita Zorzi. 2019b · 2018
Later among the works it cites.
Lecture notes for physics 229: quantum information and computation
John Preskill. 2018 · 2018
Later among the works it cites.
Formally verified quantum programming
Robert Rand. 2018 · 2018
Later among the works it cites.
Quality attributes on quantum computing platforms
Balwinder Sodhi. 2018 · 2018
Later among the works it cites.
ProjectQ: an open source software framework for quantum computing
Damian S Steiger, Thomas Häner, and Matthias Troyer. 2018 · 2018
Later among the works it cites.
Q#: enabling scalable quantum computing and development with a high-level DSL. In Proceedings of the Real World Domain Specific Languages Workshop 2018 . 1–10
Krysta Svore, Alan Geller, Matthias Troyer, John Azariah, Christopher Granade, Bettina Heim, Vadym Kliuchnikov, Mariia Mykhailova, Andres Paz, and Martin Roetteler. 2018 · 2018
Later among the works it cites.
Fuzzing for software security testing and quality assurance
Ari Takanen, Jared D Demott, Charles Miller, and Atte Kettunen. 2018 · 2018
Later among the works it cites.
Quantum plug n’play: modular computation in the quantum regime
Jayne Thompson, Kavan Modi, Vlatko Vedral, and Mile Gu. 2018 · 2018
Later among the works it cites.
QuanFuzz: Fuzz Testing of Quantum Program
Jiyuan Wang, Ming Gao, Yu Jiang, Jianguang Lou, Yue Gao, Dongmei Zhang, and Jiaguang Sun. 2018 · 2018
Later among the works it cites.
Qiskit: An Open-source Framework for Quantum Computing
Gadi Aleksandrowicz, Thomas Alexander, Panagiotis Barkoutsos, Luciano Bello, Yael Ben-Haim, David Bucher, Francisco Jose Cabrera-Hernández, Jorge Carballo-Franquis, Adrian Chen, Chun-Fu Chen, Jerry M. Chow, Antonio D. Córcoles-Gonzales, Abigail J. Cross, Andrew Cross, Juan Cruz-Benito, Chris Culver, Salvador De La Puente González, Enrique De La Torre, Delton Ding, Eugene Dumitrescu, Ivan Duran, Pieter Eendebak, Mark Everitt, Ismael Faro Sertage, Albert Frisch, Andreas Fuhrer, Jay Gambetta, Borja Godoy Gago, Juan Gomez-Mosquera, Donny Greenberg, Ikko Hamamura, Vojtech Havlicek, Joe Hellmers, Łukasz Herok, Hiroshi Horii, Shaohan Hu, Takashi Imamichi, Toshinari Itoko, Ali Javadi-Abhari, Naoki Kanazawa, Anton Karazeev, Kevin Krsulich, Peng Liu, Yang Luh, Yunho Maeng, Manoel Marques, Francisco Jose Martín-Fernández, Douglas T. McClure, David McKay, Srujan Meesala, Antonio Mezzacapo, Nikolaj Moll, Diego Moreda Rodríguez, Giacomo Nannicini, Paul Nation, Pauline Ollitrault, Lee James O’Riordan, Hanhee Paik, Jesús Pérez, Anna Phan, Marco Pistoia, Viktor Prutyanov, Max Reuter, Julia Rice, Abdón Rodríguez Davila, Raymond Harry Putra Rudy, Mingi Ryu, Ninad Sathaye, Chris Schnabel, Eddie Schoute, Kanav Setia, Yunong Shi, Adenilton Silva, Yukio Siraichi, Seyon Sivarajah, John A. Smolin, Mathias Soeken, Hitomi Takahashi, Ivano Tavernelli, Charles Taylor, Pete Taylour, Kenso Trabing, Matthew Treinish, Wes Turner, Desiree Vogt-Lee, Christophe Vuillot, Jonathan A. Wildstrom, Jessica Wilson, Erick Winston, Christopher Wood, Stephen Wood, Stefan Wörner, Ismail Yunus Akhalwaya, and Christa Zoufal. 2019 · 2019
Later among the works it cites.
Fifty years of Hoare’s logic
Krzysztof R Apt and Ernst-Rüdiger Olderog. 2019 · 2019
Later among the works it cites.
Thinking too classically: research topics in human-quantum computer interaction. In Proceedings of the 2019 CHI Conference on Human Factors in Computing Systems . 1–12
Zahra Ashktorab, Justin D Weisz, and Maryam Ashoori. 2019 · 2019
Later among the works it cites.
Game semantics for quantum programming
Pierre Clairambault, Marc De Visme, and Glynn Winskel. 2019 · 2019
Later among the works it cites.
Storm: program reduction for testing and debugging probabilistic programming systems. In Proceedings of the 2019 27th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering . 729–739
Saikat Dutta, Wenxian Zhang, Zixin Huang, and Sasa Misailovic. 2019 · 2019
Later among the works it cites.
Quantum programming language: a systematic review of research topic and top cited languages
Sunita Garhwal, Maryam Ghorani, and Amir Ahmad. 2019 · 2019
Later among the works it cites.
An adaptive variational algorithm for exact molecular simulations on a quantum computer
Harper R Grimsley, Sophia E Economou, Edwin Barnes, and Nicholas J Mayhall. 2019 · 2019
Later among the works it cites.
Verified optimization in a quantum intermediate representation
Kesha Hietala, Robert Rand, Shih-Han Hung, Xiaodi Wu, and Michael Hicks. 2019 · 2019
Later among the works it cites.
Statistical assertions for validating patterns and finding bugs in quantum programs. In Proceedings of the 46th International Symposium on Computer Architecture . 541–553
Yipeng Huang and Margaret Martonosi. 2019 · 2019
Later among the works it cites.
Quantitative robustness analysis of quantum programs
Shih-Han Hung, Kesha Hietala, Shaopeng Zhu, Mingsheng Ying, Michael Hicks, and Xiaodi Wu. 2019 · 2019
Later among the works it cites.
Strawberry Fields: A software platform for photonic quantum computing
Nathan Killoran, Josh Izaac, Nicolás Quesada, Ville Bergholm, Matthew Amy, and Christian Weedbrook. 2019 · 2019
Later among the works it cites.
Overview and comparison of gate level quantum software platforms
Ryan LaRose. 2019 · 2019
Later among the works it cites.
Towards a pattern language for quantum algorithms. In International Workshop on Quantum Technology and Optimization Problems . Springer, 218–230
Frank Leymann. 2019 · 2019
Later among the works it cites.
Poq: projection-based runtime assertions for debugging on a quantum computer
Gushu Li, Li Zhou, Nengkun Yu, Yufei Ding, Mingsheng Ying, and Yuan Xie. 2019 · 2019
Later among the works it cites.
Formal verification of quantum algorithms using quantum Hoare logic. In International conference on computer aided verification . Springer, 187–207
Junyi Liu, Bohua Zhan, Shuling Wang, Shenggang Ying, Tao Liu, Yangjia Li, Mingsheng Ying, and Naijun Zhan. 2019 · 2019
Later among the works it cites.
Next steps in quantum computing: computer science’s role
Margaret Martonosi and Martin Roetteler. 2019 · 2019
Later among the works it cites.
On testing quantum programs. In 2019 IEEE/ACM 41st International Conference on Software Engineering: New Ideas and Emerging Results (ICSE-NIER) . IEEE, 57–60
Andriy Miranskyy and Lei Zhang. 2019 · 2019
Later among the works it cites.
Quantum programming languages (Dagstuhl Seminar 18381). Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik
Michele Mosca, Martin Roetteler, and Peter Selinger. 2019 · 2019
Later among the works it cites.
QPCF: higher-order languages and quantum circuits
Luca Paolini, Mauro Piccolo, and Margherita Zorzi. 2019a · 2019
Later among the works it cites.
Formal verification vs. quantum uncertainty. In 3rd Summit on Advances in Programming Languages (SNAPL 2019) . Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik
Robert Rand, Kesha Hietala, and Michael Hicks. 2019 · 2019
Later among the works it cites.
Quantum algorithm design: Techniques and applications
Changpeng Shao, Yang Li, and Hongbo Li. 2019 · 2019
Later among the works it cites.
Quantum relational Hoare logic
Dominique Unruh. 2019 · 2019
Later among the works it cites.
Quantum circuits for dynamic runtime assertions in quantum computation
Huiyang Zhou and Gregory T Byrd. 2019 · 2019
Later among the works it cites.
An applied quantum Hoare logic. In Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation . 1149–1162
Li Zhou, Nengkun Yu, and Mingsheng Ying. 2019 · 2019
Later among the works it cites.
Quantum calculi - from theory to language design
Margherita Zorzi. 2019 · 2019
Later among the works it cites.
Modeling Quantum programs: challenges, initial results, and research directions. In Proceedings of the 1st ACM SIGSOFT International Workshop on Architectures and Paradigms for Engineering Quantum Software . 14–21
Shaukat Ali and Tao Yue. 2020 · 2020
Closest in time.
Software engineering for ’quantum advantage’. In 2020 IEEE/ACM First International Workshop on Quantum Software Engineering (Q-SE) . IEEE
Luís S. Barbosa. 2020 · 2020
Closest in time.
Silq: a high-Level quantum language with safe uncomputation and intuitive semantics. In Proceedings of the 41th ACM SIGPLAN Conference on Programming Language Design and Implementation
Benjamin Bichsel, Maximilian Baader, Timon Gehr, and Martin Vechev. 2020 · 2020
Closest in time.
Property-based testing of quantum programs in Q#. In First International Workshop on Quantum Software Engineering (Q-SE 2020)
Shahin Honarvar, Mohammadreza Mousavi, and Rajagopal Nagarajan. 2020 · 2020
Closest in time.
A quantum-classical cloud platform optimized for variational hybrid algorithms
Peter J Karalekas, Nikolas A Tezak, Eric C Peterson, Colm A Ryan, Marcus P da Silva, and Robert S Smith. 2020 · 2020
Closest in time.
Quantum annealing-based software components: an experimental case study with SAT solving. In International Workshop on the Quantum Software Engineering & Programming
Tom Krüger and Wolfgang Mauerer. 2020 · 2020
Closest in time.
Quantum in the cloud: application potentials and research opportunities
Frank Leymann, Johanna Barzen, Michael Falkenthal, Daniel Vietz, Benjamin Weder, and Karoline Wild. 2020 · 2020
Closest in time.
Projection-based runtime assertions for testing and debugging quantum programs
Gushu Li, Li Zhou, Nengkun Yu, Yufei Ding, Mingsheng Ying, and Yuan Xie. 2020 · 2020
Closest in time.
Quantum circuits for dynamic runtime assertions in quantum computation. In Proceedings of the Twenty-Fifth International Conference on Architectural Support for Programming Languages and Operating Systems . 1017–1030
Ji Liu, Gregory T Byrd, and Huiyang Zhou. 2020 · 2020
Closest in time.
Is your quantum program bug-free?
Andriy Miranskyy, Lei Zhang, and Javad Doliskani. 2020 · 2020
Closest in time.
Reengineering of information systems toward classical-quantum systems. In International Workshop on the Quantum Software Engineering & Programming
Ricardo Pérez-Castillo. 2020 · 2020
Closest in time.
Towards a quantum software modeling language. In First International Workshop on Quantum Software Engineering (Q-SE 2020)
Carlos A. Pérez-Delgado and Hector G. Perez-Gonzalez. 2020 · 2020
Closest in time.
Quantum computing: a new software engineering golden age
Mario Piattini, Guido Peterssen, and Ricardo Pérez-Castillo. 2020a · 2020
Closest in time.
The Talavera manifesto for quantum software engineering and programming. In Short Papers Proceedings of the 1st International Workshop on the QuANtum SoftWare Engineering & pRogramming, Talavera de la Reina, Spain, February 11-12, 2020 (CEUR Workshop Proceedings) , Mario Piattini, Guido Peterssen, Ricardo Pérez-Castillo, Jose Luis Hevia, and Manuel A. Serrano (Eds.), Vol. 2561. CEUR-WS.org, 1–5
Mario Piattini, Guido Peterssen, Ricardo Pérez-Castillo, Jose Luis Hevia, Manuel A. Serrano, Guillermo Hernández, Ignacio García Rodríguez de Guzmán, Claudio Andrés Paradela, Macario Polo, Ezequiel Murina, Luis Jiménez, Juan Carlos Marqueño, Ramsés Gallego, Jordi Tura, Frank Phillipson, Juan M. Murillo, Alfonso Niño, and Moisés Rodríguez. 2020b · 2020
Closest in time.
Entanglion
IBM Research. 2020 · 2020
Closest in time.
Making quantum computing open: lessons from open-source projects. In First International Workshop on Quantum Software Engineering (Q-SE 2020)
Ruslan Shaydulin, Caleb Thomas, and Paige Rodeghero. 2020 · 2020
Closest in time.
Hoare Types for Quantum Programming Languages
Kartik Singhal. 2020a · 2020
Closest in time.
Quantum Hoare Type Theory: Extended Abstract. In Proceedings of the 17th International Conference on Quantum Physics and Logic (QPL), Paris, France, June 2–6, 2020 (Electronic Proceedings in Theoretical Computer Science) , Benoît Valiron, Shane Mansfield, Pablo Arrighi, and Prakash Panangaden (Eds.), Vol. 340. Open Publishing Association, 291–302
Kartik Singhal and John Reppy. 2020 · 2020
Closest in time.
Quingo: A Programming Framework for Heterogeneous Quantum-Classical Computing with NISQ Features
The Quingo Development Team. 2020 · 2020
Closest in time.
Quantum algorithms for near-term devices. In International Workshop on the Quantum Software Engineering & Programming
Jordi Tura. 2020 · 2020
Closest in time.
Quantum software testing. In International Workshop on the Quantum Software Engineering & Programming
Macario Polo Usaola. 2020 · 2020
Closest in time.
Software engineering
www.merriam webster.com. 2020 · 2020
Closest in time.
Assessing the effectiveness of input and output coverage criteria for testing quantum programs. In 2021 14th IEEE Conference on Software Testing, Verification and Validation (ICST) . IEEE, 13–23
Shaukat Ali, Paolo Arcaini, Xinyi Wang, and Tao Yue. 2021 · 2021
Closest in time.
Software tools for quantum control: Improving quantum computer performance through noise and error suppression
Harrison Ball, Michael Biercuk, Andre Carvalho, Jiayin Chen, Michael Robert Hush, Leonardo A De Castro, Li Li, Per J Liebermann, Harry Slatyer, Claire Edmunds, et al · 2021
Closest in time.
Formal Methods for Quantum Programs: A Survey
Christophe Chareton, Sébastien Bardin, Dongho Lee, Benoît Valiron, Renaud Vilmart, and Zhaowei Xu. 2021 · 2021
Closest in time.
Towards a Set of Metrics for Quantum Circuits Understandability. In International Conference on the Quality of Information and Communications Technology . Springer, 239–249
José A Cruz-Lemus, Luis A Marcelo, and Mario Piattini. 2021 · 2021
Closest in time.
Quantum software testing: State of the art
Antonio García de la Barrera, Ignacio García-Rodríguez de Guzmán, Macario Polo, and Mario Piattini. 2021 · 2021
Closest in time.
Towards Model-Driven Quantum Software Engineering. In Second International Workshop on Quantum Software Engineering (Q-SE 2021) . 16–21
Felix Gemeinhardt, Antonio Garmendia, and Wimmer Manuel. 2021 · 2021
Closest in time.
QBugs: A Collection of Reproducible Bugs in Quantum Algorithms and a Supporting Infrastructure to Enable Controlled Quantum Software Testing and Debugging Experiments. In Second International Workshop on Quantum Software Engineering (Q-SE 2021) . 28–32
Jose Jose Campos and Andre Souto. 2021 · 2021
Closest in time.
Formal Verification of Quantum Programs: Theory, Tools and Challenges
Marco Lewis, Sadegh Soudjani, and Paolo Zuliani. 2021 · 2021
Closest in time.
Understanding Quantum Software Engineering Challenges An Empirical Study on Stack Exchange Forums and GitHub Issues. In 2021 IEEE International Conference on Software Maintenance and Evolution (ICSME) . IEEE, 343–354
Heng Li, Foutse Khomh, Moses Openja, et al · 2021
Closest in time.
Bugs in Quantum Computing Platforms: An Empirical Study
Matteo Paltenghi and Michael Pradel. 2021 · 2021
Closest in time.
On the Definition of Quantum Programming Modules
Pedro Sánchez and Diego Alonso. 2021 · 2021
Closest in time.
Some Size and Structure Metrics for Quantum Software. In Second International Workshop on Quantum Software Engineering (Q-SE 2021) . 22–27
Jianjun Zhao. 2021 · 2021
Closest in time.
Identifying Bug Patterns in Quantum Programs. In Second International Workshop on Quantum Software Engineering (Q-SE 2021) . 16–21
Pengzhan Zhao, Jianjun Zhao, and Ma Lei. 2021a · 2021
Closest in time.
Bugs4Q: A Benchmark of Real Bugs for Quantum Programs
Pengzhan Zhao, Jianjun Zhao, Zhongtao Miao, and Shuhan Lan. 2021b · 2021
Closest in time.