Powered by
1st International Workshop on Quantum Programming for Software Engineering (QP4SE 2022), November 18, 2022,
Singapore, Singapore
1st International Workshop on Quantum Programming for Software Engineering (QP4SE 2022)
Frontmatter
Papers
Automatic Generation of Test Circuits for the Verification of Quantum Deterministic Algorithms
Antonio García de la Barrera Amo,
Manuel A. Serrano,
Ignacio García Rodríguez de Guzmán,
Macario Polo, and
Mario Piattini
(University of Castilla-La Mancha, Spain)
@InProceedings{QP4SE22p1,
author = {Antonio García de la Barrera Amo and Manuel A. Serrano and Ignacio García Rodríguez de Guzmán and Macario Polo and Mario Piattini},
title = {Automatic Generation of Test Circuits for the Verification of Quantum Deterministic Algorithms},
booktitle = {Proc.\ QP4SE},
publisher = {ACM},
pages = {1-0},
doi = {10.1145/3549036.3562055},
year = {2022},
}
Publisher's Version
Towards Quantum-Algorithms-as-a-Service
Manuel De Stefano,
Dario Di Nucci,
Fabio Palomba,
Davide Taibi, and
Andrea De Lucia
(University of Salerno, Italy; Tampere University of Technology, Finland)
@InProceedings{QP4SE22p7,
author = {Manuel De Stefano and Dario Di Nucci and Fabio Palomba and Davide Taibi and Andrea De Lucia},
title = {Towards Quantum-Algorithms-as-a-Service},
booktitle = {Proc.\ QP4SE},
publisher = {ACM},
pages = {7-6},
doi = {10.1145/3549036.3562056},
year = {2022},
}
Publisher's Version
Embracing Iterations in Quantum Software: A Vision
Arif Ali Khan,
Mahdi Fahmideh,
Aakash Ahmad,
Muhammad Waseem,
Mahmood Niazi,
Valtteri Lahtinen, and
Tommi Mikkonen
(University of Oulu, Finland; University of Southern Queensland, Australia; Lancaster University Leipzig, Germany; Wuhan University, China; King Fahd University of Petroleum and Minerals, Saudi Arabia; Quanscient, Finland; University of Jyväskylä, Finland)
@InProceedings{QP4SE22p13,
author = {Arif Ali Khan and Mahdi Fahmideh and Aakash Ahmad and Muhammad Waseem and Mahmood Niazi and Valtteri Lahtinen and Tommi Mikkonen},
title = {Embracing Iterations in Quantum Software: A Vision},
booktitle = {Proc.\ QP4SE},
publisher = {ACM},
pages = {13-12},
doi = {10.1145/3549036.3562057},
year = {2022},
}
Publisher's Version
Quantum Optimization for Fast CAN Bus Intrusion Detection
Danilo Caivano,
Mirko De Vincentiis,
Federica Nitti, and
Anibrata Pal
(University of Bari, Italy)
@InProceedings{QP4SE22p19,
author = {Danilo Caivano and Mirko De Vincentiis and Federica Nitti and Anibrata Pal},
title = {Quantum Optimization for Fast CAN Bus Intrusion Detection},
booktitle = {Proc.\ QP4SE},
publisher = {ACM},
pages = {19-18},
doi = {10.1145/3549036.3562058},
year = {2022},
}
Publisher's Version
QAI4ASE: Quantum Artificial Intelligence for Automotive Software Engineering
Mirko De Vincentiis,
Fabio Cassano,
Alessandro Pagano, and
Antonio Piccinno
(University of Bari, Italy)
@InProceedings{QP4SE22p25,
author = {Mirko De Vincentiis and Fabio Cassano and Alessandro Pagano and Antonio Piccinno},
title = {QAI4ASE: Quantum Artificial Intelligence for Automotive Software Engineering},
booktitle = {Proc.\ QP4SE},
publisher = {ACM},
pages = {25-24},
doi = {10.1145/3549036.3562059},
year = {2022},
}
Publisher's Version
Quantum Computing for Software Engineering: Prospects
Andriy Miranskyy,
Mushahid Khan,
Jean Paul Latyr Faye, and
Udson C. Mendes
(Ryerson University, Canada; CMC Microsystems, Canada)
@InProceedings{QP4SE22p31,
author = {Andriy Miranskyy and Mushahid Khan and Jean Paul Latyr Faye and Udson C. Mendes},
title = {Quantum Computing for Software Engineering: Prospects},
booktitle = {Proc.\ QP4SE},
publisher = {ACM},
pages = {31-30},
doi = {10.1145/3549036.3562060},
year = {2022},
}
Publisher's Version
Asserting the Correctness of Shor Implementations using Metamorphic Testing
Nuno Costa,
João Paulo Fernandes, and
Rui Abreu
(University of Porto, Portugal)
@InProceedings{QP4SE22p43,
author = {Nuno Costa and João Paulo Fernandes and Rui Abreu},
title = {Asserting the Correctness of Shor Implementations using Metamorphic Testing},
booktitle = {Proc.\ QP4SE},
publisher = {ACM},
pages = {43-42},
doi = {10.1145/3549036.3562062},
year = {2022},
}
Publisher's Version
proc time: 0.67