3 citations · 3 across the 4 of their papers we have counts for
5 papers
Symmetry-Oriented Testing Framework for Variational Quantum Algorithms
Masaomi Yamaguchi, Fuyuki Ishikawa
Testing quantum software is challenging because quantum states cannot be directly inspected. Variational quantum algorithms (VQAs) are a particularly important target as they are a…
Software Testing in the Quantum World
Rui Abreu, Shaukat Ali, Paolo Arcaini +11
Quantum computing offers significant speedups for simulating physical, chemical, and biological systems, and for optimization and machine learning. As quantum software grows in com…
A Practical Open-Source Software Stack for a Cloud-Based Quantum Computing System
Norihiro Kakuko, Shun Gokita, Naoyuki Masumoto +10
Since the late 2010s, quantum computers have become commercially available, and the number of services that users can run remotely via cloud servers is increasing. In Japan, severa…
Design by Contract Framework for Quantum Software
Masaomi Yamaguchi, Nobukazu Yoshioka
To realize reliable quantum software, techniques to automatically ensure the quantum software's correctness have recently been investigated. However, they primarily focus on fixed…
Synbit: Synthesizing Bidirectional Programs using Unidirectional Sketches
Masaomi Yamaguchi, Kazutaka Matsuda, Cristina David +1
We propose a technique for synthesizing bidirectional programs from the corresponding unidirectional code plus a few input/output examples. The core ideas are: (1) constructing a s…