Ada Workshop
Mon 14 - Fri 18 November 2022 Singapore
co-located with ESEC/FSE 2022
VenueNUS U-Town
Room nameVirtual 2 (Whova)
Floor0
Room InformationNo extra information available
Program

You're viewing the program in a time zone which is different from your device's time zone change time zone

Fri 18 Nov

Displayed time zone: Beijing, Chongqing, Hong Kong, Urumqi change

14:40 - 15:00
20:30 - 20:40
20:30
10m
Talk
QP4SE Opening
QP4SE
A: Fabiano Pecorelli Tampere University, A: Vita Santa Barletta University of Bari, A: Manuel Serrano University of Castilla-La Mancha
20:40 - 21:40
Keynote by Mario PiattiniQP4SE at Virtual 2 (Whova)
20:40
60m
Keynote
Quantum Software Engineering & Programming
QP4SE
A: Mario Piattini University of Castilla-La Mancha, Spain
22:00 - 23:00
Testing Quantum ProgramsQP4SE at Virtual 2 (Whova)
22:00
20m
Paper
Automatic generation of test circuits for the verification of quantum deterministic algorithms
QP4SE
A: Antonio García de la Barrera Amo University of Castilla-La Mancha, A: Manuel Serrano University of Castilla-La Mancha, A: Ignacio García University of Castilla-La Mancha, A: Macario Polo University of Castilla-La Mancha, A: Mario Piattini University of Castilla-La Mancha, Spain
22:20
20m
Paper
Asserting the Correctness of Short Implementations using Metamorphic Testing
QP4SE
A: Nuno Costa Faculty of Engineering of the University of Porto, A: João Paulo Fernandes LIACC, Universidade do Porto, Porto, Portugal, A: Rui Abreu Meta Platforms
22:40
20m
Talk
Using Quantum Computers to Speed Up Dynamic Testing of Software
QP4SE
A: Andriy Miranskyy Toronto Metropolitan University (formerly Ryerson University)
Pre-print
23:00 - 23:20
23:20 - 00:10
Quantum Software Engineering: Challenges and ProspectsQP4SE at Virtual 2 (Whova)
23:20
10m
Paper
Embracing Iterations in Quantum Software: A Vision
QP4SE
A: Arif Ali Khan University of Oulu, A: Mahdi Fahmideh University of Southern Queensland, A: Aakash_Ahmad , A: Muhammad Waseem Wuhan University, China, A: Mahmood Niazi King Fahd University of Petroleum and Minerals, A: Valtteri Lahtinen QUANSCIENT, A: Tommi Mikkonen University of Jyvaskyla
23:30
10m
Paper
QAI4ASE: Quantum Artificial Intelligence for Automotive Software Engineering
QP4SE
A: Mirko De Vincentiis University of Bari, Italy, A: Fabio Cassano University of Bari, Italy, A: Alessandro Pagano University of Bari, Italy, A: Antonio Piccinno University of Bari, Italy
23:40
10m
Paper
Quantum Computing for Software Engineering: Prospects
QP4SE
A: Andriy Miranskyy Toronto Metropolitan University (formerly Ryerson University), A: Mushahid Khan Ryerson University, Toronto, Canada, A: Jean Paul Latyr Faye CMC Microsystems, A: Udson C. Mendes CMC Microsystems
Pre-print
23:50
10m
Paper
Quantum Optimization for Fast CAN bus Intrusion Detection
QP4SE
A: Danilo Caivano University of Bari, A: Mirko De Vincentiis University of Bari, Italy, A: Federica Nitti University of Bari, Italy, A: Anibrata Pal University of Bari, Italy
00:00
10m
Paper
Towards Quantum-Algorithms-as-a-Service
QP4SE
A: Manuel De Stefano Università di Salerno, A: Dario Di Nucci University of Salerno, A: Fabio Palomba University of Salerno, A: Davide Taibi Tampere University , A: Andrea De Lucia University of Salerno

Sat 19 Nov

Displayed time zone: Beijing, Chongqing, Hong Kong, Urumqi change

00:10 - 00:30
00:10
20m
Day closing
Closing
QP4SE
A: Fabiano Pecorelli Tampere University, A: Vita Santa Barletta University of Bari, A: Manuel Serrano University of Castilla-La Mancha

Fri 18 Nov

Displayed time zone: Beijing, Chongqing, Hong Kong, Urumqi change

Sat 19 Nov

Displayed time zone: Beijing, Chongqing, Hong Kong, Urumqi change