List of Publications

Japanese Version
Selected Papers
  1. Orito, T., Iwasaki, H.
    Hiding Source Code of Web Application on Client Browser
    IPSJ Transactions on Programming, to appear. (in Japanese)

  2. Inazu, K., Iwasaki, H.
    Design and Implementation of Web Framework with Auto Partitioning into Server and Client
    IPSJ Transactions on Programming, to appear. (in Japanese)

  3. Ugawa, T., Iwasaki, H., Yuasa, T.
    Improved Replication-Based Incremental Garbage Collection for Embedded Systems
    Proc. International Symposium on Memory Management (ISMM 2010), ACM Press, pp.73-82, 2010.

  4. Sato, S., Iwasaki, H.
    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-Verlag, pp.79-94, 2009.

  5. Karasawa, Y., Iwasaki, H.
    A Parallel Skeleton Library for Multi-core Clusters
    Proc. 38th International Conference on Parallel Processing (ICPP 2009), pp.84-91, 2009.

  6. Tanno, H., Iwasaki, H.
    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-Verlag, pp.666-677, 2009.

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

  8. Oyama, Y., Kaneko, Y., Iwasaki, H.
    Kenro: A Virtual Machine Monitor Mostly Described in Haskell
    Proc. 2009 ACM Symposium on Applied Computing (SAC 2009), ACM Press, pp.1940-1941, 2009.

  9. Sugiki, A., Kono, K., Iwasaki, H.
    Tuning Mechanisms for Two Major Parameters of Apache Web Servers
    Software - Practice and Experience Vol.38, No.12, pp.1215-1240, 2008.

  10. Tamura, T., Takano, Y., Iwasaki, H.
    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)

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

  12. Shioya, T., Oyama, Y., Iwasaki, H.
    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-Verlag, pp.297-311, 2007.

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

  14. Abe, K., Iwasaki, H., Kono, K.
    An Extensible Protocol-processing Code Generator from Definitions of Application-layer Protocols
    Computer Software, Vol.24, No.2, pp.150-163, 2007. (in Japanese)

  15. Sugiki, A., Kono, K., Iwasaki, H.
    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)

  16. Morimoto, T., Takano, Y., Iwasaki, H.
    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-Verlag, pp.65-79, 2007.

  17. Morimoto, T., Iwasaki, H.
    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)

  18. Matsuzaki, K., Emoto, K., Iwasaki, H., Hu, Z.
    A Library of Constructive Skeletons for Sequential Style of Parallel Programming
    Proc. First International Conference on Scalable Information Systems (InfoScale 2006).

  19. Sugiki, A., Kono, K., Iwasaki, H.
    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-Verlag, pp.146-159, 2005.

  20. Akashi, Y., Matsuzaki, K., Kakehi, K., Iwasaki, H., Hu, Z.
    A Parallel Skeleton Library in C++ with Optimization Mechanism
    Computer Software, Vol.22, No.3, pp.214-221, 2005. (in Japanese)

  21. Agetsuma, M., Kono, K., Iwasaki, H., Masuda, T.
    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)

  22. Iwasaki, H., Hu, Z.
    A New Parallel Skeleton for General Accumulative Computations
    International Journal of Parallel Programming , Vol.32, No.5, pp.389-414, 2004.

  23. Matsuzaki, K., Kakehi, K., Iwasaki, H., Hu, Z., Akashi, Y.
    A Fusion-Embedded Skeleton Library
    10th International Euro-Par Conference (Euro-Par 2004), Lecture Notes in Computer Science 3149, Springer-Verlag, pp.644-653, 2004.

  24. Morimoto, T., Iwasaki, H., Takeuchi, I.
    A Language equipped with Pruning and Memoization Mechanisms
    Computer Software, Vol.21, No.4, pp.55-60, 2004. (in Japanese)

  25. Murata, K., Kono, K., Iwasaki, H., Masuda, T.
    Design and Implementation of a Migration-based Distributed File System
    Computer Software, Vol.21, No.4, pp.43-48, 2004. (in Japanese)

  26. Iwasaki, H., Tanaka-Ishii, K.
    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-Verlag, pp.755-764, 2005.

  27. Agetsuma, M., Kono, K., Iwasaki, H., Masuda, T.
    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-Verlag, pp.18-32, 2003.

  28. Agetsuma, M., Kono, K., Iwasaki, H., Masuda, T.
    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)

  29. Iwasaki, H.
    Developing a Lisp-based Preprocessor for TEX Documents
    Software - Practice and Experience , Vol.32, No.14, pp.1345-1363, 2002.

  30. Miyashiro, R., Iwasaki, H., Matsui, T.
    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-Verlag, pp.78-99, 2003.

  31. Hu, Z., Iwasaki, H., Takeichi, M.
    An Accumulative Parallel Skeleton for All
    Proc. 2002 European Symposium on Programming (ESOP 2002), Lecture Notes in Computer Science 2305, Springer-Verlag, pp.83-97, 2002.

  32. Takahashi, T., Iwasaki, H., Hu, Z.
    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.

  33. Shirasawa, R., Hu, Z., Iwasaki, H.
    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.

  34. Iwasaki, H., Hu, Z., Takeichi, M.
    Calculating Functional Programs by Incremental Tupling and Fusion
    Computer Software, Vol.18, No.0, pp.46-59, 2001. (in Japanese)

  35. Iwasaki, H., Tanaka-Ishii, K., Tatano, K., Takeichi, M.
    Context-Sensitive Detection and Correction of Homonym Errors in Japanese Texts
    Proc. 5th International Workshop on Information Retrieval with Asian Languages (IRAL 2000), pp.215-216, 2000.

  36. Adachi, S., Iwasaki, H., Hu, Z.
    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.

  37. Onoue, Y., Hu, Z., Iwasaki, H., Takeichi, M.
    Verification for Practical Effectiveness of Program Fusion
    Computer Software, Vol.17, No.3, pp.81-85, 2000.

  38. Kira, K., Namiki, M., Iwasaki, H.
    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)

  39. Hu, Z., Iwasaki, H., Takeichi, M.
    Calculating Accumulations
    New Generation Computing , Vol.17, No.2, pp.153-173, 1999.

  40. Hu, Z., Iwasaki, H., Takeichi, M.
    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.

  41. Tanaka-Ishii, K., Umemura, K., Iwasaki, H.
    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)

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

  43. Iwasaki, H., Hu, Z.
    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)

  44. Xu, L., Takeichi, M., Iwasaki, H.
    Relational Definition of UNITY Loop
    Journal of Information Processing Society of Japan, Vol.39, No.3, pp.646-655, 1998. (in Japanese)

  45. Xu, L., Takeichi, M., Iwasaki, H.
    Relational Semantics for Locally Nondeterministic Programs
    New Generation Computing , Vol.15, No.3, pp.339-361, 1997.

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

  47. Hu, Z., Iwasaki, H., Takeichi, M., Takano, A.
    Tupling Calculation Eliminates Multiple Data Traversals
    Proc. 1997 ACM SIGPLAN International Conference on Functional Programming (ICFP 1997), ACM Press, pp.164-175, 1997.

  48. Hu, Z., Iwasaki, H., Takeichi, M.
    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.

  49. Onoue, Y., Hu, Z., Iwasaki, H., Takeichi, M.
    A Calculational Fusion System HYLO
    Proc. IFIP TC2 Working Conference on Algorithmic Languages and Calculi, Chapman & Hall, pp.76-106, 1997.

  50. Hu, Z., Iwasaki, H., Takeichi, M.
    An Extension of the Acid Rain Theorem
    Proc. 2nd Fuji International Workshop on Functional and Logic Programming, World Scientific, pp.91-105, 1996.

  51. Hu, Z., Iwasaki, H., Takeichi, M.
    Construction of List Homomorphisms by Tupling and Fusion
    Proc. Mathematical Foundations of Computer Science (MFCS 1996), Lecture Notes in Computer Science 1113, Springer-Verlag, pp.407-418, 1996.

  52. Tanaka, K., Iwasaki, H.
    Extraction of Lexical Translations from Non-Aligned Corpora
    Proc. 16th International Conference on Computer Linguistics (COLING 1996), pp.580-585, 1996.

  53. Hu, Z., Iwasaki, H., Takeichi, M.
    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-Verlag, pp.553-562, 1996.

  54. Hu, Z., Iwasaki, H., Takeichi, M.
    Deriving Structural Hylomorphisms from Recursive Definitions
    Proc. 1996 ACM SIGPLAN International Conference on Functional Programming (ICFP 1996), ACM Press, pp.73-82, 1996.

  55. Tanaka, T., Iwasaki, H., Nagahashi, K., Wada, E.
    Making Kanji Skeleton Fonts through Compositing Parts
    Journal of Information Processing Society of Japan, Vol.36, No.9, pp.2122-2131, 1995. (in Japanese)

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

  57. Xu, L., Iwasaki, H., Takeichi, M.
    Derivation of Algorithms by Introduction of Generation Functions
    New Generation Computing , Vol.13, No.1, pp.75-98, 1994.

  58. Iwasaki, H., Takeuchi, M.
    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)

  59. Iwasaki, H.
    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)

  60. Iwasaki, H.
    mUtilisp: a Lisp Dialect for Parallel Processing
    Proc. US Japan Workshop on Parallel Lisp, Lecture Notes in Computer Science 441, Springer-Verlag, pp.316-321, 1990.

  61. Iwasaki, H.
    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. Iwasaki, H. Hu, Z.,
    Programming with Parallel Computation Patterns (Skeletons)
    IPSJ Magazine, Vol.49, No.12, pp.1385-1394, 2008. (in Japanese)

  2. Yamaguchi, K., Iwasaki, H.
    The Computer Science Primer
    Shokodo, 2006. (ISBN 4-7856-2152-4) (in Japanese)

  3. Iwasaki, H.
    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)

  4. Hu, Z., Iwasaki, H.
    Skeletal Parallel Programming
    IPSJ Magazine, Vol.46, No.10, pp.1158-1162, 2005. (in Japanese)

  5. Iwasaki, H.
    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)

  6. Iwasaki, H.
    Introduction to Constructive Algorithmics
    Computer Software, Vol.15, No.6, pp.57-70, 1998. (in Japanese)

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