Takahiro Shinagawa

Takahiro Shinagawa

Professor

Department of Computer Science, The University of Tokyo

Biography
Takahiro Shinagawa is a Professor in the Department of Computer Science at the University of Tokyo. He received his Ph.D. from the University of Tokyo and previously served as an Assistant Professor at Tokyo University of Agriculture and Technology, a Lecturer at the University of Tsukuba, and an Associate Professor at the University of Tokyo. He was a Visiting Researcher at Imperial College London from 2021 to 2023. His research interests include operating systems and system software, with a focus on virtualization and secure computing. He is a member of ACM, IEEE, and USENIX.
Interests
  • System Software
  • Operating Systems
  • Virtualization Software
  • Computer Security
Education

  • Ph.D. (Science), 2003

    Department of Information Science, Graduate School of Science, The University of Tokyo

  • Master of Science, 2000

    Department of Information Science, Graduate School of Science, The University of Tokyo

  • Bachelor of Engineering, 1998

    Department of Electrical Engineering, Faculty of Engineering, The University of Tokyo

Professional Experience

Full-time

  • Professor, The University of Tokyo  (April 2024 – Present)

    Department of Computer Science, Graduate School of Information Science and Technology

  • Associate Professor, The University of Tokyo  (April 2011 – March 2024)

    Campus-wide Computing Research Division, Information Technology Center

  • Lecturer, University of Tsukuba  (April 2007 – March 2011)

    Department of Computer Science, Graduate School of Systems and Information Engineering

  • Research Fellow, University of Tsukuba  (October 2006 – March 2007)

    Department of Computer Science, Graduate School of Systems and Information Engineering

  • Assistant Professor, Tokyo University of Agriculture and Technology  (April 2003 – September 2006)

    Department of Information and Communication Engineering, Faculty of Engineering

Concurrent Work and Positions

  • Visiting Researcher, Imperial College London  (July 2021 – March 2023)

    Department of Computing, Imperial College London

  • Consultant, American Megatrends International, LLC (AMI)  (December 2009 – June 2010)

  • Visiting Researcher, University of Tsukuba  (April 2011 – March 2012)

    Life Science Center of TARA

Selected Publications

Refereed Papers

  • [IEEE S&P 2026] PILOT: Command-line Interface Fuzzing via Path-Guided, Iterative Large Language Model Prompting.
    Momoko Shiraishi, Yinzhi Cao, Takahiro Shinagawa.

  • [EuroSys 2026] NecoFuzz: Effective Fuzzing of Nested Virtualization via Fuzz-Harness Virtual Machines.
    Reima Ishii, Takaaki Fukai, Takahiro Shinagawa.
    https://doi.org/10.1145/3767295.3769347

  • [ICSE 2026] SmartC2Rust: Iterative, Feedback-Driven C-to-Rust Translation via Large Language Models for Safety and Equivalence.
    Momoko Shiraishi, Yinzhi Cao, Takahiro Shinagawa.

  • [ACM CCS 2025] BadAML: Exploiting Legacy Firmware Interfaces to Compromise Confidential Virtual Machines.
    Satoru Takekoshi, Manami Mori, Takaaki Fukai, Takahiro Shinagawa.
    https://doi.org/10.1145/3719027.3765123

  • [USENIX ATC 2023] Translation Pass-Through for Near-Native Paging Performance in VMs.
    Shai Bergman, Mark Silberstein, Takahiro Shinagawa, Peter Pietzuch, Lluís Vilanova.
    https://www.usenix.org/conference/atc23/presentation/bergman

  • [OSDI 2023] ORC: Increasing Cloud Memory Density via Object Reuse with Capabilities.
    Vasily A. Sartakov, Lluís Vilanova, Munir Geden, David Eyers, Takahiro Shinagawa, Peter Pietzuch.
    https://www.usenix.org/conference/osdi23/presentation/sartakov

  • [OSDI 2022] CAP-VMs: Capability-Based Isolation and Sharing in the Cloud.
    Vasily A. Sartakov, Lluís Vilanova, David Eyers, Takahiro Shinagawa, Peter Pietzuch.
    https://www.usenix.org/conference/osdi22/presentation/sartakov

  • [IEEE TCC 2021] Live Migration in Bare-metal Clouds.
    Takaaki Fukai, Takahiro Shinagawa, Kazuhiko Kato.
    doi:10.1109/TCC.2018.2848981

  • [ACM TOS 2020] Practical Quick File Server Migration.
    Keiichi Matsuzawa, Mitsuo Hayasaka, Takahiro Shinagawa.
    doi:10.1145/3377322

  • [VEE 2020] A Robust and Flexible Operating System Compatibility Architecture.
    Takaya Saeki, Yuichi Nishiwaki, Takahiro Shinagawa, Shinichi Honiden.
    doi:10.1145/3381052.3381327

  • [SYSTOR 2018] The Quick Migration of File Servers.
    Keiichi Matsuzawa, Mitsuo Hayasaka, Takahiro Shinagawa.
    doi:10.1145/3211890.3211894

  • [ASPLOS 2015] Improving Agility and Elasticity in Bare-metal Clouds.
    Yushi Omote, Takahiro Shinagawa, Kazuhiko Kato.
    doi:10.1145/2694344.2694349

  • [VEE 2009] BitVisor: A Thin Hypervisor for Enforcing I/O Device Security.
    Takahiro Shinagawa, Hideki Eiraku, Kouichi Tanimoto, Kazumasa Omote, Shoichi Hasegawa, Takashi Horie, Manabu Hirano, Kenichi Kourai, Yoshihiro Oyama, Eiji Kawai, Kenji Kono, Shigeru Chiba, Yasushi Shinjo and Kazuhiko Kato.
    doi:10.1145/1508293.1508311

