Web Page of SATO Shigeyuki

Sato, Shigeyuki, Ph.D. (佐藤 重幸 in Japanese)

Assistant Professor
Graduate School of Information Science and Technology,
The University of Tokyo

Mathematics and Informatics (MI) Center,
Center for Education and Research in Information Science and Technology (CERIST)
Email: sato.shigeyuki__0x40__mi.u-tokyo.ac.jp

Taura laboratory,
Department of Information and Communication Engineering
Email: sato__0x40__eidos.ic.i.u-tokyo.ac.jp

(Please replace __0x40__ with @ for the above email addresses.)

Japanese version (researchmap)

Research interests

My research interests are on compilers and parallel programing, especially, as follows:

My goal is theoretically well-founded and practically reasonable implementation on these topics.

Publication Lists

There are the author's versions of some of our publications, where some errata or corrigenda have been corrected. Please ask me for them if you would have interest.

Selected publications

  1. Sato, S., Hao, W., and Matsuzaki, K.
    Parallelization of XPath Queries using Modern XQuery Processors
    In Proc.
    the 22nd European Conference on Advances in Databases and Information Systems (ADBIS 2018), Short Paper, DOI: 10.1007/978-3-030-00063-9_7
    The full version is available on arXiv.org.
  2. Sato, S.
    On Implementing the Push-Relabel Algorithm on top of Pregel
    New Generation Computing, 36(4):419--449, 2018 (First Online: 22 August 2018), DOI: 10.1007/s00354-018-0042-6
  3. Arai, R., Sato, S., and Iwasaki, H.
    A Debugger-Cooperative Higher-Order Contract System in Python
    In Proc. the 14th Asian Symposium on Programming Languages and Systems (APLAS 2016), DOI: 10.1007/978-3-319-47958-3_9
  4. Kobayashi, T., Sato, S., and Iwasaki, H.
    Efficient Use of Hardware Transactional Memory for Parallel Mesh Generation
    In Proc. the 44th International Conference on Parallel Processing (ICPP 2015), DOI: 10.1109/ICPP.2015.69
  5. Sato, S. and Matsuzaki, K.
    A Generic Implementation of Tree Skeletons
    International Journal of Parallel Programming, 44(3):686--707, 2016 (First online: 29 March 2015) DOI: 10.1007/s10766-015-0365-6
    Revised from the version in Proc. the 7th International Symposium on High-level Parallel Programming and Applications (HLPP 2014)
  6. Sato, S. and Morihata, A.
    Syntax-Directed Divide-and-Conquer Data-Flow Analysis
    In Proc. the 12th Asian Symposium on Programming Languages and Systems (APLAS 2014), DOI: 10.1007/978-3-319-12736-1_21
  7. Sato, S. and Iwasaki, H.
    Automatic Parallelization via Matrix Multiplication
    In Proc. the 32nd ACM SIGPLAN conference on Programming Language Design and Implementation (PLDI 2011), DOI: 10.1145/1993498.1993554
  8. Sato, S. and Iwasaki, H.
    A Skeletal Parallel Framework with Fusion Optimizer for GPGPU Programming
    In Proc. the 7th Asian Symposium on Programming Languages and Systems (APLAS 2009), DOI: 10.1007/978-3-642-10672-9_8

Other research papers

  1. Miyazaki, R., Matsuzaki, K., and Sato, S.
    A Generator of Hadoop MapReduce Programs that Manipulate One-dimensional Arrays
    Journal of Information Processing, Vol.25, pp.841-851, 2017. DOI: 10.2197/ipsjjip.25.841
  2. Coll Ruiz, O. , Matsuzaki, K., and Sato, S.
    s6raph: Vertex-Centric Graph Processing Framework with Functional Interface
    In Proc. the 5th International Workshop on Functional High-Performance Computing (FHPC 2016), DOI: 10.1145/2975991.2976000
  3. Sato, S.
    Structured Parallel Programming with Trees
    Ph.D. Thesis, The University of Electro-Communications, 2015.
  4. Takano, Y., Iwasaki, H., and Sato, S.
    Design and Implementation of Thunk Recycling in the Glasgow Haskell Compiler
    Computer Software, 32(1):253--287, 2015. DOI: 10.11309/jssst.32.1_253 In Japanese.
  5. Shioda, M., Iwasaki, H., and Sato, S.
    LibDSL: A Library for Developing Embedded Domain Specific Languages in D via Template Metaprogramming
    In Proc. 13th International Conference on Generative Programming: Concepts and Experiences (GPCE 2014), DOI: 10.1145/2658761.2658770
  6. Sato, S. and Matsuzaki, K.
    An Operator Generator for Skeletal Programming on Trees
    IPSJ Trans. PRO, 6(4):38--49, 2013. In Japanese.
  7. Sato, S.
    Automatic Parallelization via Matrix Multiplication
    Master's Thesis, The University of Electro-Communications, 2011.


  1. Sato, S.
    Enjoy Data Processing[V・Finish]: Python Language
    Journal of the IEICE, 102(12):1135--1139, 2019. Online ISSN: 2188-2355 In Japanese. PDF
  2. Sato, S.
    Entering Ph.D. Courses in Computer Science and Beyond
    Computer Software, 36(1):85--87, 2019. DOI: 10.11309/jssst.36.85 In Japanese. PDF[†]
  3. Sato, S.
    PLDI 2016 Report
    IPSJ Magazine, 57(11):1154--1156, 2016. Permalink In Japanese.
  4. Sato, S.
    PLDI 2015 Report
    Computer Software, 33(1):15--21, 2016. DOI: 10.11309/jssst.33.1_15 In Japanese.

[†] Notice for the use of this material: The copyright of this material is retained by the Japan Society for Software Science and Technology (JSSST). This material is published on this web site with the agreement of the JSSST. Please comply with Copyright Law of Japan if any user wishes to reproduce, make derivative work, distribute or make available to the public any part or whole thereof.


Room 101D1 (10F), Faculty of Engineering Bldg. 2,
7-3-1, Hongo, Bunkyo-ku, Tokyo, Japan (ZIP: 113-8656)
Phone: (+81) 03-5841-6762