List of Publications

Japanese Version
DBLP
Selected Papers
  1. Momoka Saito, Hideya Iwasaki, Hideyuki Kawabata, Tsuneyasu Komiya
    Controlling Computation Granularity through Fusion in Improving Floating-Point Numbers
    Proc. ACM SIGPLAN Haskell Symposium 2024 (Haskell 2024), ACM Press, pp.83-96, 2024.
    DOI: 10.1145/3677999.3678281

  2. Rikuya Tomii, Hideya Iwasaki
    A Domain-Specific Language for Efficient Description of Metaheuristics
    Computer Software, Vol.41, No.2, pp.80-95, 2024. (in Japanese)
    DOI: 10.11309/jssst.41.2_80

  3. Takato Otsuka, Hideya Iwasaki
    Haskell Library for Safer Virtual Machine Introspection (Experience Report)
    Proc. ACM SIGPLAN Haskell Symposium 2023 (Haskell 2023), ACM Press, pp.89-96, 2023.
    DOI: 10.1145/3609026.3609732

  4. Takumi Miyajima, Hideya Iwasaki, Yasushi Kuno
    The TABLET Programming Learning Environment: from Block-based to Text-based Programming
    Journal of Information Processing, Vol.30, pp.729-741, 2022.
    DOI: 10.2197/ipsjjip.30.729

  5. Yuta Hirasawa, Hideya Iwasaki, Tomoharu Ugawa, Hiro Onozawa
    Generating Virtual Machine Code of JavaScript Engine for Embedded Systems
    Journal of Information Processing, Vol.30, pp.679-693, 2022.
    DOI: 10.2197/ipsjjip.30.679

  6. Kotaro Matsumoto, Tomoharu Ugawa, Hideya Iwasaki
    Replication-based Object Persistence by Reachability
    Proc. 2022 ACM SIGPLAN International Symposium on Memory Management (ISMM 2022), ACM Press, pp.43-56, 2022.
    DOI: 10.1145/3520263.3534653

  7. Hideya Iwasaki Kento Emoto, Akimasa Morihata, Kiminori Matsuzaki, Zhenjiang Hu
    Fregel: a functional domain-specific language for vertex-centric large-scale graph processing
    Journal of Functional Programming, Vol.32, e4, pp.1-69, 2022.
    DOI: 10.1017/S0956796821000277

  8. Hiro Onozawa, Hideya Iwasaki, Tomoharu Ugawa
    Customizing JavaScript Virtual Machines for Specific Applications and Execution Environments
    Computer Software, Vol.38, No.3, pp.23-40, 2021. (in Japanese)
    DOI: 10.11309/jssst.38.3_23

  9. Hiro Onozawa, Tomoharu Ugawa, Hideya Iwasaki
    Fusuma: Double-Ended Threaded Compaction
    Proc. 2021 ACM SIGPLAN International Symposium on Memory Management (ISMM 2021), ACM Press, pp.94-106, 2021.
    DOI: 10.1145/3459898.3463903

  10. Haruto Tanno, Yu Adachi, Yu Yoshimura, Katsuyuki Natsukawa, Hideya Iwasaki
    Region-based Detection of Essential Differences in Image-based Visual Regression Testing
    Journal of Information Processing, Vol.28, pp.268-278, 2020.
    DOI: 10.2197/ipsjjip.28.268

  11. Naoto Kato, Hideya Iwasaki
    Eliminating Unnecessary Communications in the Vertex-centric Graph Processing in the Fregel Compiler
    Computer Software, Vol.36, No.2, pp.28-46, 2019. (in Japanese)
    DOI: 10.11309/jssst.36.2_28

  12. Wataru Aoyama, Hideya Iwasaki
    dajFS: A New File System with Per-Directory Adaptive Journaling
    Journal of Information Processing, Vol.27, pp.369-377, 2019.
    DOI: 10.2197/ipsjjip.27.369

  13. Tomoharu Ugawa, Hideya Iwasaki, Takafumi Kataoka
    eJSTK: Building JavaScript Virtual Machines with Customized Datatypes for Embedded Systems
    Journal of Computer Languages , Vol.51, pp.261-279, 2019.
    DOI: 10.1016/j.cola.2019.01.003

  14. Haruto Tanno, Hideya Iwasaki
    Suspend-less Debugging for Interactive and/or Realtime Programs
    Proc. 12th IEEE International Conference on Software Testing, Verification and Validation (ICST 2019), IEEE Computer Society, pp.194-205, 2019.
    DOI: 10.1109/ICST.2019.00028

  15. Akimasa Morihata, Kento Emoto, Kiminori Matsuzaki, Zhenjiang Hu, Hideya Iwasaki
    Optimizing Declarative Parallel Distributed Graph Processing by using Constraint Solvers
    Proc. 14th International Symposium on Functional and Logic Programming (FLOPS 2018), Lecture Notes in Computer Science 10818, Springer, pp.166-181, 2018.
    DOI: 10.1007/978-3-319-90686-7_11

  16. Takafumi Kataoka, Tomoharu Ugawa, Hideya Iwasaki
    A Framework for Constructing JavaScript Virtual Machines with Customized Datatype Representations
    Proc. 33rd ACM/SIGAPP Symposium on Applied Computing (SAC 2018), ACM Press, pp.1238-1247, 2018.
    DOI: 10.1145/3167132.3167266

  17. Ryoya Arai, Shigeyuki Sato, Hideya Iwasaki
    A Debugger-Cooperative Higher-Order Contract System in Python
    Proc. 14th Asian Symposium on Programming Languages and Systems (APLAS 2016), Lecture Notes in Computer Science 10017, Springer, pp.148-168, 2016.
    DOI: 10.1007/978-3-319-47958-3_9

  18. Kento Emoto, Kiminori Matsuzaki, Zhenjiang Hu, Akimasa Morihata, Hideya Iwasaki
    Think Like a Vertex, Behave Like a Function! A Functional DSL for Vertex-centric Big Graph Processing
    Proc. 21st ACM SIGPLAN International Conference on Functional Programming (ICFP 2016), ACM Press, pp.200-213, 2016.
    DOI: 10.1145/2951913.2951938

  19. Akira Tanimura, Hideya Iwasaki
    Integrating Lua into C for Embedding Lua Interpreters in a C Application
    Proc. 31st ACM/SIGAPP Symposium on Applied Computing (SAC 2016), ACM Press, pp.1936-1943, 2016.
    DOI: 10.1145/2851613.2851747

  20. Hideyuki Kawabata, Hideya Iwasaki
    Improving Floating-Point Numbers: a Lazy Approach to Adaptive Accuracy Refinement for Numerical Computations
    Proc. 25th European Symposium on Programming (ESOP 2016), Lecture Notes in Computer Science 9632, Springer, pp.390-418, 2016.
    DOI: 10.1007/978-3-662-49498-1_16

  21. Tetsu Kobayashi, Shigeyuki Sato, Hideya Iwasaki
    Efficient Use of Hardware Transactional Memory for Parallel Mesh Generation
    Proc. 44th International Conference on Parallel Processing (ICPP 2015), IEEE Computer Society, pp.600-609, 2015.
    DOI: 10.1109/ICPP.2015.69

  22. Yasunao Takano, Hideya Iwasaki
    Thunk Recycling for Lazy Functional Languages: Operational Semantics and Correctness
    Proc. 30th ACM/SIGAPP Symposium on Applied Computing (SAC 2015), ACM Press, pp.2079-2086, 2015.
    DOI: 10.1145/2695664.2695693

  23. Yasunao Takano, Hideya Iwasaki, Shigeyuki Sato
    Design and Implementation of Thunk Recycling in the Glasgow Haskell Compiler
    Computer Software, Vol.32, No.1, pp.253-287, 2015. (in Japanese)
    DOI: 10.11309/jssst.32.1_253

  24. Masato Shioda, Hideya Iwasaki, Shigeyuki Sato
    LibDSL: A Library for Developing Embedded Domain Specific Languages in D via Template Metaprogramming
    Proc. 13th International Conference on Generative Programming: Concepts and Experiences (GPCE 2014), ACM Press, pp.63-72, 2014.
    DOI: 10.1145/2658761.2658770

  25. Shizuya Hakuta, Sebastian Maneth, Keisuke Nakano, Hideya Iwasaki
    XQuery Streaming by Forest Transducers
    Proc. 30th IEEE International Conference on Data Engineering (ICDE 2014), IEEE Computer Society, pp.952-963, 2014.
    DOI: 10.1109/ICDE.2014.6816714

  26. Kazuya Morikawa, Tomoharu Ugawa, Hideya Iwasaki
    Adaptive Scanning Reduces Sweep Time for the Lisp2 Mark-Compact Garbage Collector
    Proc. 2013 International Symposium on Memory Management (ISMM 2013), ACM Press, pp.15-26, 2013.
    DOI: 10.1145/2491894.2466480

  27. Hideya Iwasaki, Takeshi Morimoto, Yasunao Takano
    Pruning with Improving Sequences in Lazy Functional Programs
    Higher-Order and Symbolic Computation, Vol.24, No.4, pp.281-309.
    DOI: 10.1007/s10990-012-9086-3

  28. Yasunao Takano, Hideya Iwasaki, Tomoharu Ugawa
    Reusing Thunks for Recursive Data Structures in Glasgow Haskell Compiler
    IPSJ Transactions on Programming, Vol.5, No.2, pp.67-78, 2012. (in Japanese)

  29. Tomoharu Ugawa, Hideya Iwasaki, Taiichi Yuasa
    Improvements of Recovery from Marking Stack Overflow in Mark Sweep Garbage Collection
    IPSJ Transactions on Programming, Vol.5, No.1, pp.1-8, 2012.

  30. Yuji Yamada, Hideya Iwasaki, Tomoharu Ugawa
    SAW: Java Synchronization Selection from Lock or Software Transactional Memory
    Proc. 17th IEEE International Conference on Parallel and Distributed Systems (ICPADS 2011), IEEE Computer Society, pp.104-111, 2011.
    DOI: 10.1109/ICPADS.2011.112

  31. Shigeyuki Sato, Hideya Iwasaki
    Automatic Parallelization via Matrix Multiplication
    Proc. 32nd ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2011), ACM Press, pp.470-479, 2011.
    DOI: 10.1145/1993498.1993554

  32. Tomoharu Ugawa, Hideya Iwasaki, Taiichi Yuasa
    Starvation-free Heap Size for Replication-Based Incremental Compacting Garbage Collection
    Proc. International Lisp Conference (ILC 2010), ACM Press, pp.43-52, 2010.
    DOI: 10.1145/1869643.1869649

  33. Takahiro Orito, Hideya Iwasaki
    Hiding Source Code of Web Application on Client Browser
    IPSJ Transactions on Programming, Vol.3, No.4, pp.16-26, 2010. (in Japanese)

  34. Kazuma Inazu, Hideya Iwasaki
    Design and Implementation of Web Framework with Auto Partitioning into Server and Client
    IPSJ Transactions on Programming, Vol.3, No.4, pp.1-15, 2010. (in Japanese)

  35. Tomoharu Ugawa, Hideya Iwasaki, Taiichi Yuasa
    Improved Replication-Based Incremental Garbage Collection for Embedded Systems
    Proc. 2010 International Symposium on Memory Management (ISMM 2010), ACM Press, pp.73-82, 2010.
    DOI: 10.1145/1806651.1806664

  36. Shigeyuki Sato, Hideya Iwasaki
    A Skeletal Parallel Framework with Fusion Optimizer for GPGPU Programming
    Proc. 7th Asian Symposium on Programming Languages and Systems (APLAS 2009), Lecture Notes in Computer Science 5904, Springer, pp.79-94, 2009.
    DOI: 10.1007/978-3-642-10672-9_8

  37. Yuki Karasawa, Hideya Iwasaki
    A Parallel Skeleton Library for Multi-core Clusters
    Proc. 38th International Conference on Parallel Processing (ICPP 2009), IEEE Computer Society, pp.84-91, 2009.
    DOI: 10.1109/ICPP.2009.18

  38. Haruto Tanno, Hideya Iwasaki
    Parallel Skeletons for Variable-length Lists in SkeTo Skeleton Library
    Proc. 15th International Euro-Par Conference (Euro-Par 2009), Lecture Notes in Computer Science 5704, Springer, pp.666-677, 2009.
    DOI: 10.1007/978-3-642-03869-3_63

  39. Junichi Negishi, Hideya Iwasaki
    GHCi Debugger Front-end for Haskell Programming
    IPSJ Transactions on Programming, Vol.2, No.3, pp.48-56, 2009. (in Japanese)

  40. Yoshihiro Oyama, Yoshiki Kaneko, Hideya Iwasaki
    Kenro: A Virtual Machine Monitor Mostly Described in Haskell (Poster)
    Proc. 2009 ACM Symposium on Applied Computing (SAC 2009), ACM Press, pp.1940-1941, 2009.
    DOI: 10.1145/1529282.1529714

  41. Akiyoshi Sugiki, Kenji Kono, Hideya Iwasaki
    Tuning Mechanisms for Two Major Parameters of Apache Web Servers
    Software - Practice and Experience, Vol.38, No.12, pp.1215-1240, 2008.
    DOI: 10.1002/spe.861

  42. Tomohiro Tamura, Yasunao Takano Hideya Iwasaki
    An Efficient Implementation of Pruning Mechanism in a Purely Functional Programming Language
    IPSJ Transactions on Programming, Vol.1, No.2, pp.28-41, 2008. (in Japanese)

  43. Yuki Karasawa, Hideya Iwasaki
    Parallel Skeletons for Sparse Matrices in SkeTo Skeleton Library
    IPSJ Transactions on Programming, Vol.49, No.SIG 3 (PRO 36), pp.1-15, 2008.

  44. Tomohiro Shioya, Yoshihiro Oyama, Hideya Iwasaki
    A Sandbox with Dynamic Policy Based on Execution Contexts of Applications
    Proc. 12th Asian Computing Science Conference (ASIAN 2007), Lecture Notes in Computer Science 4846, Springer, pp.297-311, 2007.
    DOI: 10.1007/978-3-540-76929-3_28

  45. Daisuke Maki, Hideya Iwasaki
    JavaScript Multi-thread Framework for Asynchronous Processing
    IPSJ Transactions on Programming, Vol.48, No.SIG 12 (PRO 34), pp.1-18, 2007. (in Japanese)

  46. Katsuyuki Abe, Hideya Iwasaki, Kenji Kono
    An Extensible Protocol-processing Code Generator from Definitions of Application-layer Protocols
    Computer Software, Vol.24, No.2, pp.150-163, 2007. (in Japanese)
    DOI: 10.11309/jssst.24.2_150

  47. Akiyoshi Sugiki, Kenji Kono, Hideya Iwasaki
    Automatic Tuning of the Keep-alive Parameter of Web Servers Based on Request-waiting intervals
    Computer Software, Vol.24, No.2, pp.68-78, 2007. (in Japanese)
    DOI: 10.11309/jssst.24.2_68

  48. Takeshi Morimoto, Yasunao Takano, Hideya Iwasaki
    Instantly Turning a Naive Exhaustive Search into Three Efficient Searches with Pruning
    Proc. 9th International Symposium on Practical Aspects of Declarative Languages (PADL 2007), Lecture Notes in Computer Science 4354, Springer, pp.65-79, 2007.
    DOI: 10.1007/978-3-540-69611-7_4

  49. Takeshi Morimoto, Hideya Iwasaki
    A Mechanism for Adjusting Granularity of Demand Driven Computation
    Journal of Information Processing Society of Japan, Vol.47, No.12, pp.3277-3286, 2006. (in Japanese)

  50. Kiminori Matsuzaki, Kento Emoto, Hideya Iwasaki, Zhenjiang Hu
    A Library of Constructive Skeletons for Sequential Style of Parallel Programming
    Proc. First International Conference on Scalable Information Systems (InfoScale 2006).
    DOI: 10.1145/1146847.1146860

  51. Akiyoshi Sugiki, Kenji Kono, Hideya Iwasaki
    A Practical Approach to Automatic Parameter-Tuning of Web Servers
    Proc. 10th Asian Computing Science Conference (ASIAN 2005), Lecture Notes in Computer Science 3818, Springer, pp.146-159, 2005.
    DOI: 10.1007/11596370_14

  52. Yoshiki Akashi, Kiminori Matsuzaki, Kazuhiko Kakehi, Hideya Iwasaki, Zhenjiang Hu
    A Parallel Skeleton Library in C++ with Optimization Mechanism
    Computer Software, Vol.22, No.3, pp.214-221, 2005. (in Japanese)
    DOI: 10.11309/jssst.22.3_214

  53. Masakuni Agetsuma, Kenji Kono, Hideya Iwasaki, Takashi Masuda
    Basic Mechanism of Elastic Server Groups --- Dynamic Adaptation to Load Fluctuation
    IEICE Transactions on Information and Systems, Vol.J88-D-1, No.4, pp.767-779, 2005. (in Japanese)

  54. Hideya Iwasaki, Zhenjiang Hu
    A New Parallel Skeleton for General Accumulative Computations
    International Journal of Parallel Programming, Vol.32, No.5, pp.389-414, 2004.
    DOI: 10.1023/B:IJPP.0000038069.80050.74

  55. Kiminori Matsuzaki, Kazuhiko Kakehi, Hideya Iwasaki, Zhenjiang Hu, Yoshiki Akashi
    A Fusion-Embedded Skeleton Library
    Proc. 10th International Euro-Par Conference (Euro-Par 2004), Lecture Notes in Computer Science 3149, Springer, pp.644-653, 2004.
    DOI: 10.1007/978-3-540-27866-5_85

  56. Takeshi Morimoto, Hideya Iwasaki, Ikuo Takeuchi
    A Language equipped with Pruning and Memoization Mechanisms
    Computer Software, Vol.21, No.4, pp.55-60, 2004. (in Japanese)
    DOI: 10.11309/jssst.21.289

  57. Koichi Murata, Kenji Kono, Hideya Iwasaki, Takashi Masuda
    Design and Implementation of a Migration-based Distributed File System
    Computer Software, Vol.21, No.4, pp.43-48, 2004. (in Japanese)
    DOI: 10.11309/jssst.21.277

  58. Hideya Iwasaki, Kumiko Tanaka-Ishii
    An Interactive Proofreading System for Inappropriately Selected Words on Using Predictive Text Entry
    Proc. 1st International Joint Conference on Natural Language Processing (IJCNLP 2004), Lecture Notes in Artificial Intelligence 3248, Springer, pp.755-764, 2005.
    DOI: 10.1007/978-3-540-30211-7_80

  59. Masakuni Agetsuma, Kenji Kono, Hideya Iwasaki, Takashi Masuda
    Self-configurable Mirror Servers for Automatic Adaptation to Service Demand Fluctuation
    Proc. 8th Asian Computing Science Conference (ASIAN 2003), Lecture Notes in Computer Science 2896, Springer, pp.18-32, 2003.
    DOI: 10.1007/978-3-540-40965-6_3

  60. Masakuni Agetsuma, Kenji Kono, Hideya Iwasaki, Takashi Masuda
    Exploiting Mobile Codes for User-Transparent Distribution of Application-Level Protocols
    IEICE Transactions on Information and Systems, Vol.J86-D-1, No.6, pp.389-401, 2003. (in Japanese)

  61. Hideya Iwasaki
    Developing a Lisp-based Preprocessor for TEX Documents
    Software - Practice and Experience, Vol.32, No.14, pp.1345-1363, 2002.
    DOI: 10.1002/spe.485

  62. Ryuhei Miyashiro, Hideya Iwasaki, Tomomi Matsui
    Characterizing Feasible Pattern Sets with Minimum Number of Breaks
    Proc. 4th International Conference on the Practice and Theory of Automated Timetabling (PATAT 2002), Lecture Notes in Computer Science 2740, Springer, pp.78-99, 2003.
    DOI: 10.1007/978-3-540-45157-0_5

  63. Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi
    An Accumulative Parallel Skeleton for All
    Proc. 2002 European Symposium on Programming (ESOP 2002), Lecture Notes in Computer Science 2305, Springer, pp.83-97, 2002.
    DOI: 10.1007/3-540-45927-8_7

  64. Raku Shirasawa, Zhenjiang Hu, Hideya Iwasaki
    Diffusion after Fusion - Deriving Efficient Parallel Algorithms
    Proc. 2001 International Conference on Parallel and Distributed Processing Techniques and Applications (PDPTA 2001), CSREA Press, pp.735-741, 2001.

  65. Tomonari Takahashi, Hideya Iwasaki, Zhenjiang Hu
    Efficient Parallel Skeletons for Nested Data Structures
    Proc. 2001 International Conference on Parallel and Distributed Processing Techniques and Applications (PDPTA 2001), CSREA Press, pp.728-734, 2001.

  66. Hideya Iwasaki, Zhenjiang Hu, Masato Takeichi
    Calculating Functional Programs by Incremental Tupling and Fusion
    Computer Software, Vol.18, No.0, pp.46-59, 2001. (in Japanese)
    DOI: 10.11309/jssst.18.46

  67. Hideya Iwasaki, Kumiko Tanaka-Ishii, Kei Tatano, Masato Takeichi
    Context-Sensitive Detection and Correction of Homonym Errors in Japanese Texts (Poster)
    Proc. 5th International Workshop on Information Retrieval with Asian Languages (IRAL 2000), pp.215-216, 2000.
    DOI: 10.1145/355214.355251

  68. Seiji Adachi, Hideya Iwasaki, Zhenjiang Hu
    Diff: A Powerful Parallel Skeleton
    Proc. 2000 International Conference on Parallel and Distributed Processing Techniques and Applications (PDPTA 2000), CSREA Press, pp.2175-2181, 2000.

  69. Yoshiyuki Onoue, Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi
    Verification for Practical Effectiveness of Program Fusion
    Computer Software, Vol.17, No.3, pp.81-85, 2000.
    DOI: 10.11309/jssst.17.273

  70. Tomoki Kira, Mitaro Namiki, Hideya Iwasaki
    A Design and Implementation of the Programming Language ``Wakaba'' for Entry Courses of Programming Educations
    IPSJ Transactions on Programming, Vol.40, No.SIG 10 (PRO 5), pp.28-38, 1999. (in Japanese)

  71. Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi
    Calculating Accumulations
    New Generation Computing, Vol.17, No.2, pp.153-173, 1999.
    DOI: 10.1007/BF03037434

  72. Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi
    Diffusion: Calculating Efficient Parallel Programs
    Proc. 1999 ACM SIGPLAN International Workshop on Partial Evaluation and Semantics-Based Program Manipulation (PEPM 1999), pp.85-94, 1999.

  73. Kumiko Tanaka-Ishii, Kyoji Umemura, Hideya Iwasaki
    Construction of Bilingual Dictionary Intermediated by a Third Language
    Journal of Information Processing Society of Japan, Vol.39, No.6, pp.1915-1924, 1998. (in Japanese)

  74. Hideya Iwasaki, Zhenjiang Hu, Masato Takeichi
    Towards Manipulation of Mutually Recursive Functions
    Proc. 3rd Fuji International Symposium on Functional and Logic Programming (FLOPS 1998), World Scientific, pp.61-79, 1998.

  75. Hideya Iwasaki, Zhenjiang Hu
    Promotional Transformation of Functional Programs with Accumulative Parameters
    Journal of Information Processing Society of Japan, Vol.39, No.3, pp.664-673, 1998. (in Japanese)

  76. Liangwei Xu, Masato Takeichi, Hideya Iwasaki
    Relational Definition of UNITY Loop
    Journal of Information Processing Society of Japan, Vol.39, No.3, pp.646-655, 1998. (in Japanese)

  77. Liangwei Xu, Masato Takeichi, Hideya Iwasaki
    Relational Semantics for Locally Nondeterministic Programs
    New Generation Computing, Vol.15, No.3, pp.339-361, 1997.
    DOI: 10.1007/BF03037950

  78. Kumiko Tanaka-Ishii, Hideya Iwasaki
    Clustering Co-occurrence Graph based on Transitivity
    Proc. 5th Workshop on Very Large Corpora (WVLC 1997), pp.91-100, 1997.

  79. Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi, Akihiko Takano
    Tupling Calculation Eliminates Multiple Data Traversals
    Proc. 1997 ACM SIGPLAN International Conference on Functional Programming (ICFP 1997), ACM Press, pp.164-175, 1997.
    DOI: 10.1145/258949.258964

  80. Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi
    Formal Derivation of Efficient Parallel Programs by Construction of List Homomorphisms
    ACM Transactions on Programming Languages and Systems, Vol.19, No.3, pp.444-461, 1997.
    DOI: 10.1145/256167.256201

  81. Yoshiyuki Onoue, Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi
    A Calculational Fusion System HYLO
    Proc. IFIP TC2 Working Conference on Algorithmic Languages and Calculi, Chapman & Hall, pp.76-106, 1997.

  82. Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi
    An Extension of the Acid Rain Theorem
    Proc. 2nd Fuji International Workshop on Functional and Logic Programming, World Scientific, pp.91-105, 1996.

  83. Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi
    Construction of List Homomorphisms by Tupling and Fusion
    Proc. Mathematical Foundations of Computer Science (MFCS 1996), Lecture Notes in Computer Science 1113, Springer, pp.407-418, 1996.
    DOI: 10.1007/3-540-61550-4_166

  84. Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi
    Formal Derivation of Parallel Program for 2-Dimensional Maximum Segment Sum Problem
    Proc. Annual European Conference on Parallel Processing (Euro-Par 1996), Lecture Notes in Computer Science 1123, Springer, pp.553-562, 1996.
    DOI: 10.1007/3-540-61626-8_75

  85. Kumiko Tanaka, Hideya Iwasaki
    Extraction of Lexical Translations from Non-Aligned Corpora
    Proc. 16th International Conference on Computer Linguistics (COLING 1996), pp.580-585, 1996.
    DOI: 10.3115/993268.993270

  86. Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi
    Deriving Structural Hylomorphisms from Recursive Definitions
    Proc. 1996 ACM SIGPLAN International Conference on Functional Programming (ICFP 1996), ACM Press, pp.73-82, 1996.
    DOI: 10.1145/232629.232637

  87. Tetsuro Tanaka, Hideya Iwasaki, Kenji Nagahashi, Eiiti Wada
    Making Kanji Skeleton Fonts through Compositing Parts
    Journal of Information Processing Society of Japan, Vol.36, No.9, pp.2122-2131, 1995. (in Japanese)

  88. Zhenjiang Hu, Hideya Iwasaki
    Promotional Transformation of Monadic Programs
    Proc. Fuji International Workshop on Functional and Logic Programming (FLOPS 1995), World Scientific, pp.196-210, 1995.

  89. Liangwei Xu, Hideya Iwasaki, Masato Takeichi
    Derivation of Algorithms by Introduction of Generation Functions
    New Generation Computing, Vol.13, No.1, pp.75-98, 1994.
    DOI: 10.1007/BF03038309

  90. Hideya Iwasaki, Mikio Takeuchi
    Design and Implementation of a Kernel with User-Definable Objects for Parallel Symbolic Processing Languages
    Journal of Information Processing Society of Japan, Vol.34, No.8, pp.1752-1761, 1993. (in Japanese)

  91. Hideya Iwasaki
    Implementation of Parallel Processing Language System on a Multiprocessor Unix Machine
    Journal of Information Processing Society of Japan, Vol.33, No.11, pp.1351-1360, 1992. (in Japanese)

  92. Hideya Iwasaki
    mUtilisp: a Lisp Dialect for Parallel Processing
    Proc. US Japan Workshop on Parallel Lisp, Lecture Notes in Computer Science 441, Springer, pp.316-321, 1990.
    DOI: 10.1007/BFb0024165

  93. Hideya Iwasaki
    Programming and Implementation of a Multi-processing Lisp
    Journal of Information Processing Society of Japan, Vol.28, No.5, pp.465-470, 1987. (in Japanese)

