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

Perfect Stream Fusion for Information Flow Processing

Research Project

Project/Area Number 21K11821
Research Category

Grant-in-Aid for Scientific Research (C)

Allocation TypeMulti-year Fund
Section一般
Review Section Basic Section 60050:Software-related
Research InstitutionTohoku University

Principal Investigator

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

Project Period (FY) 2021-04-01 – 2025-03-31
Project Status Granted (Fiscal Year 2023)
Budget Amount *help
¥4,160,000 (Direct Cost: ¥3,200,000、Indirect Cost: ¥960,000)
Fiscal Year 2024: ¥650,000 (Direct Cost: ¥500,000、Indirect Cost: ¥150,000)
Fiscal Year 2023: ¥1,170,000 (Direct Cost: ¥900,000、Indirect Cost: ¥270,000)
Fiscal Year 2022: ¥1,170,000 (Direct Cost: ¥900,000、Indirect Cost: ¥270,000)
Fiscal Year 2021: ¥1,170,000 (Direct Cost: ¥900,000、Indirect Cost: ¥270,000)
Keywordsstream processing / DSL / info flow processing / software-defined radio / sensor fusion / complex event processing / Stream processing / Info flow processing
Outline of Research at the Start

Stream processing is transforming, correlating or reducing possibly unbounded sequences of data, in small space. The widening deployment of sensors (Internet-of-Things, IoT) and the need to analyze and react to the collected data bring stream processing into ordinary life: environment monitoring, traffic management, etc.

Earlier we have developed an approach for stream processing of vast but already available data. It is easy to use and it delivers the highest performance. The goal is to develop the similar approach for sensor data, to correlate and react to continuously-flowing events.

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.

Report

(3 results)
  • 2023 Research-status Report
  • 2022 Research-status Report
  • 2021 Research-status Report
  • Research Products

    (25 results)

All 2024 2023 2022 2021 Other

All Int'l Joint Research (2 results) Journal Article (8 results) (of which Int'l Joint Research: 7 results,  Peer Reviewed: 7 results) Presentation (10 results) (of which Int'l Joint Research: 7 results,  Invited: 1 results) Remarks (5 results)

  • [Int'l Joint Research] Oracle Labs(スイス)

    • Related Report
      2022 Research-status Report
  • [Int'l Joint Research] University of Oxford(英国)

    • Related Report
      2021 Research-status Report
  • [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

    • Related Report
      2023 Research-status Report
    • 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

    • Related Report
      2023 Research-status Report
    • Peer Reviewed / Int'l Joint Research
  • [Journal Article] Generating C2022

    • Author(s)
      Kiselyov Oleg
    • Journal Title

      Lecture Notes in Computer Science

      Volume: 13215 Pages: 75-93

    • DOI

      10.1007/978-3-030-99461-7_5

    • ISBN
      9783030994600, 9783030994617
    • Related Report
      2022 Research-status Report
    • Peer Reviewed / Int'l Joint Research
  • [Journal Article] Highest-performance Stream Processing2022

    • Author(s)
      Oleg Kiselyov, Tomoaki Kobayashi, Aggelos Biboudis, Nick Palladinos
    • Journal Title

      ACM SIGPLAN OCaml Workshop/ArXiv

      Volume: 2211.13461

    • Related Report
      2022 Research-status Report
    • Peer Reviewed / Int'l Joint Research
  • [Journal Article] New View on Plasma Fractals -- From the High Point of Array Languages2022

    • Author(s)
      Oleg Kiselyov, Toshihiro Nakayama
    • Journal Title

      ACM SIGPLAN FARM 2022 workshop/Arxiv

      Volume: 2212.12502

    • Related Report
      2022 Research-status Report
    • Peer Reviewed / Int'l Joint Research
  • [Journal Article] Complete Stream Fusion for Software-Defined Radio2022

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

      ArXiv

      Volume: 2208.08732

    • Related Report
      2022 Research-status Report
  • [Journal Article] Generating C: System Description2022

    • Author(s)
      Kiselyov Oleg
    • Journal Title

      Accepted for FLOPS 2022 and in press

      Volume: n/a

    • Related Report
      2021 Research-status Report
    • Peer Reviewed / Int'l Joint Research
  • [Journal Article] All Things Flow: Unfolding the History of Streams2021

    • Author(s)
      Aggelos Biboudis, Jeremy Gibbons, Oleg Kiselyov
    • Journal Title

      Proceedings of HAPOC 21

      Volume: HAPOC21

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

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

    • Author(s)
      Oleg Kiselyov
    • Organizer
      IFIP WG 2.11
    • Related Report
      2023 Research-status Report
    • Int'l Joint Research
  • [Presentation] ARPL Tutorial2023

    • Author(s)
      Oleg Kiselyov
    • Organizer
      <Programming> 23
    • Related Report
      2022 Research-status Report
    • Int'l Joint Research
  • [Presentation] Generating C2022

    • Author(s)
      Oleg Kiselyov
    • Organizer
      FLOPS 2022
    • Related Report
      2022 Research-status Report
    • Int'l Joint Research
  • [Presentation] Highest-performance Stream Processing2022

    • Author(s)
      Oleg Kiselyov
    • Organizer
      ACM SIGPLAN OCaml workshop
    • Related Report
      2022 Research-status Report
    • Int'l Joint Research
  • [Presentation] Mutable Variables and Reference Types -- or, L-values Demystified2022

    • Author(s)
      Oleg Kiselyov
    • Organizer
      IFIP WG2.1
    • Related Report
      2022 Research-status Report
    • Int'l Joint Research
  • [Presentation] Completeなストリーム融合によるソフトウェア無線のディジタル信号処理(ポスター)2022

    • Author(s)
      小林友明, Oleg Kiselyov
    • Organizer
      第24回プログラミングおよびプログラミング言語ワークショップ(PPL 2022)
    • Related Report
      2021 Research-status Report
  • [Presentation] 配列言語によるプラズマフラクタル生成アルゴリズムの実装と検討(ポスター・デモ)2022

    • Author(s)
      中山敏宏 and Oleg Kiselyov
    • Organizer
      第24回プログラミングおよびプログラミング言語ワークショップ(PPL 2022)
    • Related Report
      2021 Research-status Report
  • [Presentation] Even Better Stream Fusion2022

    • Author(s)
      Kiselyov Oleg
    • Organizer
      University of Oxford Department of Computer Science. Seminar on Tensor Computation
    • Related Report
      2021 Research-status Report
    • Invited
  • [Presentation] Grasping `all-the-apples-at-once’2021

    • Author(s)
      Kiselyov Oleg
    • Organizer
      IFIP WG2.1 Meeting, July 1, 2021
    • Related Report
      2021 Research-status Report
    • Int'l Joint Research
  • [Remarks] Strymonas: Highest-performance Stream Processing

    • URL

      http://strymonas.github.io/

    • Related Report
      2023 Research-status Report
  • [Remarks] Patterns of data flow in words

    • URL

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

    • Related Report
      2023 Research-status Report
  • [Remarks] Stack as the variable binding environment

    • URL

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

    • Related Report
      2023 Research-status Report
  • [Remarks] Simple generators in OCaml

    • URL

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

    • Related Report
      2023 Research-status Report
  • [Remarks] Grasping `all-the-apples-at-once'

    • URL

      http://okmij.org/ftp/Algorithms/grasping-all-apples-at-once.html

    • Related Report
      2021 Research-status Report

URL: 

Published: 2021-04-28   Modified: 2024-12-25  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi