[go: up one dir, main page]

Web Page of SATO Shigeyuki

Sato, Shigeyuki, Ph.D. (佐藤 重幸 in Japanese)
ORCID logo https://orcid.org/0000-0002-1496-1422

Associate Professor
Department of Computer and Network Engineering,
Graduate School of Informatics and Engineering,
The University of Electro-Communications

📧sato.shigeyuki__0x40__uec.ac.jp
(Please replace __0x40__ with @ for the above email address.)

Room 512 (5F), Building W-2, The University of Electro-Communications
1-5-1 Chofugaoka, Chofu, Tokyo (ZIP: 182-8585)
☎️(+81) 042-443-5268

国内向け情報 (Japanese information)
居室
〒182-8585 東京都調布市調布ヶ丘1-5-1 電気通信大学 西2号館 5階 512号室
☎️042-443-5268
宛先
〒182-8585 東京都調布市調布ケ丘1-5-1 電気通信大学 西2号館 1階 109号室 西2事務室
☎️042-443-5290

Research Scope and Interest

My scope in research widely covers the design and implementation of programming languages and systematic programming, but my highest technical interests are in compilers and parallel programming, particularly 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. and Nakamaru, T.
    Multiverse Notebook: Shifting Data Scientists to Time Travelers
    Proceedings of the ACM on Programming Languages, 8(OOPSLA1):121:1--121:30, 2024. DOI: 10.1145/3649838
  2. Nakata, M., Sato, S., and Ugawa, T.
    General-purpose Asynchronous Periodic Checkpointing in Hybrid Memory
    In Proc. the 52nd International Conference on Parallel Processing (ICPP 2023), DOI: 10.1145/3605573.3605648
  3. Morihata, A. and Sato, S.
    Reverse Engineering for Reduction Parallelization via Semiring Polynomials
    In Proc. the 42nd ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2021), DOI: 10.1145/3453483.3454079
  4. Li, L., Sato, S., Liu, Q., and Taura, K.
    Plex: Scaling Parallel Lexing with Backtrack-Free Prescanning
    In Proc. the 35th IEEE International Parallel and Distributed Processing Symposium (IPDPS 2021), DOI: 10.1109/IPDPS49936.2021.00079
  5. Fukuoka, T., Sato, S., and Taura, K.
    Pitfalls of InfiniBand with On-Demand Paging
    In Proc. 2021 IEEE International Symposium on Performance Analysis of Systems and Software (ISPASS 2021), DOI: 10.1109/ISPASS51385.2021.00049
  6. 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.
  7. Sato, S.
    On Implementing the Push-Relabel Algorithm on top of Pregel
    New Generation Computing, 36(4):419--449, 2018. DOI: 10.1007/s00354-018-0042-6
  8. 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
  9. 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
  10. 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)
  11. 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
  12. 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
  13. 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 refereed research papers

  1. Hideshima, T., Sato, S., and Ugawa, T.
    Collective Allocator Abstraction to Control Object Spatial Locality in C++
    Art Sci. Eng. Program., 8(3):15:1--15:28, 2024. DOI: 10.22152/programming-journal.org/2024/8/15
  2. Hideshima, T., Sato, S., and Taura, K.
    Cost-aware Programming on Page-based Distributed Shared Memory
    J. Inf. Process., 30:464--475, 2022. DOI: 10.2197/ipsjjip.30.464
  3. Endo, W., Sato, S., and Taura, K.
    ComposableThreads: Rethinking User-level Threads with Composability and Parametricity in C++
    J. Inf. Process., 30:269--282, 2022. DOI: 10.2197/ipsjjip.30.269
    Specially Selected Paper.
  4. Fujimura, S., Sato, S., and Taura, K.
    An Efficient and Scalable Distributed Hypergraph Processing System
    J. Inf. Process., 29:812--822, 2021. DOI: 10.2197/ipsjjip.29.812
  5. Endo, W., Sato, S., and Taura, K.
    MENPS: A Decentralized Distributed Shared Memory Exploiting RDMA
    In Proc. IPDRM 2020: Fourth Annual Workshop on Emerging Parallel and Distributed Runtime Systems and Middleware (IPDRM@SC 2020), DOI: 10.1109/IPDRM51949.2020.00006
  6. Sato, S., Ihara, H., and Taura, K.
    CENTAURUS: A Dynamic Parser Generator for Parallel Ad Hoc Data Extraction
    J. Inf. Process., 28:724--732, 2020. DOI: 10.2197/ipsjjip.28.724
    The presented system is available on GitHub.
  7. Miyazaki, R., Matsuzaki, K., and Sato, S.
    A Generator of Hadoop MapReduce Programs that Manipulate One-dimensional Arrays
    J. Inf. Process., 25:841--851, 2017. DOI: 10.2197/ipsjjip.25.841
  8. 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
  9. 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.
  10. 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
  11. Sato, S. and Matsuzaki, K.
    An Operator Generator for Skeletal Programming on Trees
    IPSJ Trans. PRO, 6(4):38--49, 2013.
    In Japanese.

Thesis

  1. Sato, S.
    Structured Parallel Programming with Trees
    Ph.D. Thesis, The University of Electro-Communications, 2015.
  2. Sato, S.
    Automatic Parallelization via Matrix Multiplication
    Master's Thesis, The University of Electro-Communications, 2011.