• Search Research Projects
  • Search Researchers
  • How to Use
  1. Back to project page

2023 Fiscal Year Research-status Report

Perfect Stream Fusion for Information Flow Processing

Research Project

Project/Area Number 21K11821
Research InstitutionTohoku University

Principal Investigator

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

Project Period (FY) 2021-04-01 – 2025-03-31
Keywordsstream processing / DSL / info flow processing / software-defined radio / sensor fusion
Outline of Annual Research Achievements

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.

Current Status of Research Progress
Current Status of Research Progress

1: Research has progressed more than it was originally planned.

Reason

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

Strategy for Future Research Activity

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.

Causes of Carryover

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.

  • Research Products

    (8 results)

All 2024 Other

All Journal Article (2 results) (of which Int'l Joint Research: 2 results,  Peer Reviewed: 2 results) Presentation (2 results) (of which Int'l Joint Research: 2 results) Remarks (4 results)

  • [Journal Article] Generating C: Heterogeneous metaprogramming system description2024

    • Author(s)
      Kiselyov Oleg
    • Journal Title

      Science of Computer Programming

      Volume: 231 Pages: 103015~103015

    • DOI

      10.1016/j.scico.2023.103015

    • Peer Reviewed / Int'l Joint Research
  • [Journal Article] Complete Stream Fusion for Software-Defined Radio2024

    • Author(s)
      Kobayashi Tomoaki、Kiselyov Oleg
    • Journal Title

      Proc. PEPM 2024 (ACM DL)

      Volume: n/a Pages: 57-69

    • DOI

      10.1145/3635800.3636962

    • Peer Reviewed / Int'l Joint Research
  • [Presentation] Complete Stream Fusion for Software-Defined Radio2024

    • Author(s)
      Tomoaki Kobayashi
    • Organizer
      ACM SIGPLAN workshop PEPM 2024
    • Int'l Joint Research
  • [Presentation] The Mysteries of AXPY2024

    • Author(s)
      Oleg Kiselyov
    • Organizer
      IFIP WG 2.11
    • Int'l Joint Research
  • [Remarks] Strymonas: Highest-performance Stream Processing

    • URL

      http://strymonas.github.io/

  • [Remarks] Patterns of data flow in words

    • URL

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

  • [Remarks] Stack as the variable binding environment

    • URL

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

  • [Remarks] Simple generators in OCaml

    • URL

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

URL: 

Published: 2024-12-25  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi