ProfessorsProfessors of University of TsukubaYukiyoshi Kameyama

Yukiyoshi Kameyama

University of Tsukuba

H-index: 15

Asia-Japan

About Yukiyoshi Kameyama

Yukiyoshi Kameyama, With an exceptional h-index of 15 and a recent h-index of 8 (since 2020), a distinguished researcher at University of Tsukuba, specializes in the field of Functional Programming, Staged Computing, Program Verification.

His recent articles reflect a diverse array of research interests and contributions to the field:

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

Generating programs for polynomial multiplication with correctness assurance

Unified program generation and verification: a case study on number-theoretic transform

Type-safe generation of modules in applicative and generative styles

FFT program generation for ring LWE-based cryptography

One-shot algebraic effects as coroutines

Reorganizing queries with grouping

Module generation without regret

Yukiyoshi Kameyama Information

University	University of Tsukuba
Position	___
Citations(all)	753
Citations(since 2020)	185
Cited By	634
hIndex(all)	15
hIndex(since 2020)	8
i10Index(all)	20
i10Index(since 2020)	7
Email	Access Email
University Profile Page	University of Tsukuba
Google Scholar	View Google Scholar Profile

Yukiyoshi Kameyama Skills & Research Interests

Functional Programming

Staged Computing

Program Verification

Top articles of Yukiyoshi Kameyama

Title	Journal	Author(s)	Publication Date
Program generation meets program verification: A case study on number-theoretic transform	Science of Computer Programming	Masahiro Masuda Yukiyoshi Kameyama	2024/1/1
Generating programs for polynomial multiplication with correctness assurance		Ryo Tokuda Yukiyoshi Kameyama	2023/1/15
Unified program generation and verification: a case study on number-theoretic transform		Masahiro Masuda Yukiyoshi Kameyama	2022/5/3
Type-safe generation of modules in applicative and generative styles		Yuhi Sato Yukiyoshi Kameyama	2021/10/17
FFT program generation for ring LWE-based cryptography		Masahiro Masuda Yukiyoshi Kameyama	2021
One-shot algebraic effects as coroutines		Satoru Kawahara Yukiyoshi Kameyama	2020
Reorganizing queries with grouping		Rui Okura Yukiyoshi Kameyama	2020/11/16
Module generation without regret		Yuhi Sato Yukiyoshi Kameyama Takahisa Watanabe	2020/1/20
Language-integrated query with nested data structures and grouping		Rui Okura Yukiyoshi Kameyama	2020