Books and Tutorials
  1. Hideya Iwasaki
    Report on the 26th JSSST Conference
    Computer Software, Vol.27, No.2, pp.180-186, 2010. (in Japanese)

  2. Hideya Iwasaki, Zhenjiang Hu
    Programming with Parallel Computation Patterns (Skeletons)
    IPSJ Magazine, Vol.49, No.12, pp.1385-1394, 2008. (in Japanese)

  3. Kazunori Yamaguchi, Hideya Iwasaki
    The Computer Science Primer
    Shokodo, 2006. (ISBN 4-7856-2152-4) (in Japanese)

  4. Hideya Iwasaki
    Prominent Books and Articles in the 20th Century: Robin Milner: A Proposal for Standard ML
    IPSJ Magazine, Vol.46, No.12, p.1416, 2005. (in Japanese)

  5. Zhenjiang Hu, Hideya Iwasaki
    Skeletal Parallel Programming
    IPSJ Magazine, Vol.46, No.10, pp.1158-1162, 2005. (in Japanese)

  6. Hideya Iwasaki
    Prominent Books and Articles in the 20th Century: D.E.Knuth, J.H.Morris, V.R.Pratt: Fast Pattern Matching in Strings
    IPSJ Magazine, Vol.45, No.8, p.857, 2004. (in Japanese)

  7. Hideya Iwasaki
    Introduction to Constructive Algorithmics
    Computer Software, Vol.15, No.6, pp.57-70, 1998. (in Japanese)
    DOI: 10.11309/jssst.15.6_547

  8. Hideya Iwasaki, Keiichi Kaneko.
    Report on Fuji International Workshop on Functional and Logic Programming
    Computer Software, Vol.13, No.1, pp.99-103, 1996. (in Japanese)