Masaomi Yamaguchi

Publication Activity (10 Years)

Years Active: 2015-2023
Publications (10 Years): 6

Top Topics

Term Rewriting Systems

Top Venues

Proc. ACM Program. Lang.

Publications

Masaomi Yamaguchi, Nobukazu Yoshioka
Design by Contract Framework for Quantum Software. CoRR (2023)
Masaomi Yamaguchi, Nobukazu Yoshioka
Design by Contract Framework for Quantum Software. Q-SE@ICSE (2023)
Masaomi Yamaguchi, Kazutaka Matsuda, Cristina David, Meng Wang
Synbit: synthesizing bidirectional programs using unidirectional sketches. Formal Methods Syst. Des. 61 (2) (2022)
Masaomi Yamaguchi, Kazutaka Matsuda, Cristina David, Meng Wang
Synbit: Synthesizing Bidirectional Programs using Unidirectional Sketches. CoRR (2021)
Masaomi Yamaguchi, Kazutaka Matsuda, Cristina David, Meng Wang
Synbit: synthesizing bidirectional programs using unidirectional sketches. Proc. ACM Program. Lang. 5 (OOPSLA) (2021)
Masaomi Yamaguchi, Takahito Aoto
A Fast Decision Procedure For Uniqueness of Normal Forms w.r.t. Conversion of Shallow Term Rewriting Systems. FSCD (2020)
Nami Yasuoka, Mitsuru Ishida, Masaomi Yamaguchi, Ayahito Uetake, Tsuyoshi Yamamoto, Yasuhiko Arakawa
1.3 µm external-cavity quantum-dot comb laser for temperature control free operation. OFC (2015)