Tomoaki Kobayashi

About

24th Apr 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 University
GPA: 3.82/4.0, Advisor: Eijiro Sumii, Thesis Advisor: Oleg Kiselyov
2018–2022 Bachelor of Engineering in CS, Tohoku University
Major GPA: 3.733/4.0, Advisor: Eijiro Sumii, Thesis Advisor: Oleg Kiselyov
2014–2015 Dropout4, An evening high school

3.2 Publications

Only international publications are listed:

[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 Skills and Tools

4.0.1 Professional Experience

4.0.2 All in All

  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. 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.↩︎

  3. The same as 2.↩︎

  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.↩︎