Masahiro Masuda

According to our database, Masahiro Masuda authored at least 9 papers between 1993 and 2024.

Collaborative distances:

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

2024

Program generation meets program verification: A case study on number-theoretic transform.

Masahiro Masuda, Yukiyoshi Kameyama

Sci. Comput. Program., January, 2024

2022

Tensor Program Optimization with Probabilistic Programs.

Junru Shao, Xiyou Zhou, Siyuan Feng, Bohan Hou, Ruihang Lai, Hongyi Jin, Wuwei Lin, Masahiro Masuda, Cody Hao Yu, Tianqi Chen

Proceedings of the Advances in Neural Information Processing Systems 35: Annual Conference on Neural Information Processing Systems 2022, 2022

Unified Program Generation and Verification: A Case Study on Number-Theoretic Transform.

Masahiro Masuda, Yukiyoshi Kameyama

Proceedings of the Functional and Logic Programming - 16th International Symposium, 2022

2021

FFT Program Generation for Ring LWE-Based Cryptography.

Masahiro Masuda, Yukiyoshi Kameyama

Proceedings of the Advances in Information and Computer Security, 2021

2020

Efficient Execution of Quantized Deep Learning Models: A Compiler Approach.

Animesh Jain, Shoubhik Bhattacharya, Masahiro Masuda, Vin Sharma, Yida Wang

CoRR, 2020

2017

Unsupervised video object segmentation by supertrajectory labeling.

Masahiro Masuda, Yoshihiko Mochizuki, Hiroshi Ishikawa

Proceedings of the Fifteenth IAPR International Conference on Machine Vision Applications, 2017

2014

Semi-autonomous centipede-like robot with flexible legs.

Masahiro Masuda, Kazuyuki Ito

Proceedings of the 2014 IEEE International Symposium on Safety, 2014

2013

Restraint of Thermal Crack on Rake Face of Cermet Tool in Intermittent Cutting.

Akira Mizobuchi, Masahiro Masuda, Teruo Nogami, Hitoshi Ogawa, Tohru Ishida

Int. J. Autom. Technol., 2013

1993

A Novel Capacitor Placement Strategy in ASCCOT: Automatic Layouter for Switched Capacitor Circuits.

Mineo Kaneko, Masahiro Masuda, Tomohiro Hayashi

Proceedings of the 1993 IEEE International Symposium on Circuits and Systems, 1993