Kazuhiko Kakehi

According to our database, Kazuhiko Kakehi authored at least 13 papers between 2001 and 2017.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2017

Efficient Parallel Tree Reductions on Distributed Memory Environments.

Kazuhiko Kakehi, Kiminori Matsuzaki, Kento Emoto

Scalable Comput. Pract. Exp., 2017

2012

Manipulating accumulative functions by swapping call-time and return-time computations.

Akimasa Morihata, Kazuhiko Kakehi, Zhenjiang Hu, Masato Takeichi

J. Funct. Program., 2012

2010

Generators-of-Generators Library with Optimization Capabilities in Fortress.

Kento Emoto, Zhenjiang Hu, Kazuhiko Kakehi, Kiminori Matsuzaki, Masato Takeichi

Proceedings of the Euro-Par 2010 - Parallel Processing, 16th International Euro-Par Conference, Ischia, Italy, August 31, 2010

2007

A Compositional Framework for Developing Parallel Programs on Two-Dimensional Arrays.

Kento Emoto, Zhenjiang Hu, Kazuhiko Kakehi, Masato Takeichi

Int. J. Parallel Program., 2007

2006

Swapping Arguments and Results of Recursive Functions.

Akimasa Morihata, Kazuhiko Kakehi, Zhenjiang Hu, Masato Takeichi

Proceedings of the Mathematics of Program Construction, 8th International Conference, 2006

2005

Systematic Derivation of Tree Contraction Algorithms.

Kiminori Matsuzaki, Zhenjiang Hu, Kazuhiko Kakehi, Masato Takeichi

Parallel Process. Lett., 2005

2004

EMMA: a web-based report system for programming course--automated verification and enhanced feedback.

Kumiko Tanaka-Ishii, Kazuhiko Kakehi, Masato Takeichi

Proceedings of the 9th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, 2004

A Fusion-Embedded Skeleton Library.

Kiminori Matsuzaki, Kazuhiko Kakehi, Hideya Iwasaki, Zhenjiang Hu, Yoshiki Akashi

Proceedings of the Euro-Par 2004 Parallel Processing, 2004

2003

List Homomorphism with Accumulation.

Kazuhiko Kakehi, Zhenjiang Hu, Masato Takeichi

Proceedings of the ACIS Fourth International Conference on Software Engineering, 2003

An Efficient Staging Algorithm for Binding-Time Analysis.

Takuma Murakami, Zhenjiang Hu, Kazuhiko Kakehi, Masato Takeichi

Proceedings of the Logic Based Program Synthesis and Transformation, 2003

2002

Fusion Transformation on Functional Programs of Regular Expression Types.

Kazuhiko Kakehi, Zhenjiang Hu, Masato Takeichi

Proceedings of the Third Asian Workshop on Programming Languages and Systems, 2002

2001

Relating Accumulative and Non-accumulative Functional Programs.

Armin Kühnemann, Robert Glück, Kazuhiko Kakehi

Proceedings of the Rewriting Techniques and Applications, 12th International Conference, 2001

On Deforesting Parameters of Accumulating Maps.

Kazuhiko Kakehi, Robert Glück, Yoshihiko Futamura

Proceedings of the Logic Based Program Synthesis and Transformation, 2001