`Travelled to:`

1 × Canada

2 × Japan

2 × USA

`Collaborated with:`

A.Morihata M.Takeichi Z.Hu K.Morita

`Talks about:`

parallel (3) function (2) program (2) conquer (2) automat (2) recurs (2) divid (2) tree (2) homomorph (1) framework (1)

## Person: Kiminori Matsuzaki

### DBLP: Matsuzaki:Kiminori

### Contributed to:

### Wrote 5 papers:

- ICFP-2011-MorihataM #functional #parallel #programming
- Balanced trees inhabiting functional parallel programming (AM, KM), pp. 117–128.
- FLOPS-2010-MorihataM #automation #parallel #quantifier #recursion #using
- Automatic Parallelization of Recursive Functions Using Quantifier Elimination (AM, KM), pp. 321–336.
- POPL-2009-MorihataMHT #divide and conquer #morphism #theorem
- The third homomorphism theorem on trees: downward & upward lead to divide-and-conquer (AM, KM, ZH, MT), pp. 177–185.
- ICFP-2008-MorihataMT #framework #query #recursion
- Write it recursively: a generic framework for optimal path queries (AM, KM, MT), pp. 169–178.
- PLDI-2007-MoritaMMHT #automation #divide and conquer #parallel #source code
- Automatic inversion generates divide-and-conquer parallel programs (KM, AM, KM, ZH, MT), pp. 146–155.