Ryo Tokuda

Publication Activity (10 Years)

Years Active: 2023-2023
Publications (10 Years): 1

Top Topics

Top Venues

Publications

Ryo Tokuda, Yukiyoshi Kameyama
Generating Programs for Polynomial Multiplication with Correctness Assurance. PEPM@POPL (2023)