We stand with Ukraine  

Kazuhiko Kakehi

Affiliations:
  • University of Tokyo, Graduate School of Information Science and Technology, Japan
  • Waseda University, Institute for Software Production Technology, Tokyo, Japan


According to our database1, Kazuhiko Kakehi authored at least 14 papers between 2001 and 2017.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2017
Efficient Parallel Tree Reductions on Distributed Memory Environments.
[BibTeX]
[DOI]
Kazuhiko Kakehi
,
Kiminori Matsuzaki
,
Kento Emoto
Scalable Comput. Pract. Exp., 2017

2012
Manipulating accumulative functions by swapping call-time and return-time computations.
[BibTeX]
[DOI]
Akimasa Morihata
,
Kazuhiko Kakehi
,
Zhenjiang Hu
,
Masato Takeichi
J. Funct. Program., 2012

2010
Generators-of-Generators Library with Optimization Capabilities in Fortress.
[BibTeX]
[DOI]
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 Java Library for Bidirectional XML Transformation.
[BibTeX]
[DOI]
Dongxi Liu
,
Zhenjiang Hu
,
Masato Takeichi
,
Kazuhiko Kakehi
,
Hao Wang
Inf. Media Technol., 2007

A Compositional Framework for Developing Parallel Programs on Two-Dimensional Arrays.
[BibTeX]
[DOI]
Kento Emoto
,
Zhenjiang Hu
,
Kazuhiko Kakehi
,
Masato Takeichi
Int. J. Parallel Program., 2007

2006
Swapping Arguments and Results of Recursive Functions.
[BibTeX]
[DOI]
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.
[BibTeX]
[DOI]
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.
[BibTeX]
[DOI]
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.
[BibTeX]
[DOI]
Kiminori Matsuzaki
,
Kazuhiko Kakehi
,
Hideya Iwasaki
,
Zhenjiang Hu
,
Yoshiki Akashi
Proceedings of the Euro-Par 2004 Parallel Processing, 2004

2003
List Homomorphism with Accumulation.
[BibTeX]
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.
[BibTeX]
[DOI]
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.
[BibTeX]
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.
[BibTeX]
[DOI]
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.
[BibTeX]
[DOI]
Kazuhiko Kakehi
,
Robert Glück
,
Yoshihiko Futamura
Proceedings of the Logic Based Program Synthesis and Transformation, 2001


  Loading...