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