• 研究課題をさがす
  • 研究者をさがす
  • KAKENの使い方
  1. 課題ページに戻る

2023 年度 実施状況報告書

Perfect Stream Fusion for Information Flow Processing

研究課題

研究課題/領域番号 21K11821
研究機関東北大学

研究代表者

Kiselyov Oleg  東北大学, 情報科学研究科, 助教 (50754602)

研究期間 (年度) 2021-04-01 – 2025-03-31
キーワードstream processing / DSL / info flow processing / software-defined radio / sensor fusion
研究実績の概要

We (with the Master student, who has just successfully graduated) have completed a significant milestone: demonstrating that our stream processing approach scales to the significant application: Software-Defined Radio, specifically, FM Radio reception in software.

The approach is implemented as the freely available (open source) library called Strymonas (https://strymonas.github.io). We have released version 2.1 of the library.

We have demonstrated that Strymonas offers portable high performance, well enough for the real-time FM Radio reception. It is on par with (or, on Raspberry Pi Zero, outstripping) the state-of-the-art GNU Radio, while providing correctness guarantees (that is, ensuring the absence of classes of bugs). The application is described in a paper presented at the international workshop and published in the ACM Digital Library. The paper received the Best Paper Award.

現在までの達成度 (区分)
現在までの達成度 (区分)

1: 当初の計画以上に進展している

理由

The paper presenting our results at the international (ACM SIGPLAN) workshop PEPM 2024 has received the Best Paper award.

今後の研究の推進方策

In the last year of the grant I plan to concentrate on explaining the theory underlying strymonas in a comprehensive journal paper. That is, the paper is to explain why strymonas has high performance and why it is correct.

次年度使用額が生じた理由

Most of the grant was meant to be used for travel expenses for travel to scientific meetings. During COVID, no travel was possible. I'm slowly catching up.

  • 研究成果

    (8件)

すべて 2024 その他

すべて 雑誌論文 (2件) (うち国際共著 2件、 査読あり 2件) 学会発表 (2件) (うち国際学会 2件) 備考 (4件)

  • [雑誌論文] Generating C: Heterogeneous metaprogramming system description2024

    • 著者名/発表者名
      Kiselyov Oleg
    • 雑誌名

      Science of Computer Programming

      巻: 231 ページ: 103015~103015

    • DOI

      10.1016/j.scico.2023.103015

    • 査読あり / 国際共著
  • [雑誌論文] Complete Stream Fusion for Software-Defined Radio2024

    • 著者名/発表者名
      Kobayashi Tomoaki、Kiselyov Oleg
    • 雑誌名

      Proc. PEPM 2024 (ACM DL)

      巻: n/a ページ: 57-69

    • DOI

      10.1145/3635800.3636962

    • 査読あり / 国際共著
  • [学会発表] Complete Stream Fusion for Software-Defined Radio2024

    • 著者名/発表者名
      Tomoaki Kobayashi
    • 学会等名
      ACM SIGPLAN workshop PEPM 2024
    • 国際学会
  • [学会発表] The Mysteries of AXPY2024

    • 著者名/発表者名
      Oleg Kiselyov
    • 学会等名
      IFIP WG 2.11
    • 国際学会
  • [備考] Strymonas: Highest-performance Stream Processing

    • URL

      http://strymonas.github.io/

  • [備考] Patterns of data flow in words

    • URL

      http://okmij.org/ftp/Computation/ARPL.html

  • [備考] Stack as the variable binding environment

    • URL

      http://okmij.org/ftp/continuations/stack-env.html

  • [備考] Simple generators in OCaml

    • URL

      http://okmij.org/ftp/continuations/PPYield/index.html#gen-OCaml

URL: 

公開日: 2024-12-25  

サービス概要 検索マニュアル よくある質問 お知らせ 利用規程 科研費による研究の帰属

Powered by NII kakenhi