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:
2011
2010
20092008
2007Wrote 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.