Masahiro Masuda

Publication Activity (10 Years)

Years Active: 1993-2024
Publications (10 Years): 7

Top Topics

Imperative Programs

Efficient Execution

Top Venues

Sci. Comput. Program.

Publications

Masahiro Masuda, Yukiyoshi Kameyama
Program generation meets program verification: A case study on number-theoretic transform. Sci. Comput. Program. 232 (2024)
Junru Shao, Xiyou Zhou, Siyuan Feng, Bohan Hou, Ruihang Lai, Hongyi Jin, Wuwei Lin, Masahiro Masuda, Cody Hao Yu, Tianqi Chen
Tensor Program Optimization with Probabilistic Programs. NeurIPS (2022)
Masahiro Masuda, Yukiyoshi Kameyama
Unified Program Generation and Verification: A Case Study on Number-Theoretic Transform. FLOPS (2022)
Junru Shao, Xiyou Zhou, Siyuan Feng, Bohan Hou, Ruihang Lai, Hongyi Jin, Wuwei Lin, Masahiro Masuda, Cody Hao Yu, Tianqi Chen
Tensor Program Optimization with Probabilistic Programs. CoRR (2022)
Masahiro Masuda, Yukiyoshi Kameyama
FFT Program Generation for Ring LWE-Based Cryptography. IWSEC (2021)
Animesh Jain, Shoubhik Bhattacharya, Masahiro Masuda, Vin Sharma, Yida Wang
Efficient Execution of Quantized Deep Learning Models: A Compiler Approach. CoRR (2020)
Masahiro Masuda, Yoshihiko Mochizuki, Hiroshi Ishikawa
Unsupervised video object segmentation by supertrajectory labeling. MVA (2017)
Masahiro Masuda, Kazuyuki Ito
Semi-autonomous centipede-like robot with flexible legs. SSRR (2014)
Akira Mizobuchi, Masahiro Masuda, Teruo Nogami, Hitoshi Ogawa, Tohru Ishida
Restraint of Thermal Crack on Rake Face of Cermet Tool in Intermittent Cutting. Int. J. Autom. Technol. 7 (3) (2013)
Mineo Kaneko, Masahiro Masuda, Tomohiro Hayashi
A Novel Capacitor Placement Strategy in ASCCOT: Automatic Layouter for Switched Capacitor Circuits. ISCAS (1993)