Web Page of SATO Shigeyuki

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

I moved to here on December 1st, 2018.

Last update: December 5th, 2018.

Postdoctoral researcher
Matsuzaki Laboratory,
School of Information,
Kochi University of Technology (Japan)

Email: sato.shigeyuki__0x40__kochi-tech.ac.jp
(please replace __0x40__ with @)

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


  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. Sato, S.
    PLDI 2016 Report
    IPSJ Magazine, Vol.57, No.11, pp.1154-1156, 2016. Permalink In Japanese.
  3. 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
  4. Sato, S.
    PLDI 2015 Report
    Computer Software, Vol.33, No.1, pp.15-21, 2016. DOI: 10.11309/jssst.33.1_15 In Japanese.
  5. Sato, S.
    Structured Parallel Programming with Trees
    Ph.D. Thesis, The University of Electro-Communications, 2015.
  6. Takano, Y., Iwasaki, H., and Sato, S.
    Design and Implementation of Thunk Recycling in the Glasgow Haskell Compiler
    Computer Software, Vol.32, No.1, pp.253-287, 2015. DOI: 10.11309/jssst.32.1_253 In Japanese.
  7. 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
  8. Sato, S. and Matsuzaki, K.
    An Operator Generator for Skeletal Programming on Trees
    IPSJ Trans. PRO, 6(4):38--49, 2013. In Japanese.