BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Matsuzaki:Kiminori

Contributed to:

ICFP 20112011
FLOPS 20102010
POPL 20092009
ICFP 20082008
PLDI 20072007

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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.