Masaomi Yamaguchi

According to our database, Masaomi Yamaguchi authored at least 10 papers between 2015 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2026

Software Testing in the Quantum World.

Rui Abreu, Shaukat Ali, Paolo Arcaini, José Campos, Michael Felderer, Claude Gravel, Fuyuki Ishikawa, Stefan Klikovits, Andriy V. Miranskyy, Anila Mjeda, Mohammad Reza Mousavi, Masaomi Yamaguchi, Lei Zhang, Jianjun Zhao

Computer, April, 2026

Software Testing in the Quantum World.

Rui Abreu, Shaukat Ali, Paolo Arcaini, José Campos, Michael Felderer, Claude Gravel, Fuyuki Ishikawa, Stefan Klikovits, Andriy Miranskyy, Anila Mjeda, Mohammad Reza Mousavi, Masaomi Yamaguchi, Lei Zhang, Jianjun Zhao

CoRR, January, 2026

2025

Practical Design by Contract Framework for Quantum Applications.

Masaomi Yamaguchi, Nobukazu Yoshioka, Fuyuki Ishikawa

Proceedings of the 33rd ACM International Conference on the Foundations of Software Engineering, 2025

A Practical Open-Source Software Stack for a Cloud-Based Quantum Computing System.

Norihiro Kakuko, Shun Gokita, Naoyuki Masumoto, Keita Matsumoto, Kosuke Miyaji, Takafumi Miyanaga, Toshio Mori, Haruki Nakayama, Keita Sasada, Yasuhito Takamiya, Satoyuki Tsukano, Ryo Uchida, Masaomi Yamaguchi

Proceedings of the IEEE International Conference on Quantum Computing and Engineering, 2025

2023

Design by Contract Framework for Quantum Software.

Masaomi Yamaguchi, Nobukazu Yoshioka

Proceedings of the 4th IEEE/ACM International Workshop on Quantum Software Engineering, 2023

2021

Synbit: Synthesizing Bidirectional Programs using Unidirectional Sketches (Artifact).

Masaomi Yamaguchi, Kazutaka Matsuda, Cristina David, Meng Wang

Dataset, September, 2021

Synbit: Synthesizing Bidirectional Programs using Unidirectional Sketches (Artifact).

Masaomi Yamaguchi, Kazutaka Matsuda, Cristina David, Meng Wang

Dataset, September, 2021

Synbit: synthesizing bidirectional programs using unidirectional sketches.

Masaomi Yamaguchi, Kazutaka Matsuda, Cristina David, Meng Wang

Proc. ACM Program. Lang., 2021

2020

A Fast Decision Procedure For Uniqueness of Normal Forms w.r.t. Conversion of Shallow Term Rewriting Systems.

Masaomi Yamaguchi, Takahito Aoto

Proceedings of the 5th International Conference on Formal Structures for Computation and Deduction, 2020

2015

1.3 µm external-cavity quantum-dot comb laser for temperature control free operation.

Nami Yasuoka, Mitsuru Ishida, Masaomi Yamaguchi, Ayahito Uetake, Tsuyoshi Yamamoto, Yasuhiko Arakawa

Proceedings of the Optical Fiber Communications Conference and Exhibition, 2015