SPECS – Special-Purpose Computer Systems Languages and Tools Reasearch Group

Publications in International Journals

Cláudio Gomes, Gabriel Falcao, Luís Paquete, João Paulo Fernandes,”An Empirical Study on the Use of Quantum Computing for Financial Portfolio Optimization,” in Springer Nature Computer Science, 2022. https://doi.org/10.1007/s42979-022-01215-9

D Fortunato, J Campos, R Abreu,”Mutation Testing of Quantum Programs: A Case Study With QISKit,” in IEEE Transactions on Quantum Engineering, 2022. https://doi.org/10.1109/TQE.2022.3195061

K. Bertels, A. Sarkar and I. Ashraf,”Quantum Computing—From NISQ to PISQ,” in IEEE Micro, vol. 41, no. 05, pp. 24-32, 2021. https://doi.org/10.1109/MM.2021.3099195

A Sarkar, Z Al-Ars, K Bertels,”Estimating Algorithmic Information Using Quantum Computing for Genomics Applications,” in Applied Sciences 11 (6), 2696, 2021. https://doi.org/10.3390/app11062696

A Sarkar, Z Al-Ars, K Bertels,”QuASeR: Quantum Accelerated de novo DNA sequence reconstruction,” in Plos one 16 (4), e0249850, 2021. https://doi.org/10.1371/journal.pone.0249850

R Abreu, S Ali, T Yue,”First International Workshop on Quantum Software Engineering (Q-SE 2020),” in ACM SIGSOFT Software Engineering Notes 46 (2), 30-32, 2021. https://dl.acm.org/doi/abs/10.1145/3448992.3449000

Publications in International Conferences

Shaukat Ali, Tao Yue, Rui Abreu,”When software engineering meets quantum computing,” in Commun. ACM 65(4): 84-88, 2022. https://dl.acm.org/doi/pdf/10.1145/3512340

Daniel Fortunato, José Campos, Rui Abreu,”Mutation Testing of Quantum Programs Written in QISKit,” in ICSE-Companion 2022: 358-359, 2022. https://doi.org/10.1109/ICSE-Companion55297.2022.9793776

Daniel Fortunato, José Campos, and Rui Abreu,”QMutPy: a mutation testing tool for Quantum algorithms and applications in Qiskit,” in In Proceedings of the 31st ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2022). ACM, New York, NY, USA, pp. 797–800, 2022. https://doi.org/10.1145/3533767.3543296

Publications in International Workshops

Rui Abreu, João Paulo Fernandes, Luis Llana, Guilherme Tavares,”Metamorphic Testing of Oracle Quantum Programs,” in Q-SE@ICSE 2022: 16-23, 2022. https://doi.org/10.1145/3528230.3529189

Miguel Trinca, João F. Ferreira, Rui Abreu,”A Preliminary Study on Generating Well-Formed Q# Quantum Programs for Fuzz Testing,” in ICST Workshops 2022: 118-121, 2022. https://doi.org/10.1109/ICSTW55395.2022.00033

Diedrich, A., Feldman, A., Perdomo-Ortiz, A., Abreu, R., Niggemann, O., & de Kleer, J.,”Applying simulated annealing to problems in model-based diagnosis. ,” in In Proceedings of the 27th International workshop on principles of diagnosis, Denver, CO, USA (pp. 4-7)., 2019. https://ntrs.nasa.gov/citations/20190000272

Cláudio Gomes, Daniel Fortunato, João Paulo Fernandes, and Rui Abreu,”Off-the-shelf Components for Quantum Programming and Testing,” in International Workshop on Software Engineering & Technology, 2020. http://ceur-ws.org/Vol-2705/short2.pdf

Publications at arXiv

K Bertels, A Sarkar, I Ashraf,”Quantum Computing–from NISQ to PISQ,” in arXiv, 2022. https://arxiv.org/pdf/2106.11840.pdf

Koen Bertels, A Sarkar, A Krol, R Budhrani, J Samadi, E Geoffroy, J Matos, R Abreu, G Gielen, I Ashraf,”Quantum Accelerator Stack: A Research Roadmap,” in arXiv, 2021. https://arxiv.org/pdf/2102.02035.pdf

AM Krol, A Sarkar, I Ashraf, Z Al-Ars, K Bertels,”Efficient decomposition of unitary matrices in quantum circuit compilers,” in arXiv, 2022. https://arxiv.org/pdf/2101.02993.pdf



Email: sc.dei@fe.up.pt

Phone: (+351) 220413916 (ext. 3916)

Location: Laboratory J204
Faculdade de Engenharia da Universidade do Porto (FEUP)
Rua Dr. Roberto Frias
4200-465 Porto, Portugal