Tomoaki Kobayashi

About

30th May 2025

1 Overview

icon

My name is Tomoaki KOBAYASHI.

Nice to meet you! 🤗

I am a software engineer with strong interest in research on software.

My research interests focus on theoretical foundations of software and the application of them, especially in the following fields:

  • Programming languages
  • (Moderately!) Functional programming
  • Embedded domain-specific languages, code generation, metaprogramming, partial evaluation

My main research work is about strymonas—a lightweight declarative stream processing library which proposes complete stream fusion; its processing runs in constant memory!

My vision is to provide solutions to real-world problems of software through these techniques. Software is often too fragile, and maintaining it consumes a tremendous amount of the world’s resources unnecessarily. To protect humanity’s productivity, I will lead the way in building robust software—without ever sacrificing agility.

2 Experience

Year Company / Job
2024–Present MicroAd, Inc. / Junior Software Engineer1

3 Academic

3.1 Education

Year Degree
2022–2024 Master of Information Sciences in CS, Tohoku University2
GPA: 3.8/4.0, Supervisor: Eijiro Sumii, Thesis Supervisor: Oleg Kiselyov
2018–2022 Bachelor of Engineering in CS, Tohoku University
Major GPA: 3.733/4.0, Supervisor: Eijiro Sumii, Thesis Supervisor: Oleg Kiselyov
2014–2015 Dropout4, An evening high school

3.2 Major Publications

[1]
Kiselyov, O., Kobayashi, T., Biboudis, A. and Palladinos, N.
Highest-performance stream processing.
ACM SIGPLAN OCaml Workshop 2022.
[2]
Kobayashi, T. and Kiselyov, O.
Complete stream fusion for software-defined radio.
In Proceedings of the 2024 ACM SIGPLAN international workshop on partial evaluation and program manipulation. pages 57–69.
- Distinguished Papar Award 🎉
- There is a typo in p.62; s/“reduce trep”/“dot trep”/g.

3.3 Awards

Year Award
2024 ACM SIGPLAN PEPM 2024 Distinguished Paper Award (image)
2020 [JPN] JSSST 2020 Best Presentation Award (image)

3.4 Grants

4 OSS

5 Skills and Tools

5.0.1 Professional Experience

5.0.2 Personal/Academic Projects

  1. I primarily work on developing an auction-based internet advertising delivery system, commonly known as Real-Time Bidding (RTB). I have ever recieved monthly MVP twice in the Software Development Department.↩︎

  2. Tohoku University is one of the most competitive research universities in Japan, and it was the first institution selected by the Japanese government for the ¥10 trillion university endowment fund. (Source: tohoku.ac.jp, timeshighereducation.com, nature.com)↩︎

  3. Please note that GPAs tend to be graded strictly in Japan. As a side note, I was exempted from the written exam when I entered the graduate school.↩︎

  4. Instead, I earned a high school equivalency diploma issued by the Japanese government. It was pretty scary at the time, but looking back, it was one of the best decisions I ever made.↩︎