On Deforesting Parameters of Accumulating Maps. - Kazuhiko Kakehi 001; Robert Glück; Yoshihiko Futamura (LOPSTR, 2001)

Relating Accumulative and Non-accumulative Functional Programs. - Armin Kühnemann; Robert Glück; Kazuhiko Kakehi 001 (RTA, 2001)

Fusion Transformation on Functional Programs of Regular Expression Types. - Kazuhiko Kakehi 001; Zhenjiang Hu; Masato Takeichi (APLAS, 2002)

An Efficient Staging Algorithm for Binding-Time Analysis. - Takuma Murakami; Zhenjiang Hu; Kazuhiko Kakehi 001; Masato Takeichi (LOPSTR, 2003)

List Homomorphism with Accumulation. - Kazuhiko Kakehi 001; Zhenjiang Hu; Masato Takeichi (SNPD, 2003)

A Fusion-Embedded Skeleton Library. - Kiminori Matsuzaki; Kazuhiko Kakehi 001; Hideya Iwasaki; Zhenjiang Hu; Yoshiki Akashi (Euro-Par, 2004)

EMMA: a web-based report system for programming course–automated verification and enhanced feedback. - Kumiko Tanaka-Ishii; Kazuhiko Kakehi 001; Masato Takeichi (ITiCSE, 2004)

Systematic Derivation of Tree Contraction Algorithms. - Kiminori Matsuzaki; Zhenjiang Hu; Kazuhiko Kakehi 001; Masato Takeichi (Parallel Process. Lett., 2005)

Swapping Arguments and Results of Recursive Functions. - Akimasa Morihata; Kazuhiko Kakehi 001; Zhenjiang Hu; Masato Takeichi (MPC, 2006)

A Compositional Framework for Developing Parallel Programs on Two-Dimensional Arrays. - Kento Emoto; Zhenjiang Hu; Kazuhiko Kakehi 001; Masato Takeichi (Int. J. Parallel Program., 2007)

A Java Library for Bidirectional XML Transformation. - Dongxi Liu; Zhenjiang Hu; Masato Takeichi; Kazuhiko Kakehi 001; Hao Wang (Inf. Media Technol., 2007)

Generators-of-Generators Library with Optimization Capabilities in Fortress. - Kento Emoto; Zhenjiang Hu; Kazuhiko Kakehi 001; Kiminori Matsuzaki; Masato Takeichi (Euro-Par (2), 2010)

Manipulating accumulative functions by swapping call-time and return-time computations. - Akimasa Morihata; Kazuhiko Kakehi 001; Zhenjiang Hu; Masato Takeichi (J. Funct. Program., 2012)

Efficient Parallel Tree Reductions on Distributed Memory Environments. - Kazuhiko Kakehi 001; Kiminori Matsuzaki; Kento Emoto (Scalable Comput. Pract. Exp., 2017)