Tomoaki Kobayashi

About

3rd Jan 2025

1 Overview

icon

My name is Tomoaki KOBAYASHI.

Nice to meet you! 🤗

I am a software engineer (mainly writing Scala for my job) 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, metaprograming

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 making software robust and resilient.

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

[1]
Kiselyov, O., Kobayashi, T., Biboudis, A. and Palladinos, N.
Highest-performance stream processing.
ACM SIGPLAN OCaml workshop.
[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 [JPN] Monthly MVP in the Software Development Team, MicroAd, Inc. × 2
(￥50 k/MVP)
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

Scala 2, Scala 3, Python, Docker, Ansible, Jenkins, Niginx, gRPC, etc. (in on-prem environment)

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

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

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