Formura0 is a functional domain-specific language for stencil computations. Formura0 introduces a new kind of variable named \emph{temporary grid variable}(TGV). TGV retains temporary values that is used by calculations at different points on the grid, so TGV helps reduce redundant computations in multistage methods such as Runge-Kutta method. Our evaluation shows that the $4$-stage Runge-Kutta method with TGV improves performance when computed on small grids.

I’m an undergraduate student in Tokyo Institute of Technology.
I was a student in National Institute of Technology, Matsue College(Matsue KOSEN) in 2016-2020.
(I awarded “Associate” credential. See https://en.wikipedia.org/wiki/Colleges_of_technology_in_Japan for information about KOSEN in Japan. )
I have developed a Functional Programming Language for stencil computations, “Formura0” since I was at Matsue College.