I am a Ph.D. student in the Department of Computer Science, Keio University


Research interests

  • Operating Systems
  • Build Systems
  • Compilers
  • Software Analysis

Skills

  • Languages: C, C++, Python
  • Platform: Linux, OSX
  • Knowledge: the Linux kernel, LLVM, Clang, LLVM IR analysis, Ninja build system

Work in progress

  • Automating log insertion in the Linux kernel
  • A new build system for solving the treade-off between incremental builds and unity builds for large C++ projects

Publications

  • To Unify or Not To Unify: A Case Study on Unified Builds (in WebKit). Takafumi Kubota, Yusuke Suzuki, and Kenji Kono. In Proc. the 28th International Conference on Compiler Construction (CC 2019).
  • Short-Liveness of Error Propagation in Kernel can Improve Operating Systems Availability. Manabu Sugimoto, Takafumi Kubota, Kenji Kono. In Proc. the 49th IEEE/IFIP International Conference on Dependable Systems and Networks (DSN 2019) (Fast Abstract)
  • Detecting and Analyzing Year 2038 Problem Bugs in User-level Applications. Keita Suzuki, Takafumi Kubota, Kenji Kono. In Proc. the 24th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2019)

Awards

  • Best Student Presentation Award from SIGOS, As of 2019
  • Nakanishi Award from Keio University, As of 2015