Web Page of SATO Shigeyuki

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

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.

Selective publications

  1. 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.
  2. 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
  3. 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
  4. 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)
  5. 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
  6. 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. Sato, S.
    PLDI 2016 Report
    IPSJ Magazine, Vol.57, No.11, pp.1154-1156, 2016. Permalink In Japanese.
  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.
    PLDI 2015 Report
    Computer Software, Vol.33, No.1, pp.15-21, 2016. DOI: 10.11309/jssst.33.1_15 In Japanese.
  4. Sato, S.
    Structured Parallel Programming with Trees
    Ph.D. Thesis, The University of Electro-Communications, 2015.
  5. 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.
  6. 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
  7. Sato, S. and Matsuzaki, K.
    An Operator Generator for Skeletal Programming on Trees
    IPSJ Trans. PRO, 6(4):38--49, 2013. In Japanese.