| 研究実績の概要 |
Last year we have finally released our stream fusion library, Strymonas 2: Highest-performance Stream Processing: generating high-performance OCaml and C code from declarative stream pipelines (available on Github https://strymonas.github.io/) and presented it at an international (ACM SIGPLAN) workshop.
We have further improved the performance of our FM radio application, based on strymonas, and verified that it is fast enough for live FM radio reception, using the standard SDR (Software Defined Radio) hardware (HackRF).
Crucial to the high performance stream processing is efficient and reliable C code generation. It is implemented in strymonas and described in the "Generating C" paper and several presentations made on this topic. There are many subtleties in generating C, many of which relate to mutable variables. Solving the problem once and for all, without imposing any ad hoc restrictions, required a new theoretical treatment of assignment. The results were presented at several meetings.
|
| 今後の研究の推進方策 |
In 2023,the student I'm advising (who is now M2) are planning to write out and present our results about FM Radio and the comparison with GNU Radio at an international meeting (we wrote one short paper last year for an international meeting, but the meeting was cancelled). I'm also working on greatly expanding the "Generating C" paper to a comprehensive journal paper.
We have started work on a new backend for strymonas: WASM.
|
| 次年度使用額が生じた理由 |
COVID epidemic (which has abated only recently) has made it very difficult to hold academic meetings and travel internationally. Last year I could only attend one major conference, in September (when travel restrictions in Japan have been relaxed). Therefore, the funds of this kakenhi (which are most travel funds) were not used. I plan to travel in 2023 to meetings to present the accumulated results; the saved travel funds will be come very useful then.
|
