[Japanese]
Name:
Akimasa Morihata
Paper List:
-
- Kazutaka Morita, Akimasa Morihata, Kiminori Matsuzaki, Zhenjiang Hu, Masato Takeichi:
Automatic Inversion Generates Divide-and-Conquer Parallel Programs.
In Proceedings of the ACM SIGPLAN 2007 Conference on Programming Language Design and Implementation, San Diego, California, USA, June 11-13, 2007. To appear.
- Akimasa Morihata, Kazuhiko Kakehi, Zhenjiang Hu, and Masato Takeichi:
Swapping Argument and Results of Recursive Functions.
In Mathematics of Program Construction, 8th International Conference, MPC 2006, Kuressaare, Estonia, July 3-5, 2006, Proceedings., Lecture Notes in Computer Science 4014, 379--396. Springer, 2006.
- Akimasa Morihata, Kazuhiko Kakehi, Zhenjiang Hu, and Masato Takeichi:
IO swapping leads you there and back again (Extended Abstract).
In Proceedings of GPCE Young Researchers Workshop, pp.7--13. Sep. 2005.
- (With no refereeing)
- Akimasa Morihata:
Relationship between arguments and results of recursive functions.
Master's thesis, The University of Tokyo, January 2006.
- Akimasa Morihata, Kazuhiko Kakehi, Zhenjiang Hu, and Masato Takeichi:
Reversing iterations: IO swapping leads you there and back again.
Technical Report METR 2005-11, Department of Mathematical Informatics, University of Tokyo, May 2005.
Interest:
- Derivation of Algorithms
- Program Transformations
- Graph Structures
mail : morihata`at`ipl.t.u-tokyo.ac.jp
|