Awards

Academic Service

Steering Committee

Organizing Committee

Program Committee

Doctoral Thesis Examination

Primary Examiner

  • Nov 2025: Momoko Shiraishi, A Study on Agent-based Orchestration for Mitigating Memory-based Confidential Data Attacks, Graduate School of Information Science and Technology, The University of Tokyo.
  • Mar 2023: Hiroyuki Katsura, Automated Methods for Logic-Based Higher-Order Program Verification, Graduate School of Information Science and Technology, The University of Tokyo.
  • Sep 22, 2022: Rikima Mitsuhashi, A Study on Automatic Classification of Concealed Malware using Machine Learning, Graduate School of Information Science and Technology, The University of Tokyo.
  • Mar 24, 2022: Masanori Misono, A Study on Operating System Virtualization Optimized for Functional Requirements, Graduate School of Information Science and Technology, The University of Tokyo. DOI: https://doi.org/10.15083/0002009549
  • Sep 25, 2020: Keiichi Matsuzawa, Application-transparent File Placement Optimization for Hierarchical Storage Systems, Graduate School of Information Science and Technology, The University of Tokyo. DOI: https://doi.org/10.15083/0002006436

Co-Examiner

  • Jan 28, 2021: Tomoyuki Mano, CUBIC-Cloud: An Integrative Computational Framework Towards Community-driven Whole-Mouse-Brain Mapping, Graduate School of Information Science and Technology, The University of Tokyo. (Supervisor: Prof. Yasuki Ueda) DOI: https://doi.org/10.15083/0002007216
  • Sep 25, 2018: Takaaki Fukai, Physical Machine Management in Bare-metal Cloud Environments, Graduate School of Systems and Information Engineering, University of Tsukuba. (Supervisor: Prof. Kazuhiko Kato) DOI: http://doi.org/10.15068/00153715
  • Mar 24, 2016: Hideshi Arima, Cache Design Optimization for Energy-Efficient Processors, Graduate School of Information Science and Technology, The University of Tokyo. (Supervisor: Prof. Hiroshi Nakamura) DOI: http://doi.org/10.15083/00073991
  • Mar 24, 2016: Min Si, Techniques for Enabling Highly Efficient Message Passing on Many-Core Architectures, Graduate School of Information Science and Technology, The University of Tokyo. (Supervisor: Prof. Kei Hiraki) DOI: http://doi.org/10.15083/00073981
  • Mar 25, 2015: Yushi Omote, Computer Systems Management with a Para Pass-through Virtual Machine Monitor, Graduate School of Systems and Information Engineering, University of Tsukuba. (Supervisor: Prof. Kazuhiko Kato) URL: http://hdl.handle.net/2241/00125883
  • Mar 24, 2015: Soramichi Akiyama, Reducing Energy Consumption of Data Centers by Improving Virtual Machine Live Migration, Graduate School of Information Science and Technology, The University of Tokyo. (Supervisor: Prof. Shigeru Chiba) DOI: http://doi.org/10.15083/00008571
  • Mar 2013: Kazushi Takahashi, A Technique of Virtual Machine Migration with High Applicability, Graduate School of Information Science and Technology, The University of Tokyo. (Supervisor: Prof. Hiroshi Esaki) URL: http://gazo.dl.itc.u-tokyo.ac.jp/gakui/cgi-bin/gazo.cgi?no=129630

Latest