Fetching the paper…
Reading the bibliography…
The interest in quantum computing is growing, and with it, the importance of software platforms to develop quantum programs.
CertiQ: A Mostly-automated Verification of a Realistic Quantum Compiler
Yunong Shi, Runzhou Tao, Xupeng Li, Ali Javadi-Abhari, Andrew W. Cross, Frederic T. Chong, and Ronghui Gu. 2020 · 1908
Earlier work this paper cites.
A Single Quantum Cannot Be Cloned
W. K. Wootters and W. H. Zurek. 1982 · 1982
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 (STOC ’96) . Association for Computing Machinery, New York, NY, USA, 212–219
Lov K. Grover. 1996 · 1996
Earlier work this paper cites.
Differential Testing for Software
William M. McKeeman. 1998 · 1998
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.
An Empirical Study of Operating Systems Errors. In Proceedings of the Eighteenth ACM Symposium on Operating Systems Principles (SOSP ’01) . Association for Computing Machinery, New York, NY, USA, 73–88
Andy Chou, Junfeng Yang, Benjamin Chelf, Seth Hallem, and Dawson Engler. 2001 · 2001
Earlier work this paper cites.
Learning and Evaluating Contextual Embedding of Source Code. In Proceedings of the 37th International Conference on Machine Learning, ICML 2020, 13-18 July 2020, Virtual Event (Proceedings of Machine Learning Research, Vol. 119) . PMLR, 5110–5121
Aditya Kanade, Petros Maniatis, Gogul Balakrishnan, and Kensen Shi. 2020 · 2001
Earlier work this paper cites.
CP-Miner: Finding Copy-Paste and Related Bugs in Large-Scale Software Code
Z. Li, S. Lu, S. Myagmar, and Y. Zhou. 2006 · 2006
Earlier work this paper cites.
Quantum Software Engineering: Landscapes and Horizons
Jianjun Zhao. 2021 · 2007
Earlier work this paper cites.
Learning from Mistakes: A Comprehensive Study on Real World Concurrency Bug Characteristics. In Proceedings of the 13th International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS XIII) . Association for Computing Machinery, New York, NY, USA, 329–339
Shan Lu, Soyeon Park, Eunsoo Seo, and Yuanyuan Zhou. 2008 · 2008
Earlier work this paper cites.
Quantum Algorithm for Solving Linear Systems of Equations
Aram W. Harrow, Avinatan Hassidim, and Seth Lloyd. 2009 · 2009
Earlier work this paper cites.
Mitiq: A Software Package for Error Mitigation on Noisy Quantum Computers
Ryan LaRose, Andrea Mari, Sarah Kaiser, Peter J. Karalekas, Andre A. Alves, Piotr Czarnik, Mohamed El Mandouh, Max H. Gordon, Yousef Hindy, Aaron Robertson, Purva Thakre, Nathan Shammah, and William J. Zeng. 2021 · 2009
Earlier work this paper cites.
Formal Verification of a Realistic Compiler
Xavier Leroy. 2009 · 2009
Earlier work this paper cites.
Tequila: A Platform for Rapid Development of Quantum Algorithms
Jakob S. Kottmann, Sumner Alperin-Lea, Teresa Tamayo-Mendoza, Alba Cervera-Lierta, Cyrille Lavigne, Tzu-Ching Yen, Vladyslav Verteletskyi, Philipp Schleich, Abhinav Anand, Matthias Degroote, Skylar Chaney, Maha Kesibi, Naomi Grace Curnow, Brandon Solo, Georgios Tsilimigkounakis, Claudia Zendejas-Morales, Artur F. Izmaylov, and Alán Aspuru-Guzik. 2021 · 2011
Earlier work this paper cites.
Finding and Understanding Bugs in C Compilers
Xuejun Yang, Yang Chen, Eric Eide, and John Regehr. 2011 · 2011
Earlier work this paper cites.
Building Useful Program Analysis Tools Using an Extensible Java Compiler. In 2012 IEEE 12th International Working Conference on Source Code Analysis and Manipulation . 14–23
Edward Aftandilian, Raluca Sauciuc, Siddharth Priya, and Sundaresan Krishnan. 2012 · 2012
Earlier work this paper cites.
Understanding and Detecting Real-World Performance Bugs
Guoliang Jin, Linhai Song, Xiaoming Shi, Joel Scherpelz, and Shan Lu. 2012 · 2012
Earlier work this paper cites.
Quipper: a scalable quantum programming language. In ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI ’13, Seattle, WA, USA, June 16-19, 2013 , Hans-Juergen Boehm and Cormac Flanagan (Eds.). ACM, 333–342
Alexander S. Green, Peter LeFanu Lumsdaine, Neil J. Ross, Peter Selinger, and Benoît Valiron. 2013a · 2013
Earlier work this paper cites.
An Empirical Study of API Stability and Adoption in the Android Ecosystem. In 2013 IEEE International Conference on Software Maintenance, Eindhoven, The Netherlands, September 22-28, 2013 . IEEE Computer Society, 70–79
Tyler McDonnell, Baishakhi Ray, and Miryung Kim. 2013 · 2013
Earlier work this paper cites.
A Quantum Approximate Optimization Algorithm
Edward Farhi, Jeffrey Goldstone, and Sam Gutmann. 2014 · 2014
Earlier work this paper cites.
Compiler validation via equivalence modulo inputs. In ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI ’14, Edinburgh, United Kingdom - June 09 - 11, 2014 , Michael F. P. O’Boyle and Keshav Pingali (Eds.). ACM, 216–226
Vu Le, Mehrdad Afshari, and Zhendong Su. 2014 · 2014
Earlier work this paper cites.
Finding Deep Compiler Bugs via Guided Stochastic Program Mutation
Vu Le, Chengnian Sun, and Zhendong Su. 2015 · 2015
Earlier work this paper cites.
Common Compiler Optimisations Are Invalid in the C11 Memory Model and What We Can Do about It. In Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL ’15) . Association for Computing Machinery, New York, NY, USA, 209–220
Viktor Vafeiadis, Thibaut Balabonski, Soham Chakraborty, Robin Morisset, and Francesco Zappa Nardelli. 2015 · 2015
Earlier work this paper cites.
An Empirical Study on Performance Bugs for Highly Configurable Software Systems. In Proceedings of the 10th ACM/IEEE International Symposium on Empirical Software Engineering and Measurement (ESEM ’16) . Association for Computing Machinery, New York, NY, USA, 1–10
Xue Han and Tingting Yu. 2016 · 2016
Earlier work this paper cites.
On the "Naturalness" of Buggy Code. In Proceedings of the 38th International Conference on Software Engineering (ICSE ’16) . Association for Computing Machinery, New York, NY, USA, 428–439
Baishakhi Ray, Vincent Hellendoorn, Saheel Godhane, Zhaopeng Tu, Alberto Bacchelli, and Premkumar Devanbu. 2016 · 2016
Cited alongside, same era.
Performance Issues and Optimizations in JavaScript: An Empirical Study. In Proceedings of the 38th International Conference on Software Engineering (ICSE ’16) . Association for Computing Machinery, New York, NY, USA, 61–72
Marija Selakovic and Michael Pradel. 2016 · 2016
Cited alongside, same era.
Toward understanding compiler bugs in GCC and LLVM. In Proceedings of the 25th International Symposium on Software Testing and Analysis, ISSTA 2016, Saarbrücken, Germany, July 18-20, 2016 , Andreas Zeller and Abhik Roychoudhury (Eds.). ACM, 294–305
Chengnian Sun, Vu Le, Qirun Zhang, and Zhendong Su. 2016 · 2016
Cited alongside, same era.
Open Quantum Assembly Language
Andrew W. Cross, Lev S. Bishop, John A. Smolin, and Jay M. Gambetta. 2017 · 2017
Global Relational Models of Source Code. In 8th International Conference on Learning Representations, ICLR 2020, Addis Ababa, Ethiopia, April 26-30, 2020 . OpenReview.net
Vincent J. Hellendoorn, Charles Sutton, Rishabh Singh, Petros Maniatis, and David Bieber. 2020 · 2020
Later among the works it cites.
How Often Do Single-Statement Bugs Occur? The ManySStuBs4J Dataset. In Proceedings of the 17th International Conference on Mining Software Repositories (MSR ’20) . Association for Computing Machinery, New York, NY, USA, 573–577
Rafael-Michael Karampatsis and Charles Sutton. 2020 · 2020
Later among the works it cites.
Projection-based runtime assertions for testing and debugging Quantum programs
Gushu Li, Li Zhou, Nengkun Yu, Yufei Ding, Mingsheng Ying, and Yuan Xie. 2020b · 2020
Later among the works it cites.
Enabling accuracy-aware Quantum compilers using symbolic resource estimation
Giulia Meuli, Mathias Soeken, Martin Roetteler, and Thomas Häner. 2020 · 2020
Later among the works it cites.
alphaXiv searches the wider corpus for related work and actual follow-ups.
alphaXiv is searching for related work…
Cited alongside, same era.
Detecting Argument Selection Defects
Andrew Rice, Edward Aftandilian, Ciera Jaspan, Emily Johnston, Michael Pradel, and Yulissa Arroyo-Paredes. 2017 · 2017
Cited alongside, same era.
Skeletal Program Enumeration for Rigorous Compiler Testing
Qirun Zhang, Chengnian Sun, and Zhendong Su. 2017 · 2017
Cited alongside, same era.
Learning to Represent Programs with Graphs. In 6th International Conference on Learning Representations, ICLR 2018, Vancouver, BC, Canada, April 30 - May 3, 2018, Conference Track Proceedings . OpenReview.net
Miltiadis Allamanis, Marc Brockschmidt, and Mahmoud Khademi. 2018 · 2018
Cited alongside, same era.
Finding Missed Compiler Optimizations by Differential Testing. In Proceedings of the 27th International Conference on Compiler Construction (CC 2018) . Association for Computing Machinery, New York, NY, USA, 82–92
Gergö Barany. 2018 · 2018
Cited alongside, same era.
Open Source Software in Quantum Computing
Mark Fingerhuth, Tomáš Babej, and Peter Wittek. 2018 · 2018
Cited alongside, same era.
QDB: From Quantum Algorithms Towards Correct Quantum Programs
Yipeng Huang and Margaret Martonosi. 2019a · 2018
Cited alongside, same era.
Q#: Enabling Scalable Quantum Computing and Development with a High-level DSL. In Proceedings of the Real World Domain Specific Languages Workshop 2018 (RWDSL2018) . Association for Computing Machinery, New York, NY, USA, 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
Cited alongside, same era.
Neural Program Repair by Jointly Learning to Localize and Repair. In International Conference on Learning Representations
Marko Vasic, Aditya Kanade, Petros Maniatis, David Bieber, and Rishabh Singh. 2018 · 2018
Cited alongside, same era.
Software Mitigation of Crosstalk on Noisy Intermediate-Scale Quantum Computers. In Proceedings of the Twenty-Fifth International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS ’20) . Association for Computing Machinery, New York, NY, USA, 1001–1016
Prakash Murali, David C. Mckay, Margaret Martonosi, and Ali Javadi-Abhari. 2020 · 2020
Later among the works it cites.
An Empirical Study on API Parameter Rules. In Proceedings of the ACM/IEEE 42nd International Conference on Software Engineering (ICSE ’20) . Association for Computing Machinery, New York, NY, USA, 899–911
Hao Zhong, Na Meng, Zexuan Li, and Li Jia. 2020 · 2020
Later among the works it cites.
Overview on Quantum Initiatives Worldwide - Update Mid 2021
2021 · 2021
Closest in time.
Qiskit/Qiskit
2021 · 2021
Closest in time.
TFix: Learning to Fix Coding Errors with a Text-to-Text Transformer. In Proceedings of the 38th International Conference on Machine Learning . PMLR, 780–791
Berkay Berabi, Jingxuan He, Veselin Raychev, and Martin Vechev. 2021 · 2021
Closest in time.
José Campos and André Souto. 2021 · 2021
Closest in time.
Relative Popularity of Different Quantum Programming Platforms - Quantum Computing Report
Doug Finke. 2021 · 2021
Closest in time.
Cloud Based QC with Amazon Braket
Constantin Gonzalez. 2021 · 2021
Closest in time.
A Verified Optimizer for Quantum Circuits
Kesha Hietala, Robert Rand, Shih-Han Hung, Xiaodi Wu, and Michael Hicks. 2021 · 2021
Closest in time.
Unqomp: synthesizing uncomputation in Quantum circuits. In PLDI ’21: 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, Virtual Event, Canada, June 20-25, 20211 , Stephen N. Freund and Eran Yahav (Eds.). ACM, 222–236
Anouk Paradis, Benjamin Bichsel, Samuel Steffen, and Martin T. Vechev. 2021 · 2021
Closest in time.
Understanding Neural Code Intelligence through Program Simplification. In Proceedings of the 29th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE 2021) . Association for Computing Machinery, New York, NY, USA, 441–452
Md Rafiqul Islam Rabin, Vincent J. Hellendoorn, and Mohammad Amin Alipour. 2021 · 2021
Closest in time.
A Comprehensive Study of Deep Learning Compiler Bugs. In Proceedings of the 29th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE 2021) . Association for Computing Machinery, New York, NY, USA, 968–980
Qingchao Shen, Haoyang Ma, Junjie Chen, Yongqiang Tian, Shing-Chi Cheung, and Xiang Chen. 2021 · 2021
Closest in time.
Qulacs: A Fast and Versatile Quantum Circuit Simulator for Research Purpose
Yasunari Suzuki, Yoshiaki Kawase, Yuya Masumura, Yuria Hiraga, Masahiro Nakadai, Jiabao Chen, Ken M. Nakanishi, Kosuke Mitarai, Ryosuke Imai, Shiro Tamiya, Takahiro Yamamoto, Tennin Yan, Toru Kawakubo, Yuya O. Nakagawa, Yohei Ibe, Youyuan Zhang, Hirotsugu Yamashita, Hikaru Yoshimura, Akihiro Hayashi, and Keisuke Fujii. 2021 · 2021
Closest in time.
Gleipnir: toward practical error analysis for Quantum programs. In PLDI ’21: 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, Virtual Event, Canada, June 20-25, 20211 , Stephen N. Freund and Eran Yahav (Eds.). ACM, 48–64
Runzhou Tao, Yunong Shi, Jianan Yao, John Hui, Frederic T. Chong, and Ronghui Gu. 2021 · 2021
Closest in time.
QDiff: Differential Testing of Quantum Software Stacks. In 2021 36th IEEE/ACM International Conference on Automated Software Engineering (ASE) . 692–704
Jiyuan Wang, Qian Zhang, Guoqing Harry Xu, and Miryung Kim. 2021b · 2021
Closest in time.
Automatic Unit Test Generation for Machine Learning Libraries: How Far Are We?. In 43rd IEEE/ACM International Conference on Software Engineering, ICSE 2021, Madrid, Spain, 22-30 May 2021 . IEEE, 1548–1560
Song Wang, Nishtha Shrestha, Abarna Kucheri Subburaman, Junjie Wang, Moshi Wei, and Nachiappan Nagappan. 2021a · 2021
Closest in time.
Quantum abstract interpretation. In PLDI ’21: 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, Virtual Event, Canada, June 20-25, 20211 , Stephen N. Freund and Eran Yahav (Eds.). ACM, 542–558
Nengkun Yu and Jens Palsberg. 2021 · 2021
Closest in time.
Identifying Bug Patterns in Quantum Programs. In 2021 IEEE/ACM 2nd International Workshop on Quantum Software Engineering (Q-SE) . IEEE Computer Society, 16–21
Pengzhan Zhao, Jianjun Zhao, and Lei Ma. 2021a · 2021
Closest in time.
Bugs4Q: A Benchmark of Real Bugs for Quantum Programs. In 2021 36th IEEE/ACM International Conference on Automated Software Engineering (ASE) . 1373–1376
Pengzhan Zhao, Jianjun Zhao, Zhongtao Miao, and Shuhan Lan. 2021b · 2021
Closest in